Parameter-Object for grouping solve-related options. More...
#include <solver_strategies.h>
Classes | |
| struct | FwdCheck |
Public Member Functions | |
| uint32 | prepare (bool withLookback) |
| bool | randomize (Solver &s) const |
| SolveParams () | |
| Creates a default-initialized object. | |
Public Attributes | |
| struct Clasp::SolveParams::FwdCheck | fwdCheck |
| uint32 | randConf:16 |
| float | randProb |
| uint32 | randRuns:16 |
| ReduceParams | reduce |
| RestartParams | restart |
Parameter-Object for grouping solve-related options.
Definition at line 304 of file solver_strategies.h.
Creates a default-initialized object.
The following parameters are used: restart : quadratic: 100*1.5^k / no restarts after first solution deletion : initial size: vars()/3, grow factor: 1.1, max factor: 3.0, do not reduce on restart randomization: disabled randomProp : 0.0 (disabled)
Definition at line 213 of file solver_strategies.cpp.
| uint32 Clasp::SolveParams::prepare | ( | bool | withLookback | ) |
Definition at line 217 of file solver_strategies.cpp.
| bool Clasp::SolveParams::randomize | ( | Solver & | s | ) | const |
Definition at line 220 of file solver_strategies.cpp.
| uint32 Clasp::SolveParams::randConf |
Number of conflicts comprising one randomized-run.
Definition at line 319 of file solver_strategies.h.
Use random heuristic with given probability ([0,1])
Definition at line 320 of file solver_strategies.h.
| uint32 Clasp::SolveParams::randRuns |
Number of initial randomized-runs.
Definition at line 318 of file solver_strategies.h.
Definition at line 317 of file solver_strategies.h.
Definition at line 316 of file solver_strategies.h.