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::Float::FloatVarImpConf |
Configuration for Float-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. | |
namespace | Gecode::Float |
Floating point numbers. | |
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. | |
const Gecode::ModEvent | Gecode::Float::ME_FLOAT_FAILED = Gecode::ME_GEN_FAILED |
Domain operation has resulted in failure. | |
const Gecode::ModEvent | Gecode::Float::ME_FLOAT_NONE = Gecode::ME_GEN_NONE |
Domain operation has not changed domain. | |
const Gecode::ModEvent | Gecode::Float::ME_FLOAT_VAL = Gecode::ME_GEN_ASSIGNED |
Domain operation has resulted in a value (assigned variable). | |
const Gecode::ModEvent | Gecode::Float::ME_FLOAT_BND = Gecode::ME_GEN_ASSIGNED + 1 |
Domain operation has changed the minimum or maximum of the domain. | |
const Gecode::PropCond | Gecode::Float::PC_FLOAT_NONE = Gecode::PC_GEN_NONE |
Propagation condition to be ignored (convenience). | |
const Gecode::PropCond | Gecode::Float::PC_FLOAT_VAL = Gecode::PC_GEN_ASSIGNED |
Propagate when a view becomes assigned (single value). | |
const Gecode::PropCond | Gecode::Float::PC_FLOAT_BND = Gecode::PC_GEN_ASSIGNED + 1 |
Propagate when minimum or maximum of a view changes. |