Searched refs:pPOutCo (Results 1 – 1 of 1) sorted by relevance
179 Aig_Obj_t *pPIn = NULL, *pPOut = NULL, *pPOutCo = NULL; in introduceAbsorberLogic() local287 pPOutCo = (Aig_Obj_t *)(pObj->pData); in introduceAbsorberLogic()293 assert(pPOutCo == NULL); in introduceAbsorberLogic()294 pPOutCo = Aig_ObjCreateCo( pNewAig, pSecondAbsorberOr ); in introduceAbsorberLogic()300 assert( pPOutCo != NULL ); in introduceAbsorberLogic()304 Aig_ObjPatchFanin0( pNewAig, pPOutCo, pSecondAbsorberOr ); in introduceAbsorberLogic()