Home
last modified time | relevance | path

Searched refs:Ssw_CnfGetNodeValue (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswCnf.c402 int Ssw_CnfGetNodeValue( Ssw_Sat_t * p, Aig_Obj_t * pObj ) in Ssw_CnfGetNodeValue() function
414 Value0 = Ssw_CnfGetNodeValue( p, Aig_ObjFanin0(pObj) ); in Ssw_CnfGetNodeValue()
416 Value1 = Ssw_CnfGetNodeValue( p, Aig_ObjFanin1(pObj) ); in Ssw_CnfGetNodeValue()
H A DsswBmc.c108 if ( Ssw_CnfGetNodeValue( pSat, pObjFrames ) ) in Ssw_BmcGetCounterExample()
H A DsswInt.h238 extern int Ssw_CnfGetNodeValue( Ssw_Sat_t * p, Aig_Obj_t * pObjFraig );
H A DsswSweep.c55 Value = Ssw_CnfGetNodeValue( p->pMSat, Aig_Regular(pObjFraig) ); in Ssw_ManGetSatVarValue()