Searched defs:backannotation (Results 1 – 3 of 3) sorted by relevance
58 .. _backannotation: target
60 BtorPtrHashTable *backannotation; in dumpaig_dump_aux() local203 BtorPtrHashTable *backannotation) in btor_dumpaig_dump_seq()
2475 BtorPtrHashTable *backannotation) in btor_synthesize_exp()3175 btor_exp_to_aigvec (Btor *btor, BtorNode *exp, BtorPtrHashTable *backannotation) in btor_exp_to_aigvec()