Home
last modified time | relevance | path

Searched refs:curCi (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaTim.c291 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 DgiaMfs.c70 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 DgiaSweep.c130 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 DacecFadds.c144 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()