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 } |
