From ae6716b064c842f45109a88e84dca71fe4cc311f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 21 Jul 2018 17:27:36 -0700 Subject: Counting ones in truth table. --- src/opt/dau/dau.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/opt/dau/dau.h') 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 ); -- cgit v1.2.3