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.
|
Definition at line 830 of file int.hh.