diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-29 01:15:16 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-29 01:15:16 -0800 |
| commit | 0c337bc34494868b1f7b94ce0169cb0870da7506 (patch) | |
| tree | 294124871f328ac36b72f710f9f016052460117f /src/base/main/main.h | |
| parent | 584643747ce40946d3caf6efbf45b2c47bad1d6d (diff) | |
| download | abc-0c337bc34494868b1f7b94ce0169cb0870da7506.tar.gz abc-0c337bc34494868b1f7b94ce0169cb0870da7506.tar.bz2 abc-0c337bc34494868b1f7b94ce0169cb0870da7506.zip | |
Added API Abc_FrameReadGia
Diffstat (limited to 'src/base/main/main.h')
| -rw-r--r-- | src/base/main/main.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/main/main.h b/src/base/main/main.h index f3e03b47..41593498 100644 --- a/src/base/main/main.h +++ b/src/base/main/main.h @@ -33,6 +33,7 @@ // core packages #include "abc.h" +#include "gia.h" ABC_NAMESPACE_HEADER_START // the framework containing all data @@ -74,6 +75,7 @@ extern ABC_DLL void Abc_Stop(); /*=== mainFrame.c ===========================================================*/ extern ABC_DLL Abc_Ntk_t * Abc_FrameReadNtk( Abc_Frame_t * p ); +extern ABC_DLL Gia_Man_t * Abc_FrameReadGia( Abc_Frame_t * p ); extern ABC_DLL FILE * Abc_FrameReadOut( Abc_Frame_t * p ); extern ABC_DLL FILE * Abc_FrameReadErr( Abc_Frame_t * p ); extern ABC_DLL int Abc_FrameReadMode( Abc_Frame_t * p ); |