
Classes | |
| class | Gecode::Reify |
| Reification specification. More... | |
Typedefs | |
| typedef PrimArgArray< TaskType > | Gecode::TaskTypeArgs |
| Argument arrays for passing task type arguments. More... | |
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::IntConLevel { Gecode::ICL_VAL, Gecode::ICL_BND, Gecode::ICL_DOM, Gecode::ICL_DEF } |
| Consistency 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. More... | |
| Reify | Gecode::imp (BoolVar x) |
| Use implication for reification. More... | |
| Reify | Gecode::pmi (BoolVar x) |
| Use reverse implication for reification. More... | |
| typedef PrimArgArray<TaskType> Gecode::TaskTypeArgs |
| enum Gecode::ReifyMode |
Mode for reification.
| enum Gecode::IntRelType |
| enum Gecode::BoolOpType |
| enum Gecode::IntConLevel |
Consistency levels for integer propagators.
The descriptions are meant to be suggestions. 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.
If in the description of a constraint below no consistency level is mentioned, the propagator for the constraint implements domain consistency.
| Enumerator | |
|---|---|
| ICL_VAL |
Value propagation or consistency (naive) |
| ICL_BND |
Bounds propagation or consistency. |
| ICL_DOM |
Domain propagation or consistency. |
| ICL_DEF |
The default consistency for a constraint. |
| enum Gecode::TaskType |
|
inline |
|
inline |