Searched refs:pReprR (Results 1 – 2 of 2) sorted by relevance
204 Aig_Obj_t * pObj, * pRepr, * pReprR; in Ssw_ManFindDirectImplications2() local231 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()
574 Aig_Obj_t * pObj, * pRepr, * pReprR; in Ssw_ManFindDirectImplications() local597 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()