dom.hpp File Reference
(Revision: 9909)
#include <climits>
#include <gecode/int/distinct/combptr.hpp>
#include <gecode/int/distinct/bilink.hpp>
#include <gecode/int/distinct/edge.hpp>
#include <gecode/int/distinct/node.hpp>
Go to the source code of this file.
Classes | |
class | Gecode::Int::Distinct::CombPtrFlag< T > |
Class for combining two pointers with a flag. More... | |
class | Gecode::Int::Distinct::BiLink |
Bidirectional links for both edges and anchors in nodes of view-value graph. More... | |
class | Gecode::Int::Distinct::Node< View > |
Base-class for nodes (both view and value nodes). More... | |
class | Gecode::Int::Distinct::ValNode< View > |
Value nodes in view-value graph. More... | |
class | Gecode::Int::Distinct::ViewNode< View > |
View nodes in view-value graph. More... | |
class | Gecode::Int::Distinct::Edge< View > |
Edges in view-value graph. More... | |
class | Gecode::Int::Distinct::PruneVal< View > |
Prunes the values read from a view node. More... | |
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace. | |
namespace | Gecode::Int |
Finite domain integers. | |
namespace | Gecode::Int::Distinct |
Distinct propagators |