diff options
Diffstat (limited to 'src/sat/bsat/satSolver.c')
| -rw-r--r-- | src/sat/bsat/satSolver.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index b9ab0740..815626ad 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -211,6 +211,19 @@ static inline int order_select(sat_solver* s, float random_var_freq) // selectv return var_Undef; } +void sat_solver_set_var_activity(sat_solver* s, int * pVars, int nVars) +{ + int i; + for (i = 0; i < s->size; i++) + s->activity[i] = 0; + s->var_inc = 1; + for ( i = 0; i < nVars; i++ ) + { + s->activity[pVars[i]] = nVars-i; + order_update( s, pVars[i] ); + } +} + //================================================================================================= // Activity functions: |