diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-30 12:00:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-30 12:00:50 -0700 |
| commit | 3d5744f8477496fad439d31f2cc63ea2a3e31f37 (patch) | |
| tree | 961c82d8e9f58d9f9467e046fcd2d59f5cdd88cf /src | |
| parent | e34251060e67d6d051f5a8948d12e6afaaf586c6 (diff) | |
| download | abc-3d5744f8477496fad439d31f2cc63ea2a3e31f37.tar.gz abc-3d5744f8477496fad439d31f2cc63ea2a3e31f37.tar.bz2 abc-3d5744f8477496fad439d31f2cc63ea2a3e31f37.zip | |
Changing default values.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaBalance.c | 2 |
1 files changed, 1 insertions, 1 deletions
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) ); |