Using integer variables and constraints
|typedef PrimArgArray<TaskType> Gecode::TaskTypeArgs|
Enumeration Type Documentation
Mode for reification.
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.
Value propagation or consistency (naive).
Bounds propagation or consistency.
Domain propagation or consistency.
The default consistency for a constraint.
Use equivalence for reification.
Use implication for reification.
Use reverse implication for reification.