Classes | |
class | Gecode::Reify |
Reification specification. More... |
Typedefs | |
typedef ArgArray< TaskType > | Gecode::TaskTypeArgs |
Argument arrays for passing task type arguments. |
Enumerations | |
enum | Gecode::ReifyMode { Gecode::RM_EQV , Gecode::RM_IMP , Gecode::RM_PMI } |
Mode for reification. More... | |
enum | Gecode::IntRelType { Gecode::IRT_EQ , Gecode::IRT_NQ , Gecode::IRT_LQ , Gecode::IRT_LE , Gecode::IRT_GQ , Gecode::IRT_GR } |
Relation types for integers. More... | |
enum | Gecode::BoolOpType { Gecode::BOT_AND , Gecode::BOT_OR , Gecode::BOT_IMP , Gecode::BOT_EQV , Gecode::BOT_XOR } |
Operation types for Booleans. More... | |
enum | Gecode::IntPropLevel { Gecode::IPL_DEF = 0 , Gecode::IPL_VAL = 1 , Gecode::IPL_BND = 2 , Gecode::IPL_DOM = 3 , Gecode::IPL_BASIC = 4 , Gecode::IPL_ADVANCED = 8 , Gecode::IPL_BASIC_ADVANCED = IPL_BASIC | IPL_ADVANCED , Gecode::_IPL_BITS = 4 } |
Propagation levels for integer propagators. More... | |
enum | Gecode::TaskType { Gecode::TT_FIXP , Gecode::TT_FIXS , Gecode::TT_FIXE } |
Type of task for scheduling constraints. More... |
Functions | |
Reify | Gecode::eqv (BoolVar x) |
Use equivalence for reification. | |
Reify | Gecode::imp (BoolVar x) |
Use implication for reification. | |
Reify | Gecode::pmi (BoolVar x) |
Use reverse implication for reification. |
typedef ArgArray<TaskType> Gecode::TaskTypeArgs |
enum Gecode::ReifyMode |
Mode for reification.
enum Gecode::IntRelType |
enum Gecode::BoolOpType |
enum Gecode::IntPropLevel |
Propagation levels for integer propagators.
The descriptions are meant to be approximate. It is not required that a propagator achieves full domain consistency or full bounds consistency. It is more like: which level of consistency comes closest to the level of propagation the propagator implements.
If in the description of a constraint below no propagation level is mentioned, the propagation level for the constraint is domain propagation and the implementation in fact enforces domain consistency.
Enumerator | |
---|---|
IPL_DEF | Simple propagation levels. Default level of propagation |
IPL_VAL | Value propagation. |
IPL_BND | Bounds propagation. |
IPL_DOM | Domain propagation Options: basic versus advanced propagation. |
IPL_BASIC | Use basic propagation algorithm. |
IPL_ADVANCED | Use advanced propagation algorithm. |
IPL_BASIC_ADVANCED | Use both. |
_IPL_BITS | Number of bits required (internal) |
enum Gecode::TaskType |