diff options
Diffstat (limited to 'src/misc')
-rw-r--r-- | src/misc/util/abc_global.h | 4 | ||||
-rw-r--r-- | src/misc/util/utilBridge.c | 8 |
2 files changed, 8 insertions, 4 deletions
diff --git a/src/misc/util/abc_global.h b/src/misc/util/abc_global.h index 7535014b..21546842 100644 --- a/src/misc/util/abc_global.h +++ b/src/misc/util/abc_global.h @@ -268,10 +268,14 @@ enum Abc_VerbLevel ABC_VERBOSE = 2 }; +#define BRIDGE_NETLIST 106 +#define BRIDGE_ABS_NETLIST 107 + // string printing extern char * vnsprintf(const char* format, va_list args); extern char * nsprintf(const char* format, ...); extern int Gia_ManToBridgeText( FILE * pFile, int Size, unsigned char * pBuffer ); +extern int Gia_ManToBridgeAbsNetlist( FILE * pFile, void * p, int pkg_type ); // misc printing procedures static inline void Abc_Print( int level, const char * format, ... ) diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c index 493047f7..3ac7ba2c 100644 --- a/src/misc/util/utilBridge.c +++ b/src/misc/util/utilBridge.c @@ -33,8 +33,8 @@ ABC_NAMESPACE_IMPL_START #define BRIDGE_TEXT_MESSAGE 999996 #define BRIDGE_RESULTS 101 -#define BRIDGE_NETLIST 106 -#define BRIDGE_ABS_NETLIST 107 +//#define BRIDGE_NETLIST 106 +//#define BRIDGE_ABS_NETLIST 107 #define BRIDGE_BAD_ABS 105 #define BRIDGE_VALUE_X 0 @@ -146,10 +146,10 @@ int Gia_ManToBridgeText( FILE * pFile, int Size, unsigned char * pBuffer ) Gia_CreateHeader( pFile, BRIDGE_TEXT_MESSAGE, Size, pBuffer ); return 1; } -int Gia_ManToBridgeAbsNetlist( FILE * pFile, Gia_Man_t * p, int pkg_type ) +int Gia_ManToBridgeAbsNetlist( FILE * pFile, void * p, int pkg_type ) { Vec_Str_t * vBuffer; - vBuffer = Gia_ManToBridgeVec( p ); + vBuffer = Gia_ManToBridgeVec( (Gia_Man_t *)p ); Gia_CreateHeader( pFile, pkg_type, Vec_StrSize(vBuffer), (unsigned char *)Vec_StrArray(vBuffer) ); Vec_StrFree( vBuffer ); return 1; |