diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-07-21 17:27:36 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-07-21 17:27:36 -0700 |
| commit | ae6716b064c842f45109a88e84dca71fe4cc311f (patch) | |
| tree | 6530a2ed9db8009c163a27a56fd34d20a9a36145 /src/opt/dau/dau.h | |
| parent | 24407e13db4b8ca16c3996049b2d33ec3722de39 (diff) | |
| download | abc-ae6716b064c842f45109a88e84dca71fe4cc311f.tar.gz abc-ae6716b064c842f45109a88e84dca71fe4cc311f.tar.bz2 abc-ae6716b064c842f45109a88e84dca71fe4cc311f.zip | |
Counting ones in truth table.
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 3f79398a..260d8c7a 100644 --- a/src/opt/dau/dau.h +++ b/src/opt/dau/dau.h @@ -79,6 +79,9 @@ static inline int Dau_DsdReadVar( char * p ) { if ( *p == '!' ) p++; return *p extern unsigned Abc_TtCanonicize( word * pTruth, int nVars, char * pCanonPerm ); 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 ); +/*=== dauCount.c ==========================================================*/ +extern int Abc_TtCountOnesInCofsQuick( word * pTruth, int nVars, int * pStore ); /*=== dauDsd.c ==========================================================*/ extern int * Dau_DsdComputeMatches( char * p ); extern int Dau_DsdDecompose( word * pTruth, int nVarsInit, int fSplitPrime, int fWriteTruth, char * pRes ); |