From da5e0785dfb98335bd49a13bf9e86e736fb931be Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 11 Nov 2006 08:01:00 -0800
Subject: Version abc61111

---
 src/opt/ret/retFlow.c | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/opt/ret/retFlow.c')

diff --git a/src/opt/ret/retFlow.c b/src/opt/ret/retFlow.c
index 9b8393f3..642a1f69 100644
--- a/src/opt/ret/retFlow.c
+++ b/src/opt/ret/retFlow.c
@@ -126,9 +126,12 @@ Vec_Ptr_t * Abc_NtkMaxFlow( Abc_Ntk_t * pNtk, int fForward, int fVerbose )
         printf( "Abc_NtkMaxFlow() error! The computed min-cut is not a cut!\n" );
 
     // report the results
+    if ( fVerbose )
+    {
     printf( "Latches = %6d. %s max-flow = %6d.  Min-cut = %6d.  ", 
         Abc_NtkLatchNum(pNtk), fForward? "Forward " : "Backward", Flow, Vec_PtrSize(vMinCut) );
 PRT( "Time", clock() - clk );
+    }
 
 //    Abc_NtkMaxFlowPrintCut( vMinCut );
     return vMinCut;
@@ -377,6 +380,15 @@ int Abc_NtkMaxFlowVerifyCut( Abc_Ntk_t * pNtk, Vec_Ptr_t * vMinCut, int fForward
                 return 0;
         }
     }
+/*
+    {
+        // count the volume of the cut
+        int Counter = 0;
+        Abc_NtkForEachObj( pNtk, pObj, i )
+            Counter += Abc_NodeIsTravIdCurrent( pObj );
+        printf( "Volume = %d.\n", Counter );
+    }
+*/
     return 1;
 }
 
-- 
cgit v1.2.3