diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-29 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-29 08:01:00 -0700 |
commit | 93c3f16066b69c840dc636f827f5f3ca18749906 (patch) | |
tree | 17e925b73259f4411e6b19ad38cffcf473d85fda /src/opt/mfs/mfsResub.c | |
parent | 416ffc117ab7d0ea2ec3b8aaeb4724f25031db7a (diff) | |
download | abc-93c3f16066b69c840dc636f827f5f3ca18749906.tar.gz abc-93c3f16066b69c840dc636f827f5f3ca18749906.tar.bz2 abc-93c3f16066b69c840dc636f827f5f3ca18749906.zip |
Version abc80329
Diffstat (limited to 'src/opt/mfs/mfsResub.c')
-rw-r--r-- | src/opt/mfs/mfsResub.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/opt/mfs/mfsResub.c b/src/opt/mfs/mfsResub.c index 8908da2f..b6c7299b 100644 --- a/src/opt/mfs/mfsResub.c +++ b/src/opt/mfs/mfsResub.c @@ -176,6 +176,7 @@ int Abc_NtkMfsSolveSatResub( Mfs_Man_t * p, Abc_Obj_t * pNode, int iFanin, int f if ( fVeryVerbose ) printf( "Node %d: Fanin %d can be removed.\n", pNode->Id, iFanin ); p->nNodesResub++; + p->nNodesGainedLevel++; if ( fSkipUpdate ) return 1; clk = clock(); @@ -243,6 +244,7 @@ p->timeInt += clock() - clk; if ( fVeryVerbose ) printf( "Node %d: Fanin %d can be replaced by divisor %d.\n", pNode->Id, iFanin, iVar ); p->nNodesResub++; + p->nNodesGainedLevel++; if ( fSkipUpdate ) return 1; clk = clock(); @@ -315,6 +317,7 @@ int Abc_NtkMfsSolveSatResub2( Mfs_Man_t * p, Abc_Obj_t * pNode, int iFanin, int if ( fVeryVerbose ) printf( "Node %d: Fanins %d/%d can be removed.\n", pNode->Id, iFanin, iFanin2 ); p->nNodesResub++; + p->nNodesGainedLevel++; clk = clock(); // derive the function pFunc = Abc_NtkMfsInterplate( p, pCands, nCands ); @@ -388,6 +391,7 @@ p->timeInt += clock() - clk; if ( fVeryVerbose ) printf( "Node %d: Fanins %d/%d can be replaced by divisors %d/%d.\n", pNode->Id, iFanin, iFanin2, iVar, iVar2 ); p->nNodesResub++; + p->nNodesGainedLevel++; clk = clock(); // derive the function pFunc = Abc_NtkMfsInterplate( p, pCands, nCands+2 ); |