diff options
Diffstat (limited to 'src/misc/extra/extraUtilTruth.c')
| -rw-r--r-- | src/misc/extra/extraUtilTruth.c | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/src/misc/extra/extraUtilTruth.c b/src/misc/extra/extraUtilTruth.c index 6b10813c..ab476f6f 100644 --- a/src/misc/extra/extraUtilTruth.c +++ b/src/misc/extra/extraUtilTruth.c @@ -782,26 +782,6 @@ void Extra_TruthChangePhase( unsigned * pTruth, int nVars, int iVar ) /**Function************************************************************* - Synopsis [Changes phase of the function w.r.t. one variable.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -int Extra_TruthCountOnes( unsigned * pTruth, int nVars ) -{ - int nWords = Extra_TruthWordNum( nVars ); - int i, Counter = 0; - for ( i = 0; i < nWords; i++ ) - Counter += Extra_WordCountOnes( pTruth[i] ); - return Counter; -} - -/**Function************************************************************* - Synopsis [Computes minimum overlap in supports of cofactors.] Description [] |