diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-11 18:09:15 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-11 18:09:15 -0800 |
commit | ea2d82ab141c5a162f2c2cf0adce74a21d911d8a (patch) | |
tree | 27fe7eee9a21fb9d014e23129310d424d4a70781 /src/base/wlc/wlc.h | |
parent | e363727c62d5fbbf0edadb73a02e4efa324e1509 (diff) | |
download | abc-ea2d82ab141c5a162f2c2cf0adce74a21d911d8a.tar.gz abc-ea2d82ab141c5a162f2c2cf0adce74a21d911d8a.tar.bz2 abc-ea2d82ab141c5a162f2c2cf0adce74a21d911d8a.zip |
Modifications to read SMTLIB file from stdin.
Diffstat (limited to 'src/base/wlc/wlc.h')
-rw-r--r-- | src/base/wlc/wlc.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h index 5954ec18..f789c03c 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -32,6 +32,7 @@ #include "misc/mem/mem.h" #include "misc/extra/extra.h" #include "misc/util/utilTruth.h" +#include "base/main/mainInt.h" //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// @@ -238,6 +239,10 @@ extern Wlc_Ntk_t * Wlc_NtkAbstractNodes( Wlc_Ntk_t * pNtk, Vec_Int_t * vNodes extern Wlc_Ntk_t * Wlc_NtkUifNodePairs( Wlc_Ntk_t * pNtk, Vec_Int_t * vPairs ); /*=== wlcBlast.c ========================================================*/ extern Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds ); +/*=== wlcCom.c ========================================================*/ +extern void Wlc_SetNtk( Abc_Frame_t * pAbc, Wlc_Ntk_t * pNtk ); +extern Vec_Str_t * Wlc_GenerateSmtStdin(); +extern void Wlc_GenerateSmtStdout( Abc_Frame_t * pAbc ); /*=== wlcNtk.c ========================================================*/ extern Wlc_Ntk_t * Wlc_NtkAlloc( char * pName, int nObjsAlloc ); extern int Wlc_ObjAlloc( Wlc_Ntk_t * p, int Type, int Signed, int End, int Beg ); @@ -253,6 +258,7 @@ extern void Wlc_NtkPrintStats( Wlc_Ntk_t * p, int fDistrib, int fVerbo extern Wlc_Ntk_t * Wlc_NtkDupDfs( Wlc_Ntk_t * p ); extern void Wlc_NtkTransferNames( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p ); /*=== wlcReadSmt.c ========================================================*/ +extern Wlc_Ntk_t * Wlc_ReadSmtBuffer( char * pFileName, char * pBuffer, char * pLimit ); extern Wlc_Ntk_t * Wlc_ReadSmt( char * pFileName ); /*=== wlcReadVer.c ========================================================*/ extern Wlc_Ntk_t * Wlc_ReadVer( char * pFileName ); |