diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-01 02:53:09 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-01 02:53:09 -0700 |
commit | ce3f8cb1d11b7b39fa48f809baa1419e9984fe8c (patch) | |
tree | 0c77a969bcd9c04b29b5460dab4bb274db7452d5 /src/base/abci/abcNpn.c | |
parent | 42e767c2943ee14fb85fec3fa1f45610dcc424bb (diff) | |
download | abc-ce3f8cb1d11b7b39fa48f809baa1419e9984fe8c.tar.gz abc-ce3f8cb1d11b7b39fa48f809baa1419e9984fe8c.tar.bz2 abc-ce3f8cb1d11b7b39fa48f809baa1419e9984fe8c.zip |
Improvements to the truth table computations.
Diffstat (limited to 'src/base/abci/abcNpn.c')
-rw-r--r-- | src/base/abci/abcNpn.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcNpn.c b/src/base/abci/abcNpn.c index 06732d2b..759d91b3 100644 --- a/src/base/abci/abcNpn.c +++ b/src/base/abci/abcNpn.c @@ -202,10 +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 ); + extern void Abc_TtCofactorTest( word * pTruth, int nVars, int i ); if ( fVerbose ) printf( "%7d : ", i ); - Abc_TtConfactorTest( p->pFuncs[i], p->nVars, i ); + Abc_TtCofactorTest( p->pFuncs[i], p->nVars, i ); if ( fVerbose ) Extra_PrintHex( stdout, (unsigned *)p->pFuncs[i], p->nVars ), printf( "\n" ); } |