Generated on Thu Mar 22 10:39:48 2012 for Gecode by doxygen 1.6.3

var-type.hpp File Reference

Go to the source code of this file.

Classes

class  Gecode::Int::IntVarImpConf
 Configuration for Int-variable implementations. More...
class  Gecode::Int::BoolVarImpConf
 Configuration for Bool-variable implementations. More...
class  Gecode::Set::SetVarImpConf
 Configuration for Set-variable implementations. More...
class  Gecode::AllVarConf
 Configuration for all variable implementations. More...

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.


namespace  Gecode::Set
 

Finite integer sets.


Variables

const Gecode::ModEvent Gecode::Int::ME_INT_FAILED = Gecode::ME_GEN_FAILED
 Domain operation has resulted in failure.
const Gecode::ModEvent Gecode::Int::ME_INT_NONE = Gecode::ME_GEN_NONE
 Domain operation has not changed domain.
const Gecode::ModEvent Gecode::Int::ME_INT_VAL = Gecode::ME_GEN_ASSIGNED
 Domain operation has resulted in a value (assigned variable).
const Gecode::ModEvent Gecode::Int::ME_INT_BND = Gecode::ME_GEN_ASSIGNED + 1
 Domain operation has changed the minimum or maximum of the domain.
const Gecode::ModEvent Gecode::Int::ME_INT_DOM = Gecode::ME_GEN_ASSIGNED + 2
 Domain operation has changed the domain.
const Gecode::PropCond Gecode::Int::PC_INT_NONE = Gecode::PC_GEN_NONE
 Propagation condition to be ignored (convenience).
const Gecode::PropCond Gecode::Int::PC_INT_VAL = Gecode::PC_GEN_ASSIGNED
 Propagate when a view becomes assigned (single value).
const Gecode::PropCond Gecode::Int::PC_INT_BND = Gecode::PC_GEN_ASSIGNED + 1
 Propagate when minimum or maximum of a view changes.
const Gecode::PropCond Gecode::Int::PC_INT_DOM = Gecode::PC_GEN_ASSIGNED + 2
 Propagate when domain changes.
const Gecode::ModEvent Gecode::Int::ME_BOOL_FAILED = Gecode::ME_GEN_FAILED
 Domain operation has resulted in failure.
const Gecode::ModEvent Gecode::Int::ME_BOOL_NONE = Gecode::ME_GEN_NONE
 Domain operation has not changed domain.
const Gecode::ModEvent Gecode::Int::ME_BOOL_VAL = Gecode::ME_GEN_ASSIGNED
 Domain operation has resulted in a value (assigned variable).
const Gecode::PropCond Gecode::Int::PC_BOOL_NONE = Gecode::PC_GEN_NONE
 Propagation condition to be ignored (convenience).
const Gecode::PropCond Gecode::Int::PC_BOOL_VAL = Gecode::PC_GEN_ASSIGNED
 Propagate when a view becomes assigned (single value).
const Gecode::ModEvent Gecode::Set::ME_SET_FAILED = Gecode::ME_GEN_FAILED
 Domain operation has resulted in failure.
const Gecode::ModEvent Gecode::Set::ME_SET_NONE = Gecode::ME_GEN_NONE
 Domain operation has not changed domain.
const Gecode::ModEvent Gecode::Set::ME_SET_VAL = Gecode::ME_GEN_ASSIGNED
 Domain operation has resulted in a value (assigned variable).
const Gecode::ModEvent Gecode::Set::ME_SET_CARD = Gecode::ME_GEN_ASSIGNED + 1
 Domain operation has changed the variable cardinality.
const Gecode::ModEvent Gecode::Set::ME_SET_LUB = Gecode::ME_GEN_ASSIGNED + 2
 Domain operation has changed the least upper bound.
const Gecode::ModEvent Gecode::Set::ME_SET_GLB = Gecode::ME_GEN_ASSIGNED + 3
 Domain operation has changed the greatest lower bound.
const Gecode::ModEvent Gecode::Set::ME_SET_BB = Gecode::ME_GEN_ASSIGNED + 4
 Domain operation has changed both greatest lower and least upper bound.
const Gecode::ModEvent Gecode::Set::ME_SET_CLUB = Gecode::ME_GEN_ASSIGNED + 5
 Domain operation has changed the least upper bound and the cardinality.
const Gecode::ModEvent Gecode::Set::ME_SET_CGLB = Gecode::ME_GEN_ASSIGNED + 6
 Domain operation has changed the greatest lower bound and the cardinality.
const Gecode::ModEvent Gecode::Set::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 Gecode::Set::PC_SET_NONE = Gecode::PC_GEN_NONE
 Propagation condition to be ignored (convenience).
const Gecode::PropCond Gecode::Set::PC_SET_VAL = Gecode::PC_GEN_ASSIGNED
 Propagate when a view becomes assigned (single value).
const Gecode::PropCond Gecode::Set::PC_SET_CARD = Gecode::PC_GEN_ASSIGNED + 1
 Propagate when the cardinality of a view changes.
const Gecode::PropCond Gecode::Set::PC_SET_CLUB = Gecode::PC_GEN_ASSIGNED + 2
 Propagate when the cardinality or the least upper bound of a view changes.
const Gecode::PropCond Gecode::Set::PC_SET_CGLB = Gecode::PC_GEN_ASSIGNED + 3
 Propagate when the cardinality or the greatest lower bound of a view changes.
const Gecode::PropCond Gecode::Set::PC_SET_ANY = Gecode::PC_GEN_ASSIGNED + 4
 Propagate when any bound or the cardinality of a view changes.