diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-25 18:10:45 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-25 18:10:45 -0700 |
| commit | 94a75fe6d8f8709603dbf9e5bf959174dc3342ac (patch) | |
| tree | a74f1e34183c94b4a2a93d83f821f8134d5c9951 /src/opt/mfs/mfsDiv.c | |
| parent | f47cc6cefccb859b0b64eb89648c5126b8ccbf22 (diff) | |
| download | abc-94a75fe6d8f8709603dbf9e5bf959174dc3342ac.tar.gz abc-94a75fe6d8f8709603dbf9e5bf959174dc3342ac.tar.bz2 abc-94a75fe6d8f8709603dbf9e5bf959174dc3342ac.zip | |
New MFS package.
Diffstat (limited to 'src/opt/mfs/mfsDiv.c')
| -rw-r--r-- | src/opt/mfs/mfsDiv.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/mfs/mfsDiv.c b/src/opt/mfs/mfsDiv.c index 1473580e..0b29673e 100644 --- a/src/opt/mfs/mfsDiv.c +++ b/src/opt/mfs/mfsDiv.c @@ -214,7 +214,7 @@ Vec_Ptr_t * Abc_MfsComputeDivisors( Mfs_Man_t * p, Abc_Obj_t * pNode, int nLevDi // (3) the node's fanins (these are treated as a special case) Abc_NtkIncrementTravId( pNode->pNtk ); Abc_MfsWinSweepLeafTfo_rec( pNode, nLevDivMax ); - Abc_MfsWinVisitMffc( pNode ); +// Abc_MfsWinVisitMffc( pNode ); Abc_ObjForEachFanin( pNode, pObj, k ) Abc_NodeSetTravIdCurrent( pObj ); @@ -244,7 +244,7 @@ Vec_Ptr_t * Abc_MfsComputeDivisors( Mfs_Man_t * p, Abc_Obj_t * pNode, int nLevDi Abc_ObjForEachFanout( pObj, pFanout, f ) { // stop if there are too many fanouts - if ( f > 20 ) + if ( p->pPars->nFanoutsMax && f > p->pPars->nFanoutsMax ) break; // skip nodes that are already added if ( Abc_NodeIsTravIdPrevious(pFanout) ) |