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

Functions

template<class Char , class Traits , class View >

std::basic_ostream< Char,
Traits > & operator<< (std::basic_ostream< Char, Traits > &os, const ComplementView< View > &x)

template<class Char , class Traits , class View >

std::basic_ostream< Char,
Traits > & operator<< (std::basic_ostream< Char, Traits > &os, const OffsetSetView< View > &x)

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 ConstantView &x)

template<class Char , class Traits >

std::basic_ostream< Char,
Traits > & operator<< (std::basic_ostream< Char, Traits > &os, const SingletonView &x)

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.

Function Documentation

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 558 of file complement.hpp.

template<class Char , class Traits , class View >

std::basic_ostream<Char,Traits>& Gecode::Set::operator<<	(	std::basic_ostream< Char, Traits > &	os,
		const OffsetSetView< View > &	x
	)			`[related]`

Definition at line 450 of file offset.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 68 of file print.hpp.