00001 00021 #ifndef __MAIN_H__ 00022 #define __MAIN_H__ 00023 00024 #ifdef __cplusplus 00025 extern "C" { 00026 #endif 00027 00031 00035 00036 // the framework containing all data 00037 typedef struct Abc_Frame_t_ Abc_Frame_t; 00038 00042 00043 // this include should be the first one in the list 00044 // it is used to catch memory leaks on Windows 00045 #include "leaks.h" 00046 00047 // data structure packages 00048 #include "extra.h" 00049 #include "vec.h" 00050 #include "st.h" 00051 00052 // core packages 00053 #include "abc.h" 00054 #include "cmd.h" 00055 #include "io.h" 00056 00060 00064 00068 00072 00073 /*=== main.c ===========================================================*/ 00074 extern void Abc_Start(); 00075 extern void Abc_Stop(); 00076 00077 /*=== mainFrame.c ===========================================================*/ 00078 extern Abc_Ntk_t * Abc_FrameReadNtk( Abc_Frame_t * p ); 00079 extern FILE * Abc_FrameReadOut( Abc_Frame_t * p ); 00080 extern FILE * Abc_FrameReadErr( Abc_Frame_t * p ); 00081 extern bool Abc_FrameReadMode( Abc_Frame_t * p ); 00082 extern bool Abc_FrameSetMode( Abc_Frame_t * p, bool fNameMode ); 00083 extern void Abc_FrameRestart( Abc_Frame_t * p ); 00084 extern bool Abc_FrameShowProgress( Abc_Frame_t * p ); 00085 00086 extern void Abc_FrameSetCurrentNetwork( Abc_Frame_t * p, Abc_Ntk_t * pNet ); 00087 extern void Abc_FrameSwapCurrentAndBackup( Abc_Frame_t * p ); 00088 extern void Abc_FrameReplaceCurrentNetwork( Abc_Frame_t * p, Abc_Ntk_t * pNet ); 00089 extern void Abc_FrameUnmapAllNetworks( Abc_Frame_t * p ); 00090 extern void Abc_FrameDeleteAllNetworks( Abc_Frame_t * p ); 00091 00092 extern void Abc_FrameSetGlobalFrame( Abc_Frame_t * p ); 00093 extern Abc_Frame_t * Abc_FrameGetGlobalFrame(); 00094 00095 extern Vec_Ptr_t * Abc_FrameReadStore(); 00096 extern int Abc_FrameReadStoreSize(); 00097 extern void * Abc_FrameReadLibLut(); 00098 extern void * Abc_FrameReadLibGen(); 00099 extern void * Abc_FrameReadLibSuper(); 00100 extern void * Abc_FrameReadLibVer(); 00101 extern void * Abc_FrameReadManDd(); 00102 extern void * Abc_FrameReadManDec(); 00103 extern char * Abc_FrameReadFlag( char * pFlag ); 00104 extern bool Abc_FrameIsFlagEnabled( char * pFlag ); 00105 00106 extern void Abc_FrameSetNtkStore( Abc_Ntk_t * pNtk ); 00107 extern void Abc_FrameSetNtkStoreSize( int nStored ); 00108 extern void Abc_FrameSetLibLut( void * pLib ); 00109 extern void Abc_FrameSetLibGen( void * pLib ); 00110 extern void Abc_FrameSetLibSuper( void * pLib ); 00111 extern void Abc_FrameSetLibVer( void * pLib ); 00112 extern void Abc_FrameSetFlag( char * pFlag, char * pValue ); 00113 00114 #ifdef __cplusplus 00115 } 00116 #endif 00117 00118 #endif 00119
1.6.1