diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-01 11:04:28 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-01 11:04:28 +0700 |
| commit | 4b20003e0cdec5d4d88ecf360c806e786272ab39 (patch) | |
| tree | 2c3ec6dd1bd8dfd37a2a01105aa0383b9030b87f /src/opt/sbd/sbdCore.c | |
| parent | 1fef441a0dfde7887c18d218749c0f8d2d75f5ee (diff) | |
| download | abc-4b20003e0cdec5d4d88ecf360c806e786272ab39.tar.gz abc-4b20003e0cdec5d4d88ecf360c806e786272ab39.tar.bz2 abc-4b20003e0cdec5d4d88ecf360c806e786272ab39.zip | |
Updates to delay optimization project.
Diffstat (limited to 'src/opt/sbd/sbdCore.c')
| -rw-r--r-- | src/opt/sbd/sbdCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sbd/sbdCore.c b/src/opt/sbd/sbdCore.c index fa4cbc82..f8af9a4a 100644 --- a/src/opt/sbd/sbdCore.c +++ b/src/opt/sbd/sbdCore.c @@ -366,8 +366,8 @@ void Sbd_ManUpdateOrder( Sbd_Man_t * p, int Pivot ) assert( Vec_IntEntry(p->vLutLevs, Vec_IntEntry(p->vWinObjs, Node)) == LevelMax - 2 ); Vec_IntForEachEntryStop( p->vDivVars, Node, i, p->DivCutoff ) assert( Vec_IntEntry(p->vLutLevs, Vec_IntEntry(p->vWinObjs, Node)) < LevelMax - 2 ); - Vec_IntFill( p->vDivValues, Vec_IntSize(p->vDivVars), 0 ); */ + Vec_IntFill( p->vDivValues, Vec_IntSize(p->vDivVars), 0 ); //printf( "%d ", Vec_IntSize(p->vDivVars) ); // printf( "Node %4d : Win = %5d. Divs = %5d. D1 = %5d. D2 = %5d.\n", // Pivot, Vec_IntSize(p->vWinObjs), Vec_IntSize(p->vDivVars), Vec_IntSize(p->vDivVars)-p->DivCutoff, p->DivCutoff ); |