var.icc File Reference
(Revision: 3188)
#include "gecode/support/shared-array.hh"
#include <iostream>
#include "gecode/iter.hh"
#include "gecode/set/var/integerset.icc"
#include "gecode/set/var/iter.icc"
#include "gecode/set/var/imp.icc"
#include "gecode/set/var/set.icc"
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::Set |
Classes | |
class | Gecode::Set::RangeList |
Lists of ranges (intervals). More... | |
class | Gecode::Set::BndSet |
Sets of integers. More... | |
class | Gecode::Set::BndSetRanges |
Range iterator for integer sets. More... | |
class | Gecode::Set::GLBndSet |
Growing sets of integers. More... | |
class | Gecode::Set::LUBndSet |
Shrinking sets of integers. More... | |
class | Gecode::Set::RangesCompl< I > |
A complement iterator spezialized for the BndSet limits. More... | |
class | Gecode::Set::LubRanges< T > |
Range iterator for the least upper bound. More... | |
class | Gecode::Set::GlbRanges< T > |
Range iterator for the greatest lower bound. More... | |
class | Gecode::Set::UnknownRanges< T > |
Range iterator for the unknown set. More... | |
class | Gecode::Set::SetVarImp |
Finite integer set variable implementation. More... | |
class | Gecode::SetVar |
Set variables More... | |
class | Gecode::SetVarGlbRanges |
Iterator for the greatest lower bound ranges of a set variable. More... | |
class | Gecode::SetVarLubRanges |
Iterator for the least upper bound ranges of a set variable. More... | |
class | Gecode::SetVarUnknownRanges |
Iterator for the unknown ranges of a set variable. More... | |
class | Gecode::SetVarGlbValues |
Iterator for the values in the greatest lower bound of a set variable. More... | |
class | Gecode::SetVarLubValues |
Iterator for the values in the least upper bound of a set variable. More... | |
class | Gecode::SetVarUnknownValues |
Iterator for the values in the unknown set of a set variable. More... | |
Variables | |
const ModEvent | Gecode::Set::ME_SET_FAILED = ME_GEN_FAILED |
Domain operation has resulted in failure. | |
const ModEvent | Gecode::Set::ME_SET_NONE = ME_GEN_NONE |
Domain operation has not changed domain. | |
const ModEvent | Gecode::Set::ME_SET_VAL = ME_GEN_ASSIGNED |
Domain operation has resulted in a value (assigned variable). | |
const ModEvent | Gecode::Set::ME_SET_CARD = ME_SET_VAL + 1 |
Domain operation has changed the variable cardinality. | |
const ModEvent | Gecode::Set::ME_SET_LUB = ME_SET_CARD + 1 |
Domain operation has changed the least upper bound. | |
const ModEvent | Gecode::Set::ME_SET_GLB = ME_SET_LUB + 1 |
Domain operation has changed the greatest lower bound. | |
const ModEvent | Gecode::Set::ME_SET_BB = ME_SET_GLB + 1 |
Domain operation has changed both greatest lower and least upper bound. | |
const ModEvent | Gecode::Set::ME_SET_CLUB = ME_SET_BB + 1 |
Domain operation has changed the least upper bound and the cardinality. | |
const ModEvent | Gecode::Set::ME_SET_CGLB = ME_SET_CLUB + 1 |
Domain operation has changed the greatest lower bound and the cardinality. | |
const ModEvent | Gecode::Set::ME_SET_CBB = ME_SET_CGLB + 1 |
Domain operation has changed both the greatest lower bound and the least upper bound, as well as the cardinality. | |
const PropCond | Gecode::Set::PC_SET_VAL = PC_GEN_ASSIGNED |
Propagate when a view becomes assigned (single value). | |
const PropCond | Gecode::Set::PC_SET_CARD = PC_SET_VAL + 1 |
Propagate when the cardinality of a view changes. | |
const PropCond | Gecode::Set::PC_SET_CGLB = PC_SET_CARD + 1 |
Propagate when the cardinality or the greatest lower bound of a view changes. | |
const PropCond | Gecode::Set::PC_SET_CLUB = PC_SET_CGLB + 1 |
Propagate when the cardinality or the least upper bound of a view changes. | |
const PropCond | Gecode::Set::PC_SET_ANY = PC_SET_CLUB + 1 |
Propagate when any bound or the cardinality of a view changes. |