var-imp.icc File Reference
(Revision: 6327)
#include <iostream>
#include "gecode/cpltset/var-imp/cpltset.icc"
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::CpltSet |
Classes | |
class | Gecode::CpltSet::GlbValues< T > |
Iterate the values in the greatest lower bound of a CpltSetvariable. More... | |
class | Gecode::CpltSet::LubValues< T > |
Iterate the values in the least upper bound of a bdd set variable. More... | |
class | Gecode::CpltSet::UnknownValues< T > |
Iterate the values lub-glb of a bdd set variable. More... | |
class | Gecode::CpltSet::CpltSetVarImp |
Finite integer set variable implementation using a complete domain representation. More... | |
class | Gecode::CpltSet::BddIterator |
Iterator for level-wise iteration over a given bdd. More... | |
class | Gecode::CpltSet::DomBddIterator |
Iterator for level-wise iteration of a variable domain. More... | |
class | Gecode::VarImpVarTraits< CpltSet::CpltSetVarImp > |
Traits class for variable implementations and variables. More... | |
Enumerations | |
enum | Gecode::CpltSet::NodeStatus { Gecode::CpltSet::INIT = -1, Gecode::CpltSet::FIX_GLB = 1, Gecode::CpltSet::FIX_NOT_LUB = 0, Gecode::CpltSet::FIX_UNKNOWN = 2, Gecode::CpltSet::UNDET = 5 } |