Searched refs:iRes0 (Results 1 – 3 of 3) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecSweep.c | 49 int iRes0, iRes1, iRepr, iNode, iMiter; in Cec_ManFraSpecReduction() local 74 iRes0 = Abc_LitNotCond( piCopies[Gia_ObjFaninId0(pObj,i)], Gia_ObjFaninC0(pObj) ); in Cec_ManFraSpecReduction() 76 iNode = piCopies[i] = Gia_ManHashAnd( pNew, iRes0, iRes1 ); in Cec_ManFraSpecReduction()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/ |
H A D | bacBlast.c | 197 int iRes0 = Gia_ManHashAnd( pNew, pLits[1], pLits[2] ); in Bac_ManExtract_rec() local 201 … iRes = Gia_ManHashXor( pNew, pLits[0], Gia_ManHashAnd(pNew, Abc_LitNot(iRes0), iRes1) ); in Bac_ManExtract_rec() 203 … iRes = Gia_ManHashOr( pNew, iRes0, Gia_ManHashAnd(pNew, pLits[0], iRes1) ); in Bac_ManExtract_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaCSat2.c | 570 static inline void Cbs2_ManAssign( Cbs2_Man_t * p, int iLit, int Level, int iRes0, int iRes1 ) in Cbs2_ManAssign() argument 579 Vec_IntWriteEntry( &p->vLevReason, 3*iObj+1, iRes0 ); in Cbs2_ManAssign()
|