Skip to content

A
abc
Commit cb845d44 by Alan Mishchenko
Options

Changing default values.

parent 846da1d2
Showing with 8 additions and 7 deletions
src/base/abci/abcFx.c
...@@ -412,13 +412,14 @@ void Fx_ManComputeLevel( Fx_Man_t * p ) ...@@ -412,13 +412,14 @@ void Fx_ManComputeLevel( Fx_Man_t * p )
p->vLevels = Vec_IntStart( p->nVars ); p->vLevels = Vec_IntStart( p->nVars );
Vec_WecForEachLevel( p->vCubes, vCube, i ) Vec_WecForEachLevel( p->vCubes, vCube, i )
{ {
Vec_IntUpdateEntry( p->vLevels, Vec_IntEntry(vCube, 0), Fx_ManComputeLevelCube(p, vCube) ); if ( iVar != Vec_IntEntry(vCube, 0) )
if ( iVar == Vec_IntEntry(vCube, 0) ) {
continue; // add the number of cubes
// add the number of cubes Vec_IntAddToEntry( p->vLevels, iVar, i - iFirst );
Vec_IntAddToEntry( p->vLevels, iVar, i - iFirst ); iVar = Vec_IntEntry(vCube, 0);
iVar = Vec_IntEntry(vCube, 0); iFirst = i;
iFirst = i; }
Vec_IntUpdateEntry( p->vLevels, iVar, Fx_ManComputeLevelCube(p, vCube) );
} }
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment