Gecode::Set Namespace Reference

Finite integer sets. 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	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

template<class Char , class Traits , class View >

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.

template<class Char , class Traits , class View >

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]`

Definition at line 712 of file const.hpp.

bool Gecode::Set::same	(	const UniverseView &	,
		const UniverseView &
	)			`[related]`

Definition at line 716 of file const.hpp.

template<class Char , class Traits , class I >

void Gecode::Set::printBound	(	std::basic_ostream< Char, Traits > &	s,
		I &	r
	)			`[inline]`

Print bound of a set view or variable.

Definition at line 47 of file print.hpp.

template<class Char , class Traits , class IL , class IU >

void Gecode::Set::print	(	std::basic_ostream< Char, Traits > &	s,
		bool	assigned,
		IL &	lb,
		IU &	ub,
		unsigned int	cardMin,
		unsigned int	cardMax
	)			`[inline]`

Print set view.

Definition at line 67 of file print.hpp.