diff options
| -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; |