diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-25 11:02:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-25 11:02:34 -0700 |
| commit | 41d18ca05113b33508cb67d10c2ec1fecfd4d4b2 (patch) | |
| tree | 3bf9dbf5524b4ccd721149c516c7b587f5187fbc /src/base/io/ioReadEqn.c | |
| parent | 24f2a120f2203acc8038ccce4e8dd141564a7a04 (diff) | |
| download | abc-41d18ca05113b33508cb67d10c2ec1fecfd4d4b2.tar.gz abc-41d18ca05113b33508cb67d10c2ec1fecfd4d4b2.tar.bz2 abc-41d18ca05113b33508cb67d10c2ec1fecfd4d4b2.zip | |
Changing 'refactor' to work with truth tables.
Diffstat (limited to 'src/base/io/ioReadEqn.c')
| -rw-r--r-- | src/base/io/ioReadEqn.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/base/io/ioReadEqn.c b/src/base/io/ioReadEqn.c index 999834d6..1e4f5d46 100644 --- a/src/base/io/ioReadEqn.c +++ b/src/base/io/ioReadEqn.c @@ -27,8 +27,6 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -#ifdef ABC_USE_CUDD - static Abc_Ntk_t * Io_ReadEqnNetwork( Extra_FileReader_t * p ); static void Io_ReadEqnStrCompact( char * pStr ); static int Io_ReadEqnStrFind( Vec_Ptr_t * vTokens, char * pName ); @@ -235,11 +233,6 @@ void Io_ReadEqnStrCutAt( char * pStr, char * pStop, int fUniqueOnly, Vec_Ptr_t * Vec_PtrPush( vTokens, pToken ); } -#else - -Abc_Ntk_t * Io_ReadEqn( char * pFileName, int fCheck ) { return NULL; } - -#endif //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |