Gecode::Set Namespace Reference

---

Detailed Description

Finite integer sets.

The Gecode::Set namespace contains all functionality required to program propagators and branchings for finite integer sets. In addition, all propagators and branchings for finite integer sets provided by Gecode are contained as nested namespaces.

Classes
class	GlbRanges< CpltSet::CpltSetVarImp * >
	Range iterator for greatest lower bound of CpltSet variable implementation. More...
class	LubRanges< CpltSet::CpltSetVarImp * >
	Range iterator for least upper bound of CpltSet variable implementation. More...
class	UnknownRanges< CpltSet::CpltSetVarImp * >
	Range iterator for the unknown set of CpltSet variable implementation. More...
class	GlbRanges< CpltSet::CpltSetView >
	Range iterator for greatest lower bound of CpltSet view. More...
class	LubRanges< CpltSet::CpltSetView >
	Range iterator for least upper bound of CpltSet view. More...
class	UnknownRanges< CpltSet::CpltSetView >
	Range iterator for the unknown set of CpltSet view. More...
class	SetVarImpConf
	Dummy configuration for Set-variable implementations. More...
class	OutOfLimits
	Exception: Value out of limits More...
class	VariableEmptyDomain
	Exception: Variable created with empty domain More...
class	ArgumentEmpty
	Exception: No arguments available in argument array More...
class	ArgumentSizeMismatch
	Exception: Arguments are of different size More...
class	InvalidRelation
	Exception: Invalid relation passed as argument More...
class	InvalidProjector
	Exception: Invalid projector passed as argument More...
class	UnknownBranching
	Exception: Unknown value or variable selection 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	RangeList
	Lists of ranges (intervals). 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< 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< ConstantView >
	Range iterator for least upper bound of constant set view More...
class	GlbRanges< ConstantView >
	Range iterator for greatest lower bound of constant set view More...
class	LubRanges< OffsetSetView< View > >
	Range iterator for least upper bound of offset set views More...
class	GlbRanges< OffsetSetView< View > >
	Range iterator for greatest lower bound of offset set views 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	ConstantView
	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	OffsetSetView
	Offset set view. More...
Namespaces
namespace	Branch
	Set branchings
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	Projection
	Support for set projectors.
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.