Home
last modified time | relevance | path

Searched refs:pReprR (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigUnfold2.c204 Aig_Obj_t * pObj, * pRepr, * pReprR; in Ssw_ManFindDirectImplications2() local
231 pReprR = Aig_Regular(pRepr); in Ssw_ManFindDirectImplications2()
232 if ( pCnf->pVarNums[Aig_ObjId(pReprR)] < 0 ) in Ssw_ManFindDirectImplications2()
235 value = sat_solver_get_var_value( pSat, pCnf->pVarNums[Aig_ObjId(pReprR)] ); in Ssw_ManFindDirectImplications2()
H A DsaigConstr2.c574 Aig_Obj_t * pObj, * pRepr, * pReprR; in Ssw_ManFindDirectImplications() local
597 pReprR = Aig_Regular(pRepr); in Ssw_ManFindDirectImplications()
598 if ( pCnf->pVarNums[Aig_ObjId(pReprR)] < 0 ) in Ssw_ManFindDirectImplications()
601 value = sat_solver_get_var_value( pSat, pCnf->pVarNums[Aig_ObjId(pReprR)] ); in Ssw_ManFindDirectImplications()