Lines Matching refs:curCi
70 int i, j, k, curCi, curCo, nBoxIns, nBoxOuts; in Gia_ManExtractMfs() local
158 curCi = nRealPis; in Gia_ManExtractMfs()
174 pObj = Gia_ManCi( p, curCi + j ); in Gia_ManExtractMfs()
187 pObjExtra = Gia_ManCo( p->pAigExtra, curCi - nRealPis + j ); in Gia_ManExtractMfs()
229 pObj = Gia_ManCi( p, curCi + j ); in Gia_ManExtractMfs()
260 curCi += nBoxOuts; in Gia_ManExtractMfs()
265 assert( curCi == Gia_ManCiNum(p) ); in Gia_ManExtractMfs()
267 assert( curCi - nRealPis == Gia_ManCoNum(p->pAigExtra) ); in Gia_ManExtractMfs()
295 int i, k, Id, curCi, curCo, nBoxIns, nBoxOuts, iLitNew, iMfsId, iGroup, Fanin; in Gia_ManInsertMfs() local
314 curCi = nRealPis; in Gia_ManInsertMfs()
331 pObj = Gia_ManCi( p, curCi + k ); in Gia_ManInsertMfs()
338 curCi += nBoxOuts; in Gia_ManInsertMfs()
341 assert( curCi == Gia_ManCiNum(p) ); in Gia_ManInsertMfs()