Made print-out of frontier cut an option ('-c') in '&ps'.

6 files changed, 10 insertions, 10 deletions

diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index 740cfedf..e24c9c2c 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -856,7 +856,7 @@ extern void                Gia_ManSolveProblem( Gia_Man_t * pGia, Emb_Par_t * pP
 extern Gia_Man_t *         Gia_ManStart( int nObjsMax ); 
 extern void                Gia_ManStop( Gia_Man_t * p );  
 extern void                Gia_ManStopP( Gia_Man_t ** p );  
-extern void                Gia_ManPrintStats( Gia_Man_t * p, int fTents, int fSwitch ); 
+extern void                Gia_ManPrintStats( Gia_Man_t * p, int fTents, int fSwitch, int fCut ); 
 extern void                Gia_ManPrintStatsShort( Gia_Man_t * p ); 
 extern void                Gia_ManPrintMiterStatus( Gia_Man_t * p ); 
 extern void                Gia_ManSetRegNum( Gia_Man_t * p, int nRegs );
diff --git a/src/aig/gia/giaCexMin.c b/src/aig/gia/giaCexMin.c
index 4c949d11..3249e4cb 100644
--- a/src/aig/gia/giaCexMin.c
+++ b/src/aig/gia/giaCexMin.c
@@ -331,7 +331,7 @@ Abc_Cex_t * Gia_ManCexMin( Gia_Man_t * p, Abc_Cex_t * pCex, int iFrameStart, int
     {
         pNew = Gia_ManCreateUnate( p, pCex, iFrameStart, nRealPis, fUseAll );
         printf( "%3d : ", iFrameStart );
-        Gia_ManPrintStats( pNew, 0, 0 );
+        Gia_ManPrintStats( pNew, 0, 0, 0 );
         if ( fVerbose )
             Gia_WriteAiger( pNew, "temp.aig", 0, 0 );
         Gia_ManStop( pNew );
@@ -342,7 +342,7 @@ Abc_Cex_t * Gia_ManCexMin( Gia_Man_t * p, Abc_Cex_t * pCex, int iFrameStart, int
         {
             pNew = Gia_ManCreateUnate( p, pCex, f, -1, fUseAll );
             printf( "%3d : ", f );
-            Gia_ManPrintStats( pNew, 0, 0 );
+            Gia_ManPrintStats( pNew, 0, 0, 0 );
             if ( fVerbose )
                 Gia_WriteAiger( pNew, "temp.aig", 0, 0 );
             Gia_ManStop( pNew );
diff --git a/src/aig/gia/giaCof.c b/src/aig/gia/giaCof.c
index e9fd6c8b..522589aa 100644
--- a/src/aig/gia/giaCof.c
+++ b/src/aig/gia/giaCof.c
@@ -863,7 +863,7 @@ Gia_Man_t * Gia_ManDupCofAllInt( Gia_Man_t * p, Vec_Int_t * vSigs, int fVerbose
     if ( fVerbose )
     { 
         printf( "Cofactoring %d signals.\n", Vec_IntSize(vSigs) );
-        Gia_ManPrintStats( p, 0, 0 );
+        Gia_ManPrintStats( p, 0, 0, 0 );
     }
     if ( Vec_IntSize( vSigs ) > 200 )
     {
@@ -889,7 +889,7 @@ Gia_Man_t * Gia_ManDupCofAllInt( Gia_Man_t * p, Vec_Int_t * vSigs, int fVerbose
         if ( fVerbose )
             printf( "Cofactored variable %d.\n", iVar );
         if ( fVerbose )
-            Gia_ManPrintStats( pAig, 0, 0 );
+            Gia_ManPrintStats( pAig, 0, 0, 0 );
     }
     Vec_IntFree( vSigsNew );
     return pAig;
diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c
index 9454fa8e..fc13f87c 100644
--- a/src/aig/gia/giaEquiv.c
+++ b/src/aig/gia/giaEquiv.c
@@ -1665,7 +1665,7 @@ int Gia_CommandSpecI( Gia_Man_t * pGia, int nFramesInit, int nBTLimitInit, int f
     }
     // (spech)*  where spech = &srm; restore save3; bmc2 -F 100 -C 25000; &resim
     Gia_ManCleanMark0( pGia );
-    Gia_ManPrintStats( pGia, 0, 0 );
+    Gia_ManPrintStats( pGia, 0, 0, 0 );
     for ( nIter = 0; ; nIter++ )
     {
         if ( Gia_ManHasNoEquivs(pGia) )
diff --git a/src/aig/gia/giaFrames.c b/src/aig/gia/giaFrames.c
index 8bb4a144..a62d17ca 100644
--- a/src/aig/gia/giaFrames.c
+++ b/src/aig/gia/giaFrames.c
@@ -950,7 +950,7 @@ Gia_Man_t * Gia_ManFramesInitSpecial( Gia_Man_t * pAig, int nFrames, int fVerbos
         if ( fVerbose && (f % 100 == 0) )
         {
             printf( "%6d : ", f );
-            Gia_ManPrintStats( pFrames, 0, 0 );
+            Gia_ManPrintStats( pFrames, 0, 0, 0 );
         }
         Gia_ManForEachRo( pAig, pObj, i )
             pObj->Value = f ? Gia_ObjRoToRi( pAig, pObj )->Value : 0;
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index 3faaa871..8e1bc7e2 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -292,7 +292,7 @@ void Gia_ManPrintChoiceStats( Gia_Man_t * p )
   SeeAlso     []
 
 ***********************************************************************/
-void Gia_ManPrintStats( Gia_Man_t * p, int fTents, int fSwitch )
+void Gia_ManPrintStats( Gia_Man_t * p, int fTents, int fSwitch, int fCut )
 {
     if ( p->pName )
         printf( "%-8s : ", p->pName );
@@ -303,8 +303,8 @@ void Gia_ManPrintStats( Gia_Man_t * p, int fTents, int fSwitch )
         printf( "  ff =%7d", Gia_ManRegNum(p) );
     printf( "  and =%8d", Gia_ManAndNum(p) );
     printf( "  lev =%5d", Gia_ManLevelNum(p) ); Vec_IntFreeP( &p->vLevels );
-    if ( p->nPinTypes == 0 )
-    printf( "  cut = %d(%d)", Gia_ManCrossCut(p, 0), Gia_ManCrossCut(p, 1) );
+    if ( fCut && p->nPinTypes == 0 )
+        printf( "  cut = %d(%d)", Gia_ManCrossCut(p, 0), Gia_ManCrossCut(p, 1) );
 //    printf( "  mem =%5.2f MB", 1.0*(sizeof(Gia_Obj_t)*p->nObjs + sizeof(int)*(Vec_IntSize(p->vCis) + Vec_IntSize(p->vCos)))/(1<<20) );
     printf( "  mem =%5.2f MB", 1.0*(sizeof(Gia_Obj_t)*p->nObjsAlloc + sizeof(int)*(Vec_IntCap(p->vCis) + Vec_IntCap(p->vCos)))/(1<<20) );
     if ( Gia_ManHasDangling(p) )