Searched refs:curCi (Results 1 – 4 of 4) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaTim.c | 291 int i, k, curCi, curCo; in Gia_ManOrderWithBoxes() local 310 curCi = Tim_ManPiNum(pManTime); in Gia_ManOrderWithBoxes() 365 assert( curCi == Gia_ManCiNum(p) ); in Gia_ManOrderWithBoxes() 483 int i, k, j, curCi, curCo, LevelMax; in Gia_ManLevelWithBoxes() local 498 curCi = Tim_ManPiNum(pManTime); in Gia_ManLevelWithBoxes() 532 curCi += nBoxOutputs; in Gia_ManLevelWithBoxes() 545 assert( curCi == Gia_ManCiNum(p) ); in Gia_ManLevelWithBoxes() 603 curCi = Tim_ManPiNum(pManTime); in Gia_ManLutLevelWithBoxes() 638 curCi += nBoxOutputs; in Gia_ManLutLevelWithBoxes() 651 assert( curCi == Gia_ManCiNum(p) ); in Gia_ManLutLevelWithBoxes() [all …]
|
H A D | giaMfs.c | 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() 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() 314 curCi = nRealPis; in Gia_ManInsertMfs() 331 pObj = Gia_ManCi( p, curCi + k ); in Gia_ManInsertMfs() 338 curCi += nBoxOuts; in Gia_ManInsertMfs() [all …]
|
H A D | giaSweep.c | 130 int curCi, curCo, nBoxIns, nBoxOuts; in Gia_ManDupWithBoxes() local 177 curCi = Tim_ManPiNum(pManTime); in Gia_ManDupWithBoxes() 187 nMarked += Gia_ObjIsTravIdCurrent( p, Gia_ManCi(p, curCi + k) ); in Gia_ManDupWithBoxes() 189 curCi += nBoxOuts; in Gia_ManDupWithBoxes() 196 assert( curCi == Gia_ManCiNum(p) ); in Gia_ManDupWithBoxes()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecFadds.c | 144 int i, k, curCi, curCo, nBoxIns, nBoxOuts; in Gia_ManIllustrateBoxes() local 147 curCi = Tim_ManPiNum(pManTime); in Gia_ManIllustrateBoxes() 163 pObj = Gia_ManCi( p, curCi + k ); in Gia_ManIllustrateBoxes() 167 curCi += nBoxOuts; in Gia_ManIllustrateBoxes() 172 assert( curCi == Gia_ManCiNum(p) ); in Gia_ManIllustrateBoxes()
|