diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-17 12:13:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-17 12:13:54 -0700 |
| commit | d8c47d56b7c525d9ab303d945318ebf3166c3fe2 (patch) | |
| tree | 39ce80519e04087e59339570d74fb419212848f1 /src/opt/dau/dau.h | |
| parent | 677c984e166693ccd4c7bb56a3aa7e7de282ef8a (diff) | |
| download | abc-d8c47d56b7c525d9ab303d945318ebf3166c3fe2.tar.gz abc-d8c47d56b7c525d9ab303d945318ebf3166c3fe2.tar.bz2 abc-d8c47d56b7c525d9ab303d945318ebf3166c3fe2.zip | |
Fixing mismatch in exact NPN computation (by XueGong Zhou)
Diffstat (limited to 'src/opt/dau/dau.h')
| -rw-r--r-- | src/opt/dau/dau.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/opt/dau/dau.h b/src/opt/dau/dau.h index df8c8f40..82e9b83b 100644 --- a/src/opt/dau/dau.h +++ b/src/opt/dau/dau.h @@ -60,6 +60,7 @@ typedef enum { typedef struct Dss_Man_t_ Dss_Man_t; typedef struct Abc_TtHieMan_t_ Abc_TtHieMan_t; +typedef unsigned(*TtCanonicizeFunc)(Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int flag); //////////////////////////////////////////////////////////////////////// /// MACRO DEFINITIONS /// @@ -83,6 +84,9 @@ extern int Abc_TtCountOnesInCofsSimple( word * pTruth, int nVars, int extern unsigned Abc_TtCanonicizeHie(Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int fExact ); extern Abc_TtHieMan_t * Abc_TtHieManStart( int nVars, int nLevels ); extern void Abc_TtHieManStop(Abc_TtHieMan_t * p ); +extern unsigned Abc_TtCanonicizeWrap(TtCanonicizeFunc func, Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int flag); +extern unsigned Abc_TtCanonicizeAda(Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int iThres); +extern unsigned Abc_TtCanonicizeHie(Abc_TtHieMan_t * p, word * pTruthInit, int nVars, char * pCanonPerm, int fExact); /*=== dauCount.c ==========================================================*/ extern int Abc_TtCountOnesInCofsQuick( word * pTruth, int nVars, int * pStore ); /*=== dauDsd.c ==========================================================*/ |