Searched refs:pPInNewArg (Results 1 – 1 of 1) sorted by relevance
178 Aig_Obj_t *pObj, *pObjAbsorberLo, *pPInNewArg, *pPOutNewArg; in introduceAbsorberLogic() local258 pPInNewArg = !Aig_IsComplement(pPIn)? in introduceAbsorberLogic()262 pFirstAbsorberOr = Aig_Or( pNewAig, Aig_Not(pPInNewArg), pObjAbsorberLo ); in introduceAbsorberLogic()263 pSecondAbsorberOr = Aig_Or( pNewAig, pPInNewArg, Aig_Not(pObjAbsorberLo) ); in introduceAbsorberLogic()269 pPInNewArg = !Aig_IsComplement(pPIn)? in introduceAbsorberLogic()277 pSecondAbsorberOr = Aig_Or( pNewAig, pPInNewArg, Aig_Not(pObjAbsorberLo) ); in introduceAbsorberLogic()