diff options
| author | Ana Petkovska <lee.anna.loo@gmail.com> | 2016-06-18 18:42:57 +0200 |
|---|---|---|
| committer | Ana Petkovska <lee.anna.loo@gmail.com> | 2016-06-18 18:42:57 +0200 |
| commit | 6842b8cdbcf0605cdb12369e270bd61e0ea89276 (patch) | |
| tree | 5c0de6ffc905c301c06372e06f21391f35120acb /src/base/abci/abcNpn.c | |
| parent | a3095693900f6e393b09a6556439b6ec26b8358e (diff) | |
| download | abc-6842b8cdbcf0605cdb12369e270bd61e0ea89276.tar.gz abc-6842b8cdbcf0605cdb12369e270bd61e0ea89276.tar.bz2 abc-6842b8cdbcf0605cdb12369e270bd61e0ea89276.zip | |
Group based exact NPN classification.
Diffstat (limited to 'src/base/abci/abcNpn.c')
| -rw-r--r-- | src/base/abci/abcNpn.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/base/abci/abcNpn.c b/src/base/abci/abcNpn.c index e667a074..d2cac715 100644 --- a/src/base/abci/abcNpn.c +++ b/src/base/abci/abcNpn.c @@ -293,17 +293,18 @@ void Abc_TruthNpnPerform( Abc_TtStore_t * p, int NpnType, int fVerbose ) } else if ( NpnType == 7 ) { - extern unsigned Abc_TtCanonicizeHie( Abc_TtMan_t * p, word * pTruth, int nVars, char * pCanonPerm ); + extern unsigned Abc_TtCanonicizeHie( Abc_TtMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int fExact ); extern Abc_TtMan_t * Abc_TtManStart( int nVars ); extern void Abc_TtManStop( Abc_TtMan_t * p ); extern int Abc_TtManNumClasses( Abc_TtMan_t * p ); + int fExact = 0; Abc_TtMan_t * pMan = Abc_TtManStart( p->nVars ); for ( i = 0; i < p->nFuncs; i++ ) { if ( fVerbose ) printf( "%7d : ", i ); - uCanonPhase = Abc_TtCanonicizeHie( pMan, p->pFuncs[i], p->nVars, pCanonPerm ); + uCanonPhase = Abc_TtCanonicizeHie( pMan, p->pFuncs[i], p->nVars, pCanonPerm, fExact ); if ( fVerbose ) // Extra_PrintHex( stdout, (unsigned *)p->pFuncs[i], p->nVars ), Abc_TruthNpnPrint(NULL, uCanonPhase, p->nVars), printf( "\n" ); printf( "\n" ); |