Generated on Fri Mar 20 15:57:09 2015 for Gecode by doxygen 1.6.3

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

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.

template<class Char , class Traits >
std::basic_ostream<Char,Traits>& Gecode::Set::operator<< ( std::basic_ostream< Char, Traits > &  os,
const SetView &  x 
) [related]

Definition at line 85 of file print.hpp.

template<class Char , class Traits >
std::basic_ostream<Char,Traits>& Gecode::Set::operator<< ( std::basic_ostream< Char, Traits > &  os,
const EmptyView &   
) [related]

Definition at line 96 of file print.hpp.

template<class Char , class Traits >
std::basic_ostream<Char,Traits>& Gecode::Set::operator<< ( std::basic_ostream< Char, Traits > &  os,
const UniverseView &   
) [related]

Definition at line 102 of file print.hpp.

template<class Char , class Traits >
std::basic_ostream<Char,Traits>& Gecode::Set::operator<< ( std::basic_ostream< Char, Traits > &  os,
const ConstSetView &  x 
) [related]

Definition at line 113 of file print.hpp.

template<class Char , class Traits >
std::basic_ostream<Char,Traits>& Gecode::Set::operator<< ( std::basic_ostream< Char, Traits > &  os,
const SingletonView &  x 
) [related]

Definition at line 124 of file print.hpp.