diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-02 14:36:33 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-02 14:36:33 -0700 |
commit | 7b99370e0a5326408ec4f3f3d8200f35717054fa (patch) | |
tree | c77c54275c9a756d6a04f8586b363b637fd2d85e /src/aig | |
parent | f2fab57936c88b1274685a6be928eea943f86dbf (diff) | |
download | abc-7b99370e0a5326408ec4f3f3d8200f35717054fa.tar.gz abc-7b99370e0a5326408ec4f3f3d8200f35717054fa.tar.bz2 abc-7b99370e0a5326408ec4f3f3d8200f35717054fa.zip |
Changing default values.
Diffstat (limited to 'src/aig')
-rw-r--r-- | src/aig/gia/giaBalance.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaBalance.c b/src/aig/gia/giaBalance.c index 3aa17845..cdf36e7a 100644 --- a/src/aig/gia/giaBalance.c +++ b/src/aig/gia/giaBalance.c @@ -568,7 +568,7 @@ void Dam_ManCreatePairs( Dam_Man_t * p, int fVerbose ) p->vHash = Hash_IntManStart( 3 * nDivsUsed /2 ); p->vCounts = Vec_FltAlloc( 2 * nDivsUsed ); Vec_FltPush( p->vCounts, ABC_INFINITY ); p->vQue = Vec_QueAlloc( Vec_FltCap(p->vCounts) ); - Vec_QueSetCosts( p->vQue, Vec_FltArrayP(p->vCounts) ); + Vec_QueSetPriority( p->vQue, Vec_FltArrayP(p->vCounts) ); // mapping div to node p->vDiv2Nod = Vec_IntAlloc( 2 * nDivsUsed ); Vec_IntPush( p->vDiv2Nod, ABC_INFINITY ); p->vNodStore = Vec_IntAlloc( Gia_ManObjNum(p->pGia) ); Vec_IntPush( p->vNodStore, -1 ); @@ -907,7 +907,7 @@ Gia_Man_t * Dam_ManMultiExtractInt( Gia_Man_t * pGia, int nNewNodesMax, int fVer int i, iDiv; p = Dam_ManAlloc( pGia ); Dam_ManCreatePairs( p, fVerbose ); - for ( i = 0; i < nNewNodesMax && Vec_QueTopCost(p->vQue) > 2; i++ ) + for ( i = 0; i < nNewNodesMax && Vec_QueTopPriority(p->vQue) >= 2; i++ ) { iDiv = Vec_QuePop(p->vQue); if ( fVeryVerbose ) |