diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-23 14:01:51 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-23 14:01:51 -0700 |
| commit | 938ffa5a7dede96fcd3c9d1dc59eb9bdfa5ebe11 (patch) | |
| tree | daaa027254b6fc79c7dc70941ca07caa22613c05 | |
| parent | 323913fd19a460c04f5fb4386954e8e686018d64 (diff) | |
| download | abc-938ffa5a7dede96fcd3c9d1dc59eb9bdfa5ebe11.tar.gz abc-938ffa5a7dede96fcd3c9d1dc59eb9bdfa5ebe11.tar.bz2 abc-938ffa5a7dede96fcd3c9d1dc59eb9bdfa5ebe11.zip | |
Improvements to CNF generation.
| -rw-r--r-- | src/misc/util/utilTruth.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index 665ce621..124af310 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -1620,7 +1620,6 @@ static inline void Abc_Tt7IsopCover( word uOn[2], word uOnDc[2], int nVars, word } static inline void Abc_Tt8IsopCover( word uOn[4], word uOnDc[4], int nVars, word uRes[4], int * pCover, int * pnCubes ) { - int nCubes = 0; if ( nVars <= 6 ) uRes[0] = uRes[1] = uRes[2] = uRes[3] = Abc_Tt6IsopCover( uOn[0], uOnDc[0], nVars, pCover, pnCubes ); else if ( nVars == 7 || (uOn[0] == uOn[2] && uOn[1] == uOn[3] && uOnDc[0] == uOnDc[2] && uOnDc[1] == uOnDc[3]) ) |