diff options
Diffstat (limited to 'src/sat/bsat/satSolver.h')
-rw-r--r-- | src/sat/bsat/satSolver.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h index d328e6d5..8e171031 100644 --- a/src/sat/bsat/satSolver.h +++ b/src/sat/bsat/satSolver.h @@ -179,6 +179,9 @@ struct sat_solver_t // clause store void * pStore; int fSolved; + // decision variables + veci vDeciVars; + int iDeciVar; // trace recording FILE * pFile; @@ -223,6 +226,14 @@ static void sat_solver_compress(sat_solver* s) (void) RetValue; } } +static void sat_solver_prepare_enum(sat_solver* s, int * pVars, int nVars ) +{ + int v; + assert( veci_size(&s->vDeciVars) == 0 ); + veci_new(&s->vDeciVars); + for ( v = 0; v < nVars; v++ ) + veci_push(&s->vDeciVars,pVars[v]); +} static int sat_solver_final(sat_solver* s, int ** ppArray) { |