diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-30 22:25:45 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-30 22:25:45 -0700 |
| commit | 0fafe786aed1f5977b204cc3ca490659a5c182fb (patch) | |
| tree | 0fcdc74b55233adb4dc1b3030618cd746068c189 /src/base | |
| parent | 77fde55b1b87e7e8f92edde61d25f951a9b40c33 (diff) | |
| download | abc-0fafe786aed1f5977b204cc3ca490659a5c182fb.tar.gz abc-0fafe786aed1f5977b204cc3ca490659a5c182fb.tar.bz2 abc-0fafe786aed1f5977b204cc3ca490659a5c182fb.zip | |
Improvements to the truth table computations.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcNpn.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abci/abcNpn.c b/src/base/abci/abcNpn.c index 0e3f41f9..06732d2b 100644 --- a/src/base/abci/abcNpn.c +++ b/src/base/abci/abcNpn.c @@ -202,8 +202,10 @@ void Abc_TruthNpnPerform( Abc_TtStore_t * p, int NpnType, int fVerbose ) { for ( i = 0; i < p->nFuncs; i++ ) { + extern void Abc_TtConfactorTest( word * pTruth, int nVars, int i ); if ( fVerbose ) printf( "%7d : ", i ); + Abc_TtConfactorTest( p->pFuncs[i], p->nVars, i ); if ( fVerbose ) Extra_PrintHex( stdout, (unsigned *)p->pFuncs[i], p->nVars ), printf( "\n" ); } |