Searched refs:btor_sat_deref (Results 1 – 3 of 3) sorted by relevance
159 int32_t btor_sat_deref (BtorSATMgr *smgr, int32_t lit);
416 btor_sat_deref (BtorSATMgr *smgr, int32_t lit) in btor_sat_deref() function
1479 val = btor_sat_deref (amgr->smgr, BTOR_REAL_ADDR_AIG (aig)->cnf_id); in btor_aig_get_assignment()