#include <clasp/solver.h>#include <clasp/pod_vector.h>#include <clasp/util/indexed_priority_queue.h>#include <list>
Include dependency graph for heuristics.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | Clasp::ClaspBerkmin |
| A variant of the BerkMin decision heuristic from the BerkMin Sat-Solver. More... | |
| class | Clasp::ClaspVmtf |
| Variable Move To Front decision strategies inspired by Siege. More... | |
| class | Clasp::ClaspVsids_t< ScoreType > |
| A variable state independent decision heuristic favoring variables that were active in recent conflicts. More... | |
| struct | Clasp::ClaspVsids_t< ScoreType >::CmpScore |
| struct | Clasp::ClaspBerkmin::Order::Compare |
| struct | Clasp::DomainHeuristic::DomAction |
| class | Clasp::DomainHeuristic |
| A VSIDS heuristic supporting additional domain knowledge. More... | |
| struct | Clasp::DomainHeuristic::DomEntry |
| struct | Clasp::DomainHeuristic::DomPrio |
| struct | Clasp::DomScore |
| Score type for DomainHeuristic. More... | |
| struct | Clasp::DomainHeuristic::Frame |
| struct | Clasp::HeuParams |
| struct | Clasp::ClaspBerkmin::HScore |
| struct | Clasp::ClaspVmtf::LessLevel |
| struct | Clasp::ClaspBerkmin::Order |
| struct | Clasp::ClaspVmtf::VarInfo |
| struct | Clasp::VsidsScore |
| Score type for VSIDS heuristic. More... | |
Namespaces | |
| namespace | Clasp |
Typedefs | |
| typedef ClaspVsids_t< VsidsScore > | Clasp::ClaspVsids |
Functions | |
| uint32 | Clasp::momsScore (const Solver &s, Var v) |
| Computes a moms-like score for var v. | |
Detailed Description
Defines various decision heuristics to be used in clasp.
Definition in file heuristics.h.