Adding support for minimalistic representation of LUT mapping.

src/aig/gia/giaMini.c

@@ -300,7 +300,7 @@ Mini_Lut_t * Gia_ManToMiniLut( Gia_Man_t * pGia )
     }
     // set registers
     Mini_LutSetRegNum( p, Gia_ManRegNum(pGia) );
-    Mini_LutPrintStats( p );
+    //Mini_LutPrintStats( p );
     return p;
 }
 

src/aig/miniaig/abcapis.h

@@ -54,6 +54,10 @@ extern void   Abc_NtkInputMiniAig( void * pAbc, void * pMiniAig );
 extern void * Abc_NtkOutputMiniAig( void * pAbc );
 extern void   Abc_NtkSetFlopNum( void * pAbc, int nFlops );
 
+// procedures to input/output 'mini AIG'
+extern void   Abc_NtkInputMiniLut( void * pAbc, void * pMiniLut );
+extern void * Abc_NtkOutputMiniLut( void * pAbc );
+
 // procedures to set CI/CO arrival/required times
 extern void   Abc_NtkSetCiArrivalTime( void * pAbc, int iCi, float Rise, float Fall );
 extern void   Abc_NtkSetCoRequiredTime( void * pAbc, int iCo, float Rise, float Fall );