#include "qecode.hh"#include <cstdlib>#include <vector>#include <list>#include <stack>#include "extensivecomparator.hh"#include "heap.cc"#include "gecode/minimodel.hh"#include "vartype.hh"Include dependency graph for qecore.hh:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | QSpace |
| Base class for a quantified space. Base class for a quantified space (with restricted quantifiers or not). The array v has to be kept up-to-date by the copy constructor of any descendant of this class. More... | |
| class | VariableHeuristic |
| Base class for variable heuristics. Variable heuristics are used by the branching heuristic to define the current score of each variable, and branch on the variable which have the biggest score. More... | |
| class | BranchingHeuristic |
| Branching heurstic for a quantified space. Branching heuristic using a score attribuer to give the next variable. This branching heuristic keeps trace of the variables on which we have branched, and so requires a backtrack signal (send by the solver using its backtrack method). The next variable musi be (and is) chosen respect to the variables partial order in the prefix. Heaps are used to provide the next variable in logarithmic time. Variables declared as subsumed are ignored by the branching heuristic. More... | |
Typedefs | |
| typedef Heap< ExtensiveComparator > | cheap |
| typedef stack< int > | stackint |
| typedef Heap<ExtensiveComparator> cheap |
1.5.2