diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-07 18:47:45 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-07 18:47:45 +0300 |
| commit | 197c65be0b8275deb1508b7bde08fce2216d5064 (patch) | |
| tree | 13d6d85d8a6187b2db34a3ca245e56768b4aa7c4 /src/opt/dau/dau.h | |
| parent | a8d3b9a59e9d18f5e8924f9b007f2113b31f96d4 (diff) | |
| download | abc-197c65be0b8275deb1508b7bde08fce2216d5064.tar.gz abc-197c65be0b8275deb1508b7bde08fce2216d5064.tar.bz2 abc-197c65be0b8275deb1508b7bde08fce2216d5064.zip | |
Expriments with functions.
Diffstat (limited to 'src/opt/dau/dau.h')
| -rw-r--r-- | src/opt/dau/dau.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/opt/dau/dau.h b/src/opt/dau/dau.h index 260d8c7a..df8c8f40 100644 --- a/src/opt/dau/dau.h +++ b/src/opt/dau/dau.h @@ -80,6 +80,9 @@ extern unsigned Abc_TtCanonicize( word * pTruth, int nVars, char * pCanonPe extern unsigned Abc_TtCanonicizePerm( word * pTruth, int nVars, char * pCanonPerm ); extern unsigned Abc_TtCanonicizePhase( word * pTruth, int nVars ); extern int Abc_TtCountOnesInCofsSimple( word * pTruth, int nVars, int * pStore ); +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 ); /*=== dauCount.c ==========================================================*/ extern int Abc_TtCountOnesInCofsQuick( word * pTruth, int nVars, int * pStore ); /*=== dauDsd.c ==========================================================*/ |