Searched refs:iObjValue (Results 1 – 2 of 2) sorted by relevance
70 int iObjValue = pObj->Value; in Gia_ManFalseRebuildOne() local74 iPrevValue = iObjValue; in Gia_ManFalseRebuildOne()
1682 int i, iObjValue = -1; in Gia_ManDupCofactorObj() local1699 … pObj->Value = Gia_ManAppendCo( pNew, Gia_ManHashAnd(pNew, Gia_ObjFanin0Copy(pObj), iObjValue) ); in Gia_ManDupCofactorObj()1701 iObjValue = Abc_LitNotCond(pObj->Value, !Value), pObj->Value = Value; in Gia_ManDupCofactorObj()