diff options
Diffstat (limited to 'src/sat/bsat/satSolver.h')
| -rw-r--r-- | src/sat/bsat/satSolver.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h index 8e171031..89391d2d 100644 --- a/src/sat/bsat/satSolver.h +++ b/src/sat/bsat/satSolver.h @@ -234,6 +234,13 @@ static void sat_solver_prepare_enum(sat_solver* s, int * pVars, int nVars ) for ( v = 0; v < nVars; v++ ) veci_push(&s->vDeciVars,pVars[v]); } +static void sat_solver_clean_polarity(sat_solver* s, int * pVars, int nVars ) +{ + int i; + assert( veci_size(&s->vDeciVars) == 0 ); + for ( i = 0; i < nVars; i++ ) + s->polarity[pVars[i]] = 0; +} static int sat_solver_final(sat_solver* s, int ** ppArray) { |