5.217. leq
DESCRIPTION | LINKS |
- Origin
Arithmetic.
- Constraint
- Synonyms
, .
- Arguments
- Purpose
Enforce the fact that the first variable is less than or equal to the second variable.
- Example
-
The constraint holds since 1 is greater than or equal to 8.
- Symmetries
can be replaced by any value .
can be replaced by any value .
- Systems
leq in Choco, rel in Gecode, xlteqy in JaCoP, #=< in SICStus.
- See also
common keyword: (binary constraint,arithmetic constraint).
generalisation: ( added).
implied by: , .
- Keywords
constraint arguments: binary constraint.
constraint type: predefined constraint, arithmetic constraint.