#include <clasp/solver_types.h>#include <clasp/solver_strategies.h>#include <clasp/shared_context.h>
Include dependency graph for solver.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| struct | Clasp::Solver::CmpScore |
| struct | Clasp::Solver::DBInfo |
| class | Clasp::DecisionHeuristic |
| Base class for decision heuristics to be used in a Solver. More... | |
| struct | Clasp::Solver::DecisionLevels |
| struct | Clasp::Solver::DLevel |
| struct | Clasp::Solver::PPList |
| struct | Clasp::SearchLimits |
| Parameter-Object for managing search limits. More... | |
| class | Clasp::SelectFirst |
| Selects the first free literal w.r.t to the initial variable order. More... | |
| class | Clasp::Solver |
| clasp's Solver class. More... | |
Namespaces | |
| namespace | Clasp |
Functions | |
| bool | Clasp::isRevLit (const Solver &s, Literal p, uint32 maxL) |
| template<class C > | |
| void | Clasp::simplifyDB (Solver &s, C &db, bool shuffle) |