summaryrefslogtreecommitdiffstats
path: root/src/base/io/io.h
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2007-03-02 08:01:00 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2007-03-02 08:01:00 -0800
commit93c05287f0d8b044e620b41608df906bbad39db5 (patch)
treef1de33e68eb5919d9e32356e200393490457005c /src/base/io/io.h
parent81fae91a95b8b51d7a10d3884df92dc89eb266bf (diff)
downloadabc-93c05287f0d8b044e620b41608df906bbad39db5.tar.gz
abc-93c05287f0d8b044e620b41608df906bbad39db5.tar.bz2
abc-93c05287f0d8b044e620b41608df906bbad39db5.zip
Version abc70302
Diffstat (limited to 'src/base/io/io.h')
-rw-r--r--src/base/io/io.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/io/io.h b/src/base/io/io.h
index 7e23b6e4..45762b77 100644
--- a/src/base/io/io.h
+++ b/src/base/io/io.h
@@ -87,7 +87,7 @@ extern Abc_Ntk_t * Io_ReadPla( char * pFileName, int fCheck );
/*=== abcReadVerilog.c ========================================================*/
extern Abc_Ntk_t * Io_ReadVerilog( char * pFileName, int fCheck );
/*=== abcWriteAiger.c =========================================================*/
-extern void Io_WriteAiger( Abc_Ntk_t * pNtk, char * pFileName );
+extern void Io_WriteAiger( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols );
/*=== abcWriteBaf.c ===========================================================*/
extern void Io_WriteBaf( Abc_Ntk_t * pNtk, char * pFileName );
/*=== abcWriteBlif.c ==========================================================*/
@@ -98,6 +98,7 @@ extern void Io_WriteTimingInfo( FILE * pFile, Abc_Ntk_t * pNtk );
extern void Io_WriteBlifMv( Abc_Ntk_t * pNtk, char * FileName );
/*=== abcWriteBench.c =========================================================*/
extern int Io_WriteBench( Abc_Ntk_t * pNtk, char * FileName );
+extern int Io_WriteBenchLut( Abc_Ntk_t * pNtk, char * FileName );
/*=== abcWriteCnf.c ===========================================================*/
extern int Io_WriteCnf( Abc_Ntk_t * pNtk, char * FileName, int fAllPrimes );
/*=== abcWriteDot.c ===========================================================*/