Searched refs:btor_sat_mgr_next_cnf_id (Results 1 – 4 of 4) sorted by relevance
38 ASSERT_EQ (btor_sat_mgr_next_cnf_id (d_smgr), 2); in TEST_F()39 ASSERT_EQ (btor_sat_mgr_next_cnf_id (d_smgr), 3); in TEST_F()40 ASSERT_EQ (btor_sat_mgr_next_cnf_id (d_smgr), 4); in TEST_F()
112 int32_t btor_sat_mgr_next_cnf_id (BtorSATMgr *smgr);
233 btor_sat_mgr_next_cnf_id (BtorSATMgr *smgr) in btor_sat_mgr_next_cnf_id() function357 smgr->true_lit = btor_sat_mgr_next_cnf_id (smgr); in btor_sat_init()
1041 root->cnf_id = btor_sat_mgr_next_cnf_id (amgr->smgr); in set_next_id_aig_mgr()