Searched refs:iNextNew (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaAig.c | 66 int iObjNew, iNextNew; in Gia_ManFromAig_rec() local
69 iNextNew = Abc_Lit2Var(pNext->iData); in Gia_ManFromAig_rec()
71 pNew->pNexts[iObjNew] = iNextNew; in Gia_ManFromAig_rec()
125 int iObjNew, iNextNew; in Gia_ManFromAigChoices_rec() local
127 iNextNew = Abc_Lit2Var(Aig_ObjEquiv(p, pObj)->iData); in Gia_ManFromAigChoices_rec()
128 assert( iObjNew > iNextNew ); in Gia_ManFromAigChoices_rec()
129 assert( Gia_ObjIsAnd(Gia_ManObj(pNew, iNextNew)) ); in Gia_ManFromAigChoices_rec()
130 pNew->pSibls[iObjNew] = iNextNew; in Gia_ManFromAigChoices_rec()
|
| H A D | giaCof.c | 450 int i, k, iHandle, iLit0, iLit1, iNextNew; in Cof_ManCountRemoved() local
487 iNextNew = Gia_ManHashAndTry( p->pGia, iLit0, iLit1 ); in Cof_ManCountRemoved()
488 if ( iNextNew == -1 ) in Cof_ManCountRemoved()
492 pNext->iLit = iNextNew; in Cof_ManCountRemoved()
|