From 3d5744f8477496fad439d31f2cc63ea2a3e31f37 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 30 Sep 2013 12:00:50 -0700 Subject: Changing default values. --- src/aig/gia/giaBalance.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/aig/gia/giaBalance.c b/src/aig/gia/giaBalance.c index b34d6cfd..32cba22c 100644 --- a/src/aig/gia/giaBalance.c +++ b/src/aig/gia/giaBalance.c @@ -853,7 +853,7 @@ void Dam_ManUpdate( Dam_Man_t * p, int iDiv ) nRefs = Hash_IntObjData2(p->vHash, i); if ( nRefs < 2 ) continue; - Vec_FltWriteEntry( p->vCounts, i, nRefs + 0.001*Dam_ManDivSlack(p, Hash_IntObjData0(p->vHash, i), Hash_IntObjData1(p->vHash, i), Vec_IntEntry(p->vDivLevR, i)) ); + Vec_FltWriteEntry( p->vCounts, i, nRefs + 0.0001*Dam_ManDivSlack(p, Hash_IntObjData0(p->vHash, i), Hash_IntObjData1(p->vHash, i), Vec_IntEntry(p->vDivLevR, i)) ); Vec_QuePush( p->vQue, i ); // remember divisors Vec_IntWriteEntry( p->vDiv2Nod, i, Vec_IntSize(p->vNodStore) ); -- cgit v1.2.3