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 | |
| parent | 584643747ce40946d3caf6efbf45b2c47bad1d6d (diff) | |
| download | abc-0c337bc34494868b1f7b94ce0169cb0870da7506.tar.gz abc-0c337bc34494868b1f7b94ce0169cb0870da7506.tar.bz2 abc-0c337bc34494868b1f7b94ce0169cb0870da7506.zip | |
Added API Abc_FrameReadGia
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/main/main.h | 2 | ||||
| -rw-r--r-- | src/base/main/mainFrame.c | 16 |
2 files changed, 18 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 ); diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c index 6a2fe5b3..a600ae3b 100644 --- a/src/base/main/mainFrame.c +++ b/src/base/main/mainFrame.c @@ -259,6 +259,22 @@ Abc_Ntk_t * Abc_FrameReadNtk( Abc_Frame_t * p ) SeeAlso [] ***********************************************************************/ +Gia_Man_t * Abc_FrameReadGia( Abc_Frame_t * p ) +{ + return p->pGia; +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ FILE * Abc_FrameReadOut( Abc_Frame_t * p ) { return p->Out; |