Home
last modified time | relevance | path

Searched refs:btor_get_aig_mgr (Results 1 – 8 of 8) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/
H A Dbtorslvaigprop.c46 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()
H A Dbtorchkclone.c397 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()
H A Dbtorcore.h292 BtorAIGMgr *btor_get_aig_mgr (const Btor *btor);
H A Dbtorcore.c263 btor_get_aig_mgr (const Btor *btor) in btor_get_aig_mgr() function
273 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()
H A Dbtorslvfun.c256 amgr = btor_get_aig_mgr (btor); in timed_sat_sat()
1018 amgr = btor_get_aig_mgr (btor); in search_initial_applies_just()
H A Dbtorclone.c893 amgr = exp_layer_only ? 0 : btor_get_aig_mgr (btor); in clone_aux_btor()
H A Dbtorbv.c444 amgr = btor_get_aig_mgr (real_exp->btor); in btor_bv_get_assignment()
/dports/math/boolector/boolector-3.2.2/src/dumper/
H A Dbtordumpaig.c69 amgr = btor_get_aig_mgr (btor); in dumpaig_dump_aux()