Include dependency graph for solver_strategies.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | Clasp::BasicSatConfig |
| class | Clasp::Configuration |
| Interface for configuring a SharedContext object and its associated solvers. More... | |
| struct | Clasp::ContextParams |
| Parameters for a SharedContext object. More... | |
| struct | Clasp::SolveParams::FwdCheck |
| struct | Clasp::Heuristic_t |
| Simple factory for decision heuristics. More... | |
| struct | Clasp::ReduceParams |
| Aggregates parameters for the nogood deletion heuristic used during search. More... | |
| struct | Clasp::ReduceStrategy |
| Reduce strategy used during solving. More... | |
| struct | Clasp::RestartParams |
| Aggregates restart-parameters to configure restarts during search. More... | |
| struct | Clasp::SatPreParams |
| Parameters for (optional) Sat-preprocessing. More... | |
| struct | Clasp::ScheduleStrategy |
| Implements clasp's configurable schedule-strategies. More... | |
| struct | Clasp::SolveParams |
| Parameter-Object for grouping solve-related options. More... | |
| struct | Clasp::SolverParams |
| Parameter-Object for configuring a solver. More... | |
| struct | Clasp::SolverStrategies |
| class | Clasp::UserConfiguration |
| Base class for user-provided configurations. More... | |
Namespaces | |
| namespace | Clasp |
Typedefs | |
| typedef Range< uint32 > | Clasp::Range32 |
Functions | |
| double | Clasp::addR (uint32 idx, double a) |
| double | Clasp::growR (uint32 idx, double g) |
| uint32 | Clasp::log2 (uint32 x) |
| uint32 | Clasp::lubyR (uint32 idx) |
Detailed Description
Contains strategies and options used to configure solvers and search.
Definition in file solver_strategies.h.