Searched refs:Gia_ManCleanLevels (Results 1 – 10 of 10) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaShrink.c | 82 Gia_ManCleanLevels( pNew, Gia_ManObjNum(p) ); in Gia_ManMapShrink4()
|
H A D | giaShrink7.c | 75 Gia_ManCleanLevels( p->pNew, p->nNewSize ); in Unm_ManAlloc()
|
H A D | giaTim.c | 487 Gia_ManCleanLevels( p, Gia_ManObjNum(p) ); in Gia_ManLevelWithBoxes() 591 Gia_ManCleanLevels( p, Gia_ManObjNum(p) ); in Gia_ManLutLevelWithBoxes()
|
H A D | giaUtil.c | 470 void Gia_ManCleanLevels( Gia_Man_t * p, int Size ) in Gia_ManCleanLevels() function 509 Gia_ManCleanLevels( p, Gia_ManObjNum(p) ); in Gia_ManLevelNum() 565 Gia_ManCleanLevels( p, Gia_ManObjNum(p) ); in Gia_ManSetLevels()
|
H A D | giaShrink6.c | 116 Gia_ManCleanLevels( p->pNew, p->nNewSize ); in Shr_ManAlloc()
|
H A D | giaShow.c | 1094 Gia_ManCleanLevels( p, Gia_ManObjNum(p) ); in Gia_ShowCollectObjs()
|
H A D | giaEquiv.c | 562 Gia_ManCleanLevels( p, Gia_ManObjNum(p) ); in Gia_ManChoiceMinLevel()
|
H A D | giaIf.c | 735 Gia_ManCleanLevels( p, Gia_ManObjNum(p) ); in Gia_ManChoiceLevel()
|
H A D | gia.h | 1659 extern void Gia_ManCleanLevels( Gia_Man_t * p, int Size );
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlcBlast.c | 931 Gia_ManCleanLevels( pNew, 5 * Gia_ManObjNum(pNew) ); in Wlc_BlastAddLevel()
|