Adding API to set the number of flops after reading MiniAIG.

src/aig/miniaig/abcapis.h

@@ -52,6 +52,7 @@ extern int    Cmd_CommandExecute( void * pAbc, char * pCommandLine );
 // procedures to input/output 'mini AIG'
 extern void   Abc_NtkInputMiniAig( void * pAbc, void * pMiniAig );
 extern void * Abc_NtkOutputMiniAig( void * pAbc );
+extern void   Abc_NtkSetFlopNum( void * pAbc, int nFlops );
 
 // procedures to set CI/CO arrival/required times
 extern void   Abc_NtkSetCiArrivalTime( void * pAbc, int iCi, float Rise, float Fall );

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*************************************************************