diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-29 11:57:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-29 11:57:25 -0700 |
| commit | 1f16b97c89dc85ff088831c077199993251d83ff (patch) | |
| tree | 3c22a6ad0215c251389ce0b19a7fa7590840dc93 /src/aig/gia | |
| parent | 738619980a251676ef7f6e9198cc1df15df2f6df (diff) | |
| download | abc-1f16b97c89dc85ff088831c077199993251d83ff.tar.gz abc-1f16b97c89dc85ff088831c077199993251d83ff.tar.bz2 abc-1f16b97c89dc85ff088831c077199993251d83ff.zip | |
Changing default values.
Diffstat (limited to 'src/aig/gia')
| -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 081ad9d7..b9ab2733 100644 --- a/src/aig/gia/giaBalance.c +++ b/src/aig/gia/giaBalance.c @@ -491,7 +491,7 @@ void Dam_ManCreatePairs( Dam_Man_t * p, int fVerbose ) Dam_ManCollectSets( p ); vSuper = p->pGia->vSuper; vDivs = Vec_IntAlloc( Gia_ManObjNum(p->pGia) ); - vHash = Hash_IntManStart( Gia_ManObjNum(p->pGia) ); + vHash = Hash_IntManStart( Gia_ManObjNum(p->pGia)/2 ); Dam_ManCreateMultiRefs( p, &vRefsAnd, &vRefsXor ); Gia_ManForEachAnd( p->pGia, pObj, i ) { @@ -537,8 +537,9 @@ void Dam_ManCreatePairs( Dam_Man_t * p, int fVerbose ) } Vec_IntFree( vRefsAnd ); Vec_IntFree( vRefsXor ); +// Hash_IntManProfile( vHash ); // remove entries that appear only once - p->vHash = Hash_IntManStart( 2 * nDivsUsed ); + 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) ); |