diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-25 11:45:19 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-25 11:45:19 -0700 |
commit | 059da57476128e0e2a2baca432e5d6c4dfb02419 (patch) | |
tree | 1261a906ad656e89a1aea805837133ecf4243dff /src/base/abci/abcDec.c | |
parent | 785ae9e4dbc7c831d476ffb504b2293e492b7a4c (diff) | |
download | abc-059da57476128e0e2a2baca432e5d6c4dfb02419.tar.gz abc-059da57476128e0e2a2baca432e5d6c4dfb02419.tar.bz2 abc-059da57476128e0e2a2baca432e5d6c4dfb02419.zip |
Adding binary file dumping for truth tables.
Diffstat (limited to 'src/base/abci/abcDec.c')
-rw-r--r-- | src/base/abci/abcDec.c | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/base/abci/abcDec.c b/src/base/abci/abcDec.c index 309c6a50..776ecda1 100644 --- a/src/base/abci/abcDec.c +++ b/src/base/abci/abcDec.c @@ -353,10 +353,10 @@ void Abc_TruthStoreRead( char * pFileName, Abc_TtStore_t * p ) SeeAlso [] ***********************************************************************/ -void Abc_TtStoreWrite( char * pFileName, Abc_TtStore_t * p ) +void Abc_TtStoreWrite( char * pFileName, Abc_TtStore_t * p, int fBinary ) { FILE * pFile; - int i; + int i, nBytes = 8 * Abc_Truth6WordNum( p->nVars ); pFile = fopen( pFileName, "wb" ); if ( pFile == NULL ) { @@ -365,8 +365,10 @@ void Abc_TtStoreWrite( char * pFileName, Abc_TtStore_t * p ) } for ( i = 0; i < p->nFuncs; i++ ) { - Abc_TruthWriteHex( pFile, p->pFuncs[i], p->nVars ); - fprintf( pFile, "\n" ); + if ( fBinary ) + fwrite( p->pFuncs[i], nBytes, 1, pFile ); + else + Abc_TruthWriteHex( pFile, p->pFuncs[i], p->nVars ), fprintf( pFile, "\n" ); } fclose( pFile ); } @@ -441,7 +443,7 @@ void Abc_TtStoreTest( char * pFileName ) return; // write into another file - Abc_TtStoreWrite( pFileOutput, p ); + Abc_TtStoreWrite( pFileOutput, p, 0 ); // delete data-structure Abc_TtStoreFree( p, -1 ); |