diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 21:46:25 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 21:46:25 +0700 |
commit | 8eb5d1896a82ef9d1d5e0f25bb6f23e29e9e2ada (patch) | |
tree | a2b3c90fa593c3dfb094000496f1a733c5c02e14 /src/opt/sbd/sbdWin.c | |
parent | 01924ca118cad9bc8bf84de0525e54f5c4a832ec (diff) | |
download | abc-8eb5d1896a82ef9d1d5e0f25bb6f23e29e9e2ada.tar.gz abc-8eb5d1896a82ef9d1d5e0f25bb6f23e29e9e2ada.tar.bz2 abc-8eb5d1896a82ef9d1d5e0f25bb6f23e29e9e2ada.zip |
Updates to delay optimization project.
Diffstat (limited to 'src/opt/sbd/sbdWin.c')
-rw-r--r-- | src/opt/sbd/sbdWin.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/opt/sbd/sbdWin.c b/src/opt/sbd/sbdWin.c index b62332d1..069a4125 100644 --- a/src/opt/sbd/sbdWin.c +++ b/src/opt/sbd/sbdWin.c @@ -360,6 +360,7 @@ void Sbd_ManSolverPrint( Vec_Int_t * vSop ) } Cube[pInds[Abc_Lit2Var(Entry)]] = '1' - (char)Abc_LitIsCompl(Entry); } + Supp = 0; } void Sbd_ManSolveSelect( Gia_Man_t * p, Vec_Int_t * vMirrors, int Pivot, Vec_Int_t * vDivVars, Vec_Int_t * vDivValues, Vec_Int_t * vWinObjs, Vec_Int_t * vObj2Var, Vec_Int_t * vTfo, Vec_Int_t * vRoots ) { @@ -378,6 +379,7 @@ void Sbd_ManSolveSelect( Gia_Man_t * p, Vec_Int_t * vMirrors, int Pivot, Vec_Int word Supp = Sbd_ManSolverSupp( vSop, pInds, &nVars ); //Sbd_ManSolverPrint( vSop ); printf( "SAT with %d vars and %d cubes.\n", nVars, Vec_IntCountEntry(vSop, -1) ); + Supp = 0; } Vec_IntFree( vTemp ); Vec_IntFree( vSop ); |