From b096809458a4f8fd458a509c2ea38e9e9025f259 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 20 Feb 2013 23:22:01 -0800 Subject: Integrating sweeping information. --- src/misc/tim/timMan.c | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) (limited to 'src/misc/tim') diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c index 3ec2d8ac..a4e95e31 100644 --- a/src/misc/tim/timMan.c +++ b/src/misc/tim/timMan.c @@ -168,12 +168,13 @@ Tim_Man_t * Tim_ManTrim( Tim_Man_t * p, Vec_Int_t * vBoxPres ) // count the number of CIs and COs in the trimmed manager nNewCis = Tim_ManPiNum(p); nNewCos = Tim_ManPoNum(p); - Tim_ManForEachBox( p, pBox, i ) - if ( Vec_IntEntry(vBoxPres, i) ) - { - nNewCis += pBox->nOutputs; - nNewCos += pBox->nInputs; - } + if ( Tim_ManBoxNum(p) ) + Tim_ManForEachBox( p, pBox, i ) + if ( Vec_IntEntry(vBoxPres, i) ) + { + nNewCis += pBox->nOutputs; + nNewCos += pBox->nInputs; + } if ( nNewCis == Tim_ManCiNum(p) && nNewCos == Tim_ManCoNum(p) ) return Tim_ManDup( p, 0 ); assert( nNewCis < Tim_ManCiNum(p) ); @@ -494,7 +495,7 @@ void Tim_ManPrintStats( Tim_Man_t * p ) int i, Count, IdMax; if ( p == NULL ) return; - Abc_Print( 1, "hierarchy : " ); + Abc_Print( 1, "Hierarchy : " ); printf( "PI/CI = %d/%d PO/CO = %d/%d Box = %d", Tim_ManPiNum(p), Tim_ManCiNum(p), Tim_ManPoNum(p), Tim_ManCoNum(p), -- cgit v1.2.3