From 3f77172a7e619a4739bc7acb0ee41a6cd3f6d47e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 24 Sep 2015 09:47:05 -0700
Subject: Adding API to set the number of flops after reading MiniAIG.

---
 src/base/abci/abcMini.c | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'src/base')

diff --git a/src/base/abci/abcMini.c b/src/base/abci/abcMini.c
index 8f9e48fe..bd893b5b 100644
--- a/src/base/abci/abcMini.c
+++ b/src/base/abci/abcMini.c
@@ -175,7 +175,17 @@ void * Abc_NtkOutputMiniAig( Abc_Frame_t * pAbc )
         printf( "Current network in ABC framework is not defined.\n" );
     return Abc_NtkToMiniAig( pNtk );
 }
-
+void Abc_NtkSetFlopNum( Abc_Frame_t * pAbc, int nFlops )
+{
+    extern void Abc_NtkMakeSeq( Abc_Ntk_t * pNtk, int nFlops );
+    Abc_Ntk_t * pNtk;
+    if ( pAbc == NULL )
+        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
+    pNtk = Abc_FrameReadNtk( pAbc );
+    if ( pNtk == NULL )
+        printf( "Current network in ABC framework is not defined.\n" );
+    Abc_NtkMakeSeq( pNtk, nFlops );
+}
 
 /**Function*************************************************************
 
-- 
cgit v1.2.3