Searched refs:btor_aig_add_toplevel_to_sat (Results 1 – 3 of 3) sorted by relevance
209 void btor_aig_add_toplevel_to_sat (BtorAIGMgr *, BtorAIG *);
1342 btor_aig_add_toplevel_to_sat (BtorAIGMgr *amgr, BtorAIG *root) in btor_aig_add_toplevel_to_sat() function
1137 btor_aig_add_toplevel_to_sat (amgr, aig); in btor_process_unsynthesized_constraints()