diff options
Diffstat (limited to 'src/sat/glucose/AbcGlucose.h')
| -rw-r--r-- | src/sat/glucose/AbcGlucose.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/sat/glucose/AbcGlucose.h b/src/sat/glucose/AbcGlucose.h index c0078845..e36b7a24 100644 --- a/src/sat/glucose/AbcGlucose.h +++ b/src/sat/glucose/AbcGlucose.h @@ -75,6 +75,8 @@ extern int bmcg_sat_solver_addvar( bmcg_sat_solver* s ); extern void bmcg_sat_solver_set_nvars( bmcg_sat_solver* s, int nvars ); extern int bmcg_sat_solver_eliminate( bmcg_sat_solver* s, int turn_off_elim ); extern int bmcg_sat_solver_var_is_elim( bmcg_sat_solver* s, int v ); +extern void bmcg_sat_solver_var_set_frozen( bmcg_sat_solver* s, int v, int freeze ); +extern int bmcg_sat_solver_elim_varnum(bmcg_sat_solver* s); extern int bmcg_sat_solver_read_cex_varvalue( bmcg_sat_solver* s, int ); extern void bmcg_sat_solver_set_stop( bmcg_sat_solver* s, int * pstop ); extern abctime bmcg_sat_solver_set_runtime_limit( bmcg_sat_solver* s, abctime Limit ); |