diff options
author | Ana Petkovska <lee.anna.loo@gmail.com> | 2016-06-18 18:51:38 +0200 |
---|---|---|
committer | Ana Petkovska <lee.anna.loo@gmail.com> | 2016-06-18 18:51:38 +0200 |
commit | 8e5af90c41d9c0c364e01ae3e413a4e40cb8a1e0 (patch) | |
tree | 7822a3ba78daf4b3081ad1b554633bbb7979b382 /src/base | |
parent | 6842b8cdbcf0605cdb12369e270bd61e0ea89276 (diff) | |
download | abc-8e5af90c41d9c0c364e01ae3e413a4e40cb8a1e0.tar.gz abc-8e5af90c41d9c0c364e01ae3e413a4e40cb8a1e0.tar.bz2 abc-8e5af90c41d9c0c364e01ae3e413a4e40cb8a1e0.zip |
Return the class representative of each function.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abci/abcNpn.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abcNpn.c b/src/base/abci/abcNpn.c index d2cac715..8335edda 100644 --- a/src/base/abci/abcNpn.c +++ b/src/base/abci/abcNpn.c @@ -181,7 +181,7 @@ void Abc_TruthNpnPerform( Abc_TtStore_t * p, int NpnType, int fVerbose ) char pCanonPerm[16]; unsigned uCanonPhase=0; abctime clk = Abc_Clock(); - int i, nClasses = -1; + int i; char * pAlgoName = NULL; if ( NpnType == 0 ) @@ -309,12 +309,12 @@ void Abc_TruthNpnPerform( Abc_TtStore_t * p, int NpnType, int fVerbose ) // Extra_PrintHex( stdout, (unsigned *)p->pFuncs[i], p->nVars ), Abc_TruthNpnPrint(NULL, uCanonPhase, p->nVars), printf( "\n" ); printf( "\n" ); } - nClasses = Abc_TtManNumClasses( pMan ); + // nClasses = Abc_TtManNumClasses( pMan ); Abc_TtManStop( pMan ); } else assert( 0 ); clk = Abc_Clock() - clk; - printf( "Classes =%9d ", nClasses == -1 ? Abc_TruthNpnCountUnique(p) : nClasses ); + printf( "Classes =%9d ", Abc_TruthNpnCountUnique(p) ); Abc_PrintTime( 1, "Time", clk ); } |