#include <gecode/int.hh>
#include <gecode/int/view-val-graph/comb-ptr-flag.hpp>
#include <gecode/int/view-val-graph/bi-link.hpp>
#include <gecode/int/view-val-graph/edge.hpp>
#include <gecode/int/view-val-graph/node.hpp>
#include <gecode/int/view-val-graph/iter-prune-val.hpp>
#include <gecode/int/view-val-graph/graph.hpp>
Go to the source code of this file.
Classes | |
class | Gecode::Int::ViewValGraph::CombPtrFlag< T > |
Class for combining two pointers with a flag. More... | |
class | Gecode::Int::ViewValGraph::BiLink |
Bidirectional links for edges and anchors in nodes of view-value graph. More... | |
class | Gecode::Int::ViewValGraph::Edge< View > |
Edges in view-value graph. More... | |
class | Gecode::Int::ViewValGraph::Node< View > |
Base-class for nodes (both view and value nodes) More... | |
class | Gecode::Int::ViewValGraph::ValNode< View > |
Value nodes in view-value graph. More... | |
class | Gecode::Int::ViewValGraph::ViewNode< View > |
View nodes in view-value graph. More... | |
class | Gecode::Int::ViewValGraph::Edge< View > |
Edges in view-value graph. More... | |
class | Gecode::Int::ViewValGraph::IterPruneVal< View > |
Iterates the values to be pruned from a view node. More... | |
class | Gecode::Int::ViewValGraph::Graph< View > |
View-value graph base class. More... | |
Namespaces | |
Gecode::Int::ViewValGraph | |
Support classes for propagators using a view-value graph. | |
Gecode | |
Gecode toplevel namespace | |
Gecode::Int | |
Finite domain integers. | |