#include <clasp/heuristics.h>#include <clasp/dependency_graph.h>#include <clasp/enumerator.h>#include <clasp/clause.h>#include <algorithm>#include <limits>#include <cstdlib>#include <string>#include <utility>
Include dependency graph for heuristics.cpp:
Go to the source code of this file.
Classes | |
| struct | Clasp::DomainHeuristic::CmpSymbol |
| class | Clasp::DomainHeuristic::DomMinimize |
Namespaces | |
| namespace | Clasp |
Defines | |
| #define | BERK_CACHE_GROW 2.0 |
| #define | BERK_MAX_DECAY 65534 |
| #define | BERK_MAX_MOMS_DECS 50 |
| #define | BERK_MAX_MOMS_VARS 9999 |
| #define | BERK_NUM_CANDIDATES 5 |
Functions | |
| uint32 | Clasp::momsScore (const Solver &s, Var v) |
| Computes a moms-like score for var v. | |
Define Documentation
| #define BERK_CACHE_GROW 2.0 |
Definition at line 53 of file heuristics.cpp.
| #define BERK_MAX_DECAY 65534 |
Definition at line 56 of file heuristics.cpp.
| #define BERK_MAX_MOMS_DECS 50 |
Definition at line 55 of file heuristics.cpp.
| #define BERK_MAX_MOMS_VARS 9999 |
Definition at line 54 of file heuristics.cpp.
| #define BERK_NUM_CANDIDATES 5 |
Definition at line 52 of file heuristics.cpp.