diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-30 12:02:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-30 12:02:30 -0700 |
| commit | 51d5055e68f5eb0e4ee222c8ffe20c00e1cd1b0f (patch) | |
| tree | 5041e20d4843b14a9f3088fc83ba2e255588e717 /src/sat/bsat/satSolver2.c | |
| parent | a22db31d6de27dfd1f8de47a4fa425372f4a1d0d (diff) | |
| download | abc-51d5055e68f5eb0e4ee222c8ffe20c00e1cd1b0f.tar.gz abc-51d5055e68f5eb0e4ee222c8ffe20c00e1cd1b0f.tar.bz2 abc-51d5055e68f5eb0e4ee222c8ffe20c00e1cd1b0f.zip | |
Saving variable activity during rollback.
Diffstat (limited to 'src/sat/bsat/satSolver2.c')
| -rw-r--r-- | src/sat/bsat/satSolver2.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c index c6da6237..47c7b72f 100644 --- a/src/sat/bsat/satSolver2.c +++ b/src/sat/bsat/satSolver2.c @@ -1562,7 +1562,10 @@ void sat_solver2_rollback( sat_solver2* s ) if ( s->iVarPivot < s->size ) { if ( s->activity2 ) + { + s->var_inc = s->var_inc2; memcpy( s->activity, s->activity2, sizeof(unsigned) * s->iVarPivot ); + } veci_resize(&s->order, 0); for ( i = 0; i < s->iVarPivot; i++ ) { |