From 369f008e69a4f201cbc7c890a08221086bee4698 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 30 Nov 2007 08:01:00 -0800 Subject: Version abc71130 --- src/sat/bsat/satSolver.h | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'src/sat') diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h index 542b9895..ca2954d2 100644 --- a/src/sat/bsat/satSolver.h +++ b/src/sat/bsat/satSolver.h @@ -188,4 +188,22 @@ struct sat_solver_t int nRoots; }; +static int sat_solver_var_value( sat_solver* s, int v ) +{ + assert( s->model.ptr != NULL && v < s->size ); + return (int)(s->model.ptr[v] == l_True); +} +static int sat_solver_var_literal( sat_solver* s, int v ) +{ + assert( s->model.ptr != NULL && v < s->size ); + return toLitCond( v, s->model.ptr[v] != l_True ); +} +static void sat_solver_act_var_clear(sat_solver* s) +{ + int i; + for (i = 0; i < s->size; i++) + s->activity[i] = 0.0; + s->var_inc = 1.0; +} + #endif -- cgit v1.2.3