diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-01 11:01:47 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-01 11:01:47 +0700 |
| commit | 1fef441a0dfde7887c18d218749c0f8d2d75f5ee (patch) | |
| tree | 5841a2a7a3debc726a204273125ad831461c2733 /src/opt/sbd | |
| parent | 278c00242f7c3ca46858ece6682749cca06a5deb (diff) | |
| download | abc-1fef441a0dfde7887c18d218749c0f8d2d75f5ee.tar.gz abc-1fef441a0dfde7887c18d218749c0f8d2d75f5ee.tar.bz2 abc-1fef441a0dfde7887c18d218749c0f8d2d75f5ee.zip | |
Updates to delay optimization project.
Diffstat (limited to 'src/opt/sbd')
| -rw-r--r-- | src/opt/sbd/sbdCore.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/opt/sbd/sbdCore.c b/src/opt/sbd/sbdCore.c index a6ae8bbb..fa4cbc82 100644 --- a/src/opt/sbd/sbdCore.c +++ b/src/opt/sbd/sbdCore.c @@ -360,12 +360,14 @@ void Sbd_ManUpdateOrder( Sbd_Man_t * p, int Pivot ) if ( p->DivCutoff == -1 ) p->DivCutoff = 0; // verify +/* assert( Vec_IntSize(p->vDivVars) < 64 ); Vec_IntForEachEntryStart( p->vDivVars, Node, i, p->DivCutoff ) 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 ); +*/ //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 ); |