diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-30 13:39:14 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-30 13:39:14 -0700 |
| commit | cb845d4488af31b44e6913fff57c1c0b7bc52f55 (patch) | |
| tree | c1b5d70c934ae9f80e7d0dac56f8f376485ca279 | |
| parent | 846da1d2c73c5fe63f461ed1cfe6d0036cc521c9 (diff) | |
| download | abc-cb845d4488af31b44e6913fff57c1c0b7bc52f55.tar.gz abc-cb845d4488af31b44e6913fff57c1c0b7bc52f55.tar.bz2 abc-cb845d4488af31b44e6913fff57c1c0b7bc52f55.zip | |
Changing default values.
| -rw-r--r-- | src/base/abci/abcFx.c | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/src/base/abci/abcFx.c b/src/base/abci/abcFx.c index f54a9cd2..dd1128e9 100644 --- a/src/base/abci/abcFx.c +++ b/src/base/abci/abcFx.c @@ -412,13 +412,14 @@ void Fx_ManComputeLevel( Fx_Man_t * p ) p->vLevels = Vec_IntStart( p->nVars ); Vec_WecForEachLevel( p->vCubes, vCube, i ) { - Vec_IntUpdateEntry( p->vLevels, Vec_IntEntry(vCube, 0), Fx_ManComputeLevelCube(p, vCube) ); - if ( iVar == Vec_IntEntry(vCube, 0) ) - continue; - // add the number of cubes - Vec_IntAddToEntry( p->vLevels, iVar, i - iFirst ); - iVar = Vec_IntEntry(vCube, 0); - iFirst = i; + if ( iVar != Vec_IntEntry(vCube, 0) ) + { + // add the number of cubes + Vec_IntAddToEntry( p->vLevels, iVar, i - iFirst ); + iVar = Vec_IntEntry(vCube, 0); + iFirst = i; + } + Vec_IntUpdateEntry( p->vLevels, iVar, Fx_ManComputeLevelCube(p, vCube) ); } } |