diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-29 16:26:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-29 16:26:40 -0700 |
| commit | 49ac3c52604bb7d14495be0f9031a11244e2dad7 (patch) | |
| tree | ca69a6067f4fa6e5969862b15e76e59bc859ab5a | |
| parent | 462d4c52787d5a06471a5d151049c774ba78729a (diff) | |
| download | abc-49ac3c52604bb7d14495be0f9031a11244e2dad7.tar.gz abc-49ac3c52604bb7d14495be0f9031a11244e2dad7.tar.bz2 abc-49ac3c52604bb7d14495be0f9031a11244e2dad7.zip | |
Updating logic extraction.
| -rw-r--r-- | src/aig/gia/giaBalance.c | 5 |
1 files changed, 3 insertions, 2 deletions
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 ) |