diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-30 22:33:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-30 22:33:30 -0700 |
| commit | 32b09a1e7bfe61f34fe362c3f6c2e645feeb38cf (patch) | |
| tree | d23e3618da5bc9ffd71d3aef0ef847f1b0326551 /src/opt/dau | |
| parent | 3dfa92f288e41982d8243c4d103f28bd4ff440d9 (diff) | |
| download | abc-32b09a1e7bfe61f34fe362c3f6c2e645feeb38cf.tar.gz abc-32b09a1e7bfe61f34fe362c3f6c2e645feeb38cf.tar.bz2 abc-32b09a1e7bfe61f34fe362c3f6c2e645feeb38cf.zip | |
Improvements to the truth table computations.
Diffstat (limited to 'src/opt/dau')
| -rw-r--r-- | src/opt/dau/dauCanon.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c index 5603d4ca..8646fc89 100644 --- a/src/opt/dau/dauCanon.c +++ b/src/opt/dau/dauCanon.c @@ -74,7 +74,7 @@ void Abc_TtConfactorTest7( word * pTruth, int nVars, int N ) { word Cof[4][1024]; int i, nWords = Abc_TtWordNum( nVars ); - int Counter = 0; +// int Counter = 0; for ( i = 0; i < nVars-1; i++ ) { Abc_TtCopy( Cof[0], pTruth, nWords, 0 ); @@ -221,7 +221,7 @@ void Abc_TtConfactorTest4( word * pTruth, int nVars, int N ) { word Cof[4][1024]; int i, j, nWords = Abc_TtWordNum( nVars ); - int Counter = 0, Sum = 0; + int Sum = 0; for ( i = 0; i < nVars-1; i++ ) for ( j = i+1; j < nVars; j++ ) { @@ -508,7 +508,7 @@ void Abc_TtConfactorTest10( word * pTruth, int nVars, int N ) void Abc_TtConfactorTest( word * pTruth, int nVars, int N ) { char pCanonPerm[32]; - static word pCopy1[1024]; +// static word pCopy1[1024]; static word pCopy2[1024]; int nWords = Abc_TtWordNum( nVars ); |