CVC3
|
#include <minisat_solver.h>
Public Member Functions | |
SearchParams (double v=1, double c=1, double r=0) | |
Public Attributes | |
double | var_decay |
double | clause_decay |
double | random_var_freq |
Definition at line 193 of file minisat_solver.h.
|
inline |
Definition at line 195 of file minisat_solver.h.
double MiniSat::SearchParams::var_decay |
Definition at line 194 of file minisat_solver.h.
Referenced by MiniSat::Solver::search().
double MiniSat::SearchParams::clause_decay |
Definition at line 194 of file minisat_solver.h.
Referenced by MiniSat::Solver::search().
double MiniSat::SearchParams::random_var_freq |
Definition at line 194 of file minisat_solver.h.
Referenced by MiniSat::Solver::propLookahead(), and MiniSat::Solver::search().