5.174. gt
DESCRIPTION | LINKS |
- Origin
Arithmetic.
- Constraint
- Synonyms
, .
- Arguments
- Purpose
Enforce the fact that the first variable is strictly greater than the second variable.
- Example
-
The constraint holds since 8 is strictly greater than 1.
- Symmetries
can be replaced by any value .
can be replaced by any value .
- Systems
- See also
common keyword: (binary constraint,arithmetic constraint).
implies: , .
- Keywords
constraint arguments: binary constraint.
constraint type: predefined constraint, arithmetic constraint.