From 0c337bc34494868b1f7b94ce0169cb0870da7506 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 29 Nov 2010 01:15:16 -0800
Subject: Added API Abc_FrameReadGia

---
 src/base/main/main.h      |  2 ++
 src/base/main/mainFrame.c | 16 ++++++++++++++++
 2 files changed, 18 insertions(+)

(limited to 'src/base/main')

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
@@ -248,6 +248,22 @@ Abc_Ntk_t * Abc_FrameReadNtk( Abc_Frame_t * p )
     return p->pNtkCur;
 }
 
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+Gia_Man_t * Abc_FrameReadGia( Abc_Frame_t * p )
+{
+    return p->pGia;
+}
+
 /**Function*************************************************************
 
   Synopsis    []
-- 
cgit v1.2.3