diff options
Diffstat (limited to 'src/misc/util/utilBridge.c')
| -rw-r--r-- | src/misc/util/utilBridge.c | 38 |
1 files changed, 30 insertions, 8 deletions
diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c index ebacd97b..885e6ccc 100644 --- a/src/misc/util/utilBridge.c +++ b/src/misc/util/utilBridge.c @@ -34,15 +34,19 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -#define BRIDGE_TEXT_MESSAGE 999996 -#define BRIDGE_RESULTS 101 -//#define BRIDGE_NETLIST 106 -//#define BRIDGE_ABS_NETLIST 107 -#define BRIDGE_BAD_ABS 105 +#define BRIDGE_TEXT_MESSAGE 999996 + +#define BRIDGE_ABORT 5 +#define BRIDGE_PROGRESS 3 +#define BRIDGE_RESULTS 101 +#define BRIDGE_BAD_ABS 105 +//#define BRIDGE_NETLIST 106 +//#define BRIDGE_ABS_NETLIST 107 + +#define BRIDGE_VALUE_X 0 +#define BRIDGE_VALUE_0 2 +#define BRIDGE_VALUE_1 3 -#define BRIDGE_VALUE_X 0 -#define BRIDGE_VALUE_0 2 -#define BRIDGE_VALUE_1 3 //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// @@ -166,6 +170,22 @@ int Gia_ManToBridgeText( FILE * pFile, int Size, unsigned char * pBuffer ) Gia_CreateHeader( pFile, BRIDGE_TEXT_MESSAGE, Size, pBuffer ); return 1; } + + +int Gia_ManToBridgeAbort( FILE * pFile, int Size, unsigned char * pBuffer ) +{ + Gia_CreateHeader( pFile, BRIDGE_ABORT, Size, pBuffer ); + return 1; +} + + +int Gia_ManToBridgeProgress( FILE * pFile, int Size, unsigned char * pBuffer ) +{ + Gia_CreateHeader( pFile, BRIDGE_PROGRESS, Size, pBuffer ); + return 1; +} + + int Gia_ManToBridgeAbsNetlist( FILE * pFile, void * p, int pkg_type ) { Vec_Str_t * vBuffer; @@ -174,6 +194,8 @@ int Gia_ManToBridgeAbsNetlist( FILE * pFile, void * p, int pkg_type ) Vec_StrFree( vBuffer ); return 1; } + + int Gia_ManToBridgeBadAbs( FILE * pFile ) { Gia_CreateHeader( pFile, BRIDGE_BAD_ABS, 0, NULL ); |