From 49ac3c52604bb7d14495be0f9031a11244e2dad7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 29 Sep 2013 16:26:40 -0700 Subject: Updating logic extraction. --- src/aig/gia/giaBalance.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/aig/gia/giaBalance.c b/src/aig/gia/giaBalance.c index 3930bb08..8fbf63aa 100644 --- a/src/aig/gia/giaBalance.c +++ b/src/aig/gia/giaBalance.c @@ -772,7 +772,8 @@ int Dam_ManUpdateNode( Dam_Man_t * p, int iObj, int iLit0, int iLit1, int iLitNe if ( Num > 0 ) { Vec_FltAddToEntry( p->vCounts, Num, -1 ); - Vec_QueUpdate( p->vQue, Num ); + if ( Vec_QueIsMember(p->vQue, Num) ) + Vec_QueUpdate( p->vQue, Num ); fPres |= (1 << c); } } @@ -826,7 +827,7 @@ void Dam_ManUpdate( Dam_Man_t * p, int iDiv ) Vec_IntFillExtra( p->vNodStore, Vec_IntSize(p->vNodStore) + nRefs, -1 ); pPairsNew++; } - printf( "Added %d new pairs\n", pPairsNew ); +// printf( "Added %d new pairs\n", pPairsNew ); // fill in the divisors iNode = -1; Vec_IntForEachEntry( vDivs, iDivTemp, i ) -- cgit v1.2.3