From 6e2ee1d30accf7e7da6277b25594b384e8364308 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 9 Aug 2013 22:13:13 -0700
Subject: Integrated buffering and sizing.

---
 src/map/scl/sclSize.c | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'src/map/scl/sclSize.c')

diff --git a/src/map/scl/sclSize.c b/src/map/scl/sclSize.c
index 122c8b56..8b321328 100644
--- a/src/map/scl/sclSize.c
+++ b/src/map/scl/sclSize.c
@@ -446,12 +446,12 @@ void Abc_SclTimeIncCheckLevel( Abc_Ntk_t * pNtk )
         if ( (int)pObj->Level != Abc_ObjLevelNew(pObj) )
             printf( "Level of node %d is out of date!\n", i );
 }
-void Abc_SclTimeIncUpdate( SC_Man * p )
+int Abc_SclTimeIncUpdate( SC_Man * p )
 {
     Abc_Obj_t * pObj;
-    int i;
+    int i, RetValue;
     if ( Vec_IntSize(p->vChanged) == 0 )
-        return;
+        return 0;
 //    Abc_SclTimeIncCheckLevel( p->pNtk );
     Abc_NtkForEachObjVec( p->vChanged, p->pNtk, pObj, i )
     {
@@ -464,7 +464,9 @@ void Abc_SclTimeIncUpdate( SC_Man * p )
     Abc_SclTimeIncUpdateArrival( p );
     Abc_SclTimeIncUpdateDeparture( p );
     Abc_SclTimeIncUpdateClean( p );
+    RetValue = p->nIncUpdates;
     p->nIncUpdates = 0;
+    return RetValue;
 }
 void Abc_SclTimeIncInsert( SC_Man * p, Abc_Obj_t * pObj )
 {
-- 
cgit v1.2.3