Searched refs:Ssw_CnfGetNodeValue (Results 1 – 4 of 4) sorted by relevance
402 int Ssw_CnfGetNodeValue( Ssw_Sat_t * p, Aig_Obj_t * pObj ) in Ssw_CnfGetNodeValue() function414 Value0 = Ssw_CnfGetNodeValue( p, Aig_ObjFanin0(pObj) ); in Ssw_CnfGetNodeValue()416 Value1 = Ssw_CnfGetNodeValue( p, Aig_ObjFanin1(pObj) ); in Ssw_CnfGetNodeValue()
108 if ( Ssw_CnfGetNodeValue( pSat, pObjFrames ) ) in Ssw_BmcGetCounterExample()
238 extern int Ssw_CnfGetNodeValue( Ssw_Sat_t * p, Aig_Obj_t * pObjFraig );
55 Value = Ssw_CnfGetNodeValue( p->pMSat, Aig_Regular(pObjFraig) ); in Ssw_ManGetSatVarValue()