diff options
Diffstat (limited to 'src/base/abci/abcDec.c')
-rw-r--r-- | src/base/abci/abcDec.c | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/base/abci/abcDec.c b/src/base/abci/abcDec.c index 8bb04f16..dee773ab 100644 --- a/src/base/abci/abcDec.c +++ b/src/base/abci/abcDec.c @@ -439,6 +439,36 @@ Abc_TtStore_t * Abc_TtStoreLoad( char * pFileName, int nVarNum ) SeeAlso [] ***********************************************************************/ +void Abc_TtStoreLoadSave( char * pFileName ) +{ + Abc_TtStore_t * p; + char * pFileInput = pFileName; + char * pFileOutput = Extra_FileNameGenericAppend(pFileName, "_binary.data"); + + // read info from file + p = Abc_TtStoreLoad( pFileInput, -1 ); + if ( p == NULL ) + return; + + // write into another file + Abc_TtStoreWrite( pFileOutput, p, 1 ); + + // delete data-structure + Abc_TtStoreFree( p, -1 ); + printf( "Input file \"%s\" was copied into output file \"%s\".\n", pFileInput, pFileOutput ); +} + +/**Function************************************************************* + + Synopsis [Read truth tables from input file and write them into output file.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ void Abc_TtStoreTest( char * pFileName ) { Abc_TtStore_t * p; |