diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-11 21:27:33 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-11 21:27:33 +0300 |
| commit | 1b82a3871828acac6635c9c5767f50397cb704c1 (patch) | |
| tree | 4ebfd28819e7090ca3f51a333ce6f1288e083612 /src/base/abci/abcNpn.c | |
| parent | 1e35ed8798499dcdf9c29529154aabff918fe43b (diff) | |
| download | abc-1b82a3871828acac6635c9c5767f50397cb704c1.tar.gz abc-1b82a3871828acac6635c9c5767f50397cb704c1.tar.bz2 abc-1b82a3871828acac6635c9c5767f50397cb704c1.zip | |
Expriments with functions (supporting symmetries).
Diffstat (limited to 'src/base/abci/abcNpn.c')
| -rw-r--r-- | src/base/abci/abcNpn.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/base/abci/abcNpn.c b/src/base/abci/abcNpn.c index 8fe35ca8..744b6443 100644 --- a/src/base/abci/abcNpn.c +++ b/src/base/abci/abcNpn.c @@ -314,8 +314,6 @@ void Abc_TruthNpnPerform( Abc_TtStore_t * p, int NpnType, int fVerbose ) 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); - Abc_TtHieMan_t * Abc_TtHieManStart(int nVars, int nLevels); - void Abc_TtHieManStop(Abc_TtHieMan_t * p); int fHigh = 1, iEnumThres = 25; Abc_TtHieMan_t * pMan = Abc_TtHieManStart(p->nVars, 5); |