Generated on Wed Jan 4 17:49:15 2006 for Gecode by doxygen 1.4.6

var.icc File Reference

(Revision: 2665)

#include "support/shared-array.hh"
#include <iostream>
#include "iter.hh"
#include "set/var/integerset.icc"
#include "set/var/iter.icc"
#include "set/var/imp.icc"
#include "set/var/set.icc"

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::Set

Classes

class  Gecode::Set::RangeList
 Lists of ranges (intervals). More...
class  Gecode::Set::BndSet
 Sets of integers. More...
class  Gecode::Set::BndSetRanges
 Range iterator for integer sets. More...
class  Gecode::Set::GLBndSet
 Growing sets of integers. More...
class  Gecode::Set::LUBndSet
 Shrinking sets of integers. More...
class  Gecode::Set::RangesCompl< I >
 A complement iterator spezialized for the BndSet limits. More...
class  Gecode::Set::LubRanges< T >
 Range iterator for the least upper bound. More...
class  Gecode::Set::GlbRanges< T >
 Range iterator for the greatest lower bound. More...
class  Gecode::Set::UnknownRanges< T >
 Range iterator for the unknown set. More...
class  Gecode::Set::SetVarImp
 Finite integer set variable implementation. More...
class  Gecode::SetVar
 Set variables More...
class  Gecode::SetVarGlbRanges
 Iterator for the greatest lower bound ranges of a set variable. More...
class  Gecode::SetVarLubRanges
 Iterator for the least upper bound ranges of a set variable. More...
class  Gecode::SetVarUnknownRanges
 Iterator for the unknown ranges of a set variable. More...
class  Gecode::SetVarGlbValues
 Iterator for the values in the greatest lower bound of a set variable. More...
class  Gecode::SetVarLubValues
 Iterator for the values in the least upper bound of a set variable. More...
class  Gecode::SetVarUnknownValues
 Iterator for the values in the unknown set of a set variable. More...

Variables

const ModEvent Gecode::Set::ME_SET_FAILED = ME_GEN_FAILED
 Domain operation has resulted in failure.
const ModEvent Gecode::Set::ME_SET_NONE = ME_GEN_NONE
 Domain operation has not changed domain.
const ModEvent Gecode::Set::ME_SET_VAL = ME_GEN_ASSIGNED
 Domain operation has resulted in a value (assigned variable).
const ModEvent Gecode::Set::ME_SET_CARD = ME_SET_VAL + 1
 Domain operation has changed the variable cardinality.
const ModEvent Gecode::Set::ME_SET_LUB = ME_SET_CARD + 1
 Domain operation has changed the least upper bound.
const ModEvent Gecode::Set::ME_SET_GLB = ME_SET_LUB + 1
 Domain operation has changed the greatest lower bound.
const ModEvent Gecode::Set::ME_SET_BB = ME_SET_GLB + 1
 Domain operation has changed both greatest lower and least upper bound.
const ModEvent Gecode::Set::ME_SET_CLUB = ME_SET_BB + 1
 Domain operation has changed the least upper bound and the cardinality.
const ModEvent Gecode::Set::ME_SET_CGLB = ME_SET_CLUB + 1
 Domain operation has changed the greatest lower bound and the cardinality.
const ModEvent Gecode::Set::ME_SET_CBB = ME_SET_CGLB + 1
 Domain operation has changed both the greatest lower bound and the least upper bound, as well as the cardinality.
const PropCond Gecode::Set::PC_SET_VAL = PC_GEN_ASSIGNED
 Propagate when a view becomes assigned (single value).
const PropCond Gecode::Set::PC_SET_CARD = PC_SET_VAL + 1
 Propagate when the cardinality of a view changes.
const PropCond Gecode::Set::PC_SET_CGLB = PC_SET_CARD + 1
 Propagate when the cardinality or the greatest lower bound of a view changes.
const PropCond Gecode::Set::PC_SET_CLUB = PC_SET_CGLB + 1
 Propagate when the cardinality or the least upper bound of a view changes.
const PropCond Gecode::Set::PC_SET_ANY = PC_SET_CLUB + 1
 Propagate when any bound or the cardinality of a view changes.