diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-12 23:25:20 +0100 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-12 23:25:20 +0100 |
commit | e3cd1048107824bb060c9ade2b1ab66a3c219801 (patch) | |
tree | fe6bd8835ab452544038ad5b40fdcbd3ddedc99d /src/base/abci | |
parent | 900fd5cc734524b24ffd08c3fb626fd4a5ad8f6c (diff) | |
download | abc-e3cd1048107824bb060c9ade2b1ab66a3c219801.tar.gz abc-e3cd1048107824bb060c9ade2b1ab66a3c219801.tar.bz2 abc-e3cd1048107824bb060c9ade2b1ab66a3c219801.zip |
Updated NPN classification code (compiler warnings).
Diffstat (limited to 'src/base/abci')
-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 a3571a04..e109a9cf 100644 --- a/src/base/abci/abcNpn.c +++ b/src/base/abci/abcNpn.c @@ -317,7 +317,7 @@ void Abc_TruthNpnPerform( Abc_TtStore_t * p, int NpnType, int fVerbose ) } else if ( NpnType == 8 ) { - typedef unsigned(*TtCanonicizeFunc)(Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int flag); +// typedef unsigned(*TtCanonicizeFunc)(Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int flag); unsigned Abc_TtCanonicizeWrap(TtCanonicizeFunc func, Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int flag); unsigned Abc_TtCanonicizeAda(Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int iThres); @@ -335,7 +335,7 @@ void Abc_TruthNpnPerform( Abc_TtStore_t * p, int NpnType, int fVerbose ) } else if ( NpnType == 9 || NpnType == 10 || NpnType == 11 ) { - typedef unsigned(*TtCanonicizeFunc)(Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int flag); +// typedef unsigned(*TtCanonicizeFunc)(Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int flag); unsigned Abc_TtCanonicizeWrap(TtCanonicizeFunc func, Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int flag); unsigned Abc_TtCanonicizeAda(Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int iThres); unsigned Abc_TtCanonicizeCA(Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int iThres); |