From 1f16b97c89dc85ff088831c077199993251d83ff Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 29 Sep 2013 11:57:25 -0700 Subject: Changing default values. --- src/aig/gia/giaBalance.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/aig/gia/giaBalance.c') 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) ); -- cgit v1.2.3