#include <minisat_solver.h>
Collaboration diagram for MiniSat::SearchParams:
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 |
Detailed Description
Definition at line 193 of file minisat_solver.h.
Constructor & Destructor Documentation
|
inline |
Definition at line 195 of file minisat_solver.h.
Member Data Documentation
| 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().
The documentation for this struct was generated from the following file:
