Searched refs:btor_get_aig_mgr (Results 1 – 8 of 8) sorted by relevance
46 btor_aigprop_clone_aigprop (btor_get_aig_mgr (clone), slv->aprop); in clone_aigprop_solver()372 btor_get_aig_mgr (btor), in btor_new_aigprop_solver()
397 btable = &btor_get_aig_mgr (btor)->table; in chkclone_aig_unique_table()398 ctable = &btor_get_aig_mgr (clone)->table; in chkclone_aig_unique_table()414 btable = &btor_get_aig_mgr (btor)->id2aig; in chkclone_aig_id_table()415 ctable = &btor_get_aig_mgr (clone)->id2aig; in chkclone_aig_id_table()428 btable = &btor_get_aig_mgr (btor)->cnfid2aig; in chkclone_aig_cnf_id_table()429 ctable = &btor_get_aig_mgr (clone)->cnfid2aig; in chkclone_aig_cnf_id_table()
292 BtorAIGMgr *btor_get_aig_mgr (const Btor *btor);
263 btor_get_aig_mgr (const Btor *btor) in btor_get_aig_mgr() function273 return btor_aig_get_sat_mgr (btor_get_aig_mgr (btor)); in btor_get_sat_mgr()1087 amgr = btor_get_aig_mgr (btor); in btor_process_unsynthesized_constraints()1798 amgr = btor_get_aig_mgr (btor); in exp_to_cnf_lit()2784 amgr = btor_get_aig_mgr (btor); in btor_add_again_assumptions()3156 amgr = btor_get_aig_mgr (btor); in exp_to_aig()
256 amgr = btor_get_aig_mgr (btor); in timed_sat_sat()1018 amgr = btor_get_aig_mgr (btor); in search_initial_applies_just()
893 amgr = exp_layer_only ? 0 : btor_get_aig_mgr (btor); in clone_aux_btor()
444 amgr = btor_get_aig_mgr (real_exp->btor); in btor_bv_get_assignment()
69 amgr = btor_get_aig_mgr (btor); in dumpaig_dump_aux()