diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-20 21:34:40 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-20 21:34:40 -0800 |
| commit | b2fd119933166ad7d9e4132ebb8aaf422bfcdb8a (patch) | |
| tree | f41993309b2f4a791e92b581562e24e462096bc6 /src/misc/util | |
| parent | ffbe3bc5767c597b3ca612a12e671749f23ca34f (diff) | |
| download | abc-b2fd119933166ad7d9e4132ebb8aaf422bfcdb8a.tar.gz abc-b2fd119933166ad7d9e4132ebb8aaf422bfcdb8a.tar.bz2 abc-b2fd119933166ad7d9e4132ebb8aaf422bfcdb8a.zip | |
DSD manager.
Diffstat (limited to 'src/misc/util')
| -rw-r--r-- | src/misc/util/utilTruth.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index eaaa7d2f..f4cb309a 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -657,15 +657,15 @@ static inline void Abc_TtPrintHex( word * pTruth, int nVars ) printf( "%c", Abc_TtPrintDigit((int)(pThis[0] >> (k << 2)) & 15) ); printf( "\n" ); } -static inline void Abc_TtPrintHexRev( word * pTruth, int nVars ) +static inline void Abc_TtPrintHexRev( FILE * pFile, word * pTruth, int nVars ) { word * pThis; - int k; + int k, StartK = nVars >= 6 ? 16 : (1 << (nVars - 2)); assert( nVars >= 2 ); for ( pThis = pTruth + Abc_TtWordNum(nVars) - 1; pThis >= pTruth; pThis-- ) - for ( k = 15; k >= 0; k-- ) - printf( "%c", Abc_TtPrintDigit((int)(pThis[0] >> (k << 2)) & 15) ); - printf( "\n" ); + for ( k = StartK - 1; k >= 0; k-- ) + fprintf( pFile, "%c", Abc_TtPrintDigit((int)(pThis[0] >> (k << 2)) & 15) ); +// printf( "\n" ); } static inline void Abc_TtPrintHexSpecial( word * pTruth, int nVars ) { |