diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-18 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-18 08:01:00 -0800 |
| commit | 14c01eaccab87d14d1bd0eaa3fc491026349665e (patch) | |
| tree | bfe2f18a426b347cdb4d0216f5e71fd744b8a9f8 /src/aig/fra/fraClass.c | |
| parent | 126637ddd3c237d9c83f3a7f2b1f3f2722337411 (diff) | |
| download | abc-14c01eaccab87d14d1bd0eaa3fc491026349665e.tar.gz abc-14c01eaccab87d14d1bd0eaa3fc491026349665e.tar.bz2 abc-14c01eaccab87d14d1bd0eaa3fc491026349665e.zip | |
Version abc71218
Diffstat (limited to 'src/aig/fra/fraClass.c')
| -rw-r--r-- | src/aig/fra/fraClass.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/fra/fraClass.c b/src/aig/fra/fraClass.c index 962e7f7b..2d03e65d 100644 --- a/src/aig/fra/fraClass.c +++ b/src/aig/fra/fraClass.c @@ -270,7 +270,7 @@ void Fra_ClassesPrint( Fra_Cla_t * p, int fVeryVerbose ) SeeAlso [] ***********************************************************************/ -void Fra_ClassesPrepare( Fra_Cla_t * p, int fLatchCorr ) +void Fra_ClassesPrepare( Fra_Cla_t * p, int fLatchCorr, int nMaxLevs ) { Aig_Obj_t ** ppTable, ** ppNexts; Aig_Obj_t * pObj, * pTemp; @@ -296,8 +296,8 @@ void Fra_ClassesPrepare( Fra_Cla_t * p, int fLatchCorr ) if ( !Aig_ObjIsNode(pObj) && !Aig_ObjIsPi(pObj) ) continue; // skip the node with more that the given number of levels -// if ( pObj->Level > 3 ) -// continue; + if ( nMaxLevs && (int)pObj->Level >= nMaxLevs ) + continue; } // hash the node by its simulation info iEntry = p->pFuncNodeHash( pObj, nTableSize ); |