Gecode::Set Namespace Reference
Finite integer sets. More...
Namespaces | |
namespace | Branch |
Set branchings | |
namespace | Channel |
Channeling propagators for set variables. | |
namespace | Convex |
Propagators for convexity. | |
namespace | Distinct |
Propagators for global distinctness constraints. | |
namespace | Element |
Set element propagators | |
namespace | Int |
Propagators connecting set and int variables. | |
namespace | LDSB |
Symmetry breaking for set variables. | |
namespace | Precede |
Value precedence propagators. | |
namespace | Rel |
Standard set relation propagators. | |
namespace | RelOp |
Standard set operation propagators. | |
namespace | Sequence |
Propagators for ordered sequences of sets. | |
namespace | Limits |
Numerical limits for set variables. | |
Classes | |
class | SetVarImpBase |
Base-class for Set-variable implementations. More... | |
class | SetVarImpConf |
Configuration for Set-variable implementations. More... | |
class | OutOfLimits |
Exception: Value out of limits More... | |
class | VariableEmptyDomain |
Exception: Variable created with empty domain More... | |
class | TooFewArguments |
Exception: No arguments available in argument array More... | |
class | ArgumentSizeMismatch |
Exception: Arguments are of different size More... | |
class | UnknownBranching |
Exception: Unknown value or variable selection passed as argument More... | |
class | UnknownRelation |
Exception: Unknown relation type passed as argument More... | |
class | UnknownOperation |
Exception: Unknown operation type passed as argument More... | |
class | IllegalOperation |
Exception: Illegal operation passed as argument More... | |
class | LubRanges< SetVarImp * > |
Range iterator for the least upper bound of a set variable implementation. More... | |
class | GlbRanges< SetVarImp * > |
Range iterator for the greatest lower bound of a set variable implementation. More... | |
class | SetDelta |
Finite set delta information for advisors. More... | |
class | BndSet |
Sets of integers. More... | |
class | BndSetRanges |
Range iterator for integer sets. More... | |
class | GLBndSet |
Growing sets of integers. More... | |
class | LUBndSet |
Shrinking sets of integers. More... | |
class | RangesCompl |
A complement iterator spezialized for the BndSet limits. More... | |
class | LubRanges |
Range iterator for the least upper bound. More... | |
class | GlbRanges |
Range iterator for the greatest lower bound. More... | |
class | UnknownRanges |
Range iterator for the unknown set. More... | |
class | SetVarImp |
Finite integer set variable implementation. More... | |
class | LubRanges< CachedView< View > > |
Range iterator for least upper bound of cached set views More... | |
class | GlbRanges< CachedView< View > > |
Range iterator for greatest lower bound of cached set views More... | |
class | LubRanges< ComplementView< View > > |
Range iterator for least upper bound of complement set views More... | |
class | LubRanges< ComplementView< ComplementView< View > > > |
Range iterator for the least upper bound of double-complement-views. More... | |
class | GlbRanges< ComplementView< View > > |
Range iterator for greatest lower bound of complement set views More... | |
class | GlbRanges< ComplementView< ComplementView< View > > > |
Range iterator for the greatest lower bound of double-complement-views. More... | |
class | ArrayRanges |
Range iterator for a two-dimensional array More... | |
class | LubRanges< EmptyView > |
Range iterator for least upper bound of constantly empty set view More... | |
class | GlbRanges< EmptyView > |
Range iterator for greatest lower bound of constantly empty set view More... | |
class | LubRanges< UniverseView > |
Range iterator for least upper bound of constant universe set view More... | |
class | GlbRanges< UniverseView > |
Range iterator for greatest lower bound of constant universe set view More... | |
class | LubRanges< ConstSetView > |
Range iterator for least upper bound of constant set view More... | |
class | GlbRanges< ConstSetView > |
Range iterator for greatest lower bound of constant set view More... | |
class | LubRanges< SetView > |
Range iterator for least upper bound of set variable views More... | |
class | GlbRanges< SetView > |
Range iterator for greatest lower bound of set variable views More... | |
class | LubRanges< SingletonView > |
Range iterator for least upper bound of singleton set view More... | |
class | GlbRanges< SingletonView > |
Range iterator for greatest lower bound of singleton set view More... | |
class | SetView |
Set view for set variables More... | |
class | ConstSetView |
Constant view. More... | |
class | EmptyView |
Constant view for the empty set. More... | |
class | UniverseView |
Constant view for the universe. More... | |
class | SingletonView |
Singleton set view. More... | |
class | ComplementView |
Complement set view. More... | |
class | CachedView |
Cached set view. More... | |
class | GlbDiffRanges |
Range iterator for difference of greatest lower bound and cache More... | |
class | LubDiffRanges |
Range iterator for difference of least upper bound and cache More... | |
Functions | |
template<class Char , class Traits , class View > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const CachedView< View > &x) |
template<class Char , class Traits , class View > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ComplementView< View > &x) |
bool | same (const ConstSetView &x, const ConstSetView &y) |
bool | before (const ConstSetView &x, const ConstSetView &y) |
bool | same (const EmptyView &, const EmptyView &) |
bool | same (const UniverseView &, const UniverseView &) |
template<class Char , class Traits , class I > | |
void | printBound (std::basic_ostream< Char, Traits > &s, I &r) |
Print bound of a set view or variable. | |
template<class Char , class Traits , class IL , class IU > | |
void | print (std::basic_ostream< Char, Traits > &s, bool assigned, IL &lb, IU &ub, unsigned int cardMin, unsigned int cardMax) |
Print set view. | |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const SetView &x) |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const EmptyView &) |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const UniverseView &) |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ConstSetView &x) |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const SingletonView &x) |
Variables | |
const Gecode::ModEvent | ME_SET_FAILED = Gecode::ME_GEN_FAILED |
Domain operation has resulted in failure. | |
const Gecode::ModEvent | ME_SET_NONE = Gecode::ME_GEN_NONE |
Domain operation has not changed domain. | |
const Gecode::ModEvent | ME_SET_VAL = Gecode::ME_GEN_ASSIGNED |
Domain operation has resulted in a value (assigned variable). | |
const Gecode::ModEvent | ME_SET_CARD = Gecode::ME_GEN_ASSIGNED + 1 |
Domain operation has changed the variable cardinality. | |
const Gecode::ModEvent | ME_SET_LUB = Gecode::ME_GEN_ASSIGNED + 2 |
Domain operation has changed the least upper bound. | |
const Gecode::ModEvent | ME_SET_GLB = Gecode::ME_GEN_ASSIGNED + 3 |
Domain operation has changed the greatest lower bound. | |
const Gecode::ModEvent | ME_SET_BB = Gecode::ME_GEN_ASSIGNED + 4 |
Domain operation has changed both greatest lower and least upper bound. | |
const Gecode::ModEvent | ME_SET_CLUB = Gecode::ME_GEN_ASSIGNED + 5 |
Domain operation has changed the least upper bound and the cardinality. | |
const Gecode::ModEvent | ME_SET_CGLB = Gecode::ME_GEN_ASSIGNED + 6 |
Domain operation has changed the greatest lower bound and the cardinality. | |
const Gecode::ModEvent | ME_SET_CBB = Gecode::ME_GEN_ASSIGNED + 7 |
Domain operation has changed both the greatest lower bound and the least upper bound, as well as the cardinality. | |
const Gecode::PropCond | PC_SET_NONE = Gecode::PC_GEN_NONE |
Propagation condition to be ignored (convenience). | |
const Gecode::PropCond | PC_SET_VAL = Gecode::PC_GEN_ASSIGNED |
Propagate when a view becomes assigned (single value). | |
const Gecode::PropCond | PC_SET_CARD = Gecode::PC_GEN_ASSIGNED + 1 |
Propagate when the cardinality of a view changes. | |
const Gecode::PropCond | PC_SET_CLUB = Gecode::PC_GEN_ASSIGNED + 2 |
Propagate when the cardinality or the least upper bound of a view changes. | |
const Gecode::PropCond | PC_SET_CGLB = Gecode::PC_GEN_ASSIGNED + 3 |
Propagate when the cardinality or the greatest lower bound of a view changes. | |
const Gecode::PropCond | PC_SET_ANY = Gecode::PC_GEN_ASSIGNED + 4 |
Propagate when any bound or the cardinality of a view changes. |
Detailed Description
Finite integer sets.
The Gecode::Set namespace contains all functionality required to program propagators and branchers for finite integer sets. In addition, all propagators and branchers for finite integer sets provided by Gecode are contained as nested namespaces.
Function Documentation
std::basic_ostream<Char,Traits>& Gecode::Set::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const CachedView< View > & | x | |||
) | [related] |
Definition at line 378 of file cached.hpp.
std::basic_ostream<Char,Traits>& Gecode::Set::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const ComplementView< View > & | x | |||
) | [related] |
Definition at line 546 of file complement.hpp.
bool Gecode::Set::same | ( | const ConstSetView & | x, | |
const ConstSetView & | y | |||
) | [related] |
bool Gecode::Set::before | ( | const ConstSetView & | x, | |
const ConstSetView & | y | |||
) | [related] |
bool Gecode::Set::same | ( | const EmptyView & | , | |
const EmptyView & | ||||
) | [related] |
bool Gecode::Set::same | ( | const UniverseView & | , | |
const UniverseView & | ||||
) | [related] |
void Gecode::Set::printBound | ( | std::basic_ostream< Char, Traits > & | s, | |
I & | r | |||
) | [inline] |
void Gecode::Set::print | ( | std::basic_ostream< Char, Traits > & | s, | |
bool | assigned, | |||
IL & | lb, | |||
IU & | ub, | |||
unsigned int | cardMin, | |||
unsigned int | cardMax | |||
) | [inline] |
std::basic_ostream<Char,Traits>& Gecode::Set::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const SetView & | x | |||
) | [related] |
std::basic_ostream<Char,Traits>& Gecode::Set::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const EmptyView & | ||||
) | [related] |
std::basic_ostream<Char,Traits>& Gecode::Set::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const UniverseView & | ||||
) | [related] |
std::basic_ostream<Char,Traits>& Gecode::Set::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const ConstSetView & | x | |||
) | [related] |