CVC3  2.4.1
Public Attributes | List of all members
CSolverParameters Struct Reference

#include <xchaff_solver.h>

Public Attributes

float time_limit
int decision_strategy
int preprocess_strategy
bool allow_clause_deletion
int clause_deletion_interval
int max_unrelevance
int min_num_clause_lits_for_delete
int max_conflict_clause_length
int bubble_init_step
int verbosity
int randomness
bool allow_restart
float next_restart_time
float restart_time_increment
float restart_time_incr_incr
int next_restart_backtrack
int restart_backtrack_incr
int restart_backtrack_incr_incr
int restart_randomness
int base_randomness
bool back_track_complete
int conflict_analysis_method
bool allow_multiple_conflict
bool allow_multiple_conflict_clause

Detailed Description

Struct**********************************************************************

Synopsis [Sat solver parameters ]

Description []

SeeAlso []

Definition at line 77 of file xchaff_solver.h.

Member Data Documentation

float CSolverParameters::time_limit

Definition at line 78 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), CSolver::set_time_limit(), and CSolver::time_out().

int CSolverParameters::decision_strategy

Definition at line 80 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::set_decision_strategy().

int CSolverParameters::preprocess_strategy

Definition at line 81 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::set_preprocess_strategy().

bool CSolverParameters::allow_clause_deletion
int CSolverParameters::clause_deletion_interval
int CSolverParameters::max_unrelevance
int CSolverParameters::min_num_clause_lits_for_delete
int CSolverParameters::max_conflict_clause_length
int CSolverParameters::bubble_init_step

Definition at line 88 of file xchaff_solver.h.

Referenced by CSolver::CSolver().

int CSolverParameters::verbosity
int CSolverParameters::randomness
bool CSolverParameters::allow_restart

Definition at line 93 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

float CSolverParameters::next_restart_time

Definition at line 94 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

float CSolverParameters::restart_time_increment

Definition at line 95 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

float CSolverParameters::restart_time_incr_incr

Definition at line 96 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

int CSolverParameters::next_restart_backtrack

Definition at line 97 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

int CSolverParameters::restart_backtrack_incr

Definition at line 98 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

int CSolverParameters::restart_backtrack_incr_incr

Definition at line 99 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

int CSolverParameters::restart_randomness

Definition at line 100 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

int CSolverParameters::base_randomness
bool CSolverParameters::back_track_complete
int CSolverParameters::conflict_analysis_method

Definition at line 104 of file xchaff_solver.h.

bool CSolverParameters::allow_multiple_conflict

Definition at line 105 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::set_allow_multiple_conflict().

bool CSolverParameters::allow_multiple_conflict_clause

The documentation for this struct was generated from the following file: