5.150. eq_cst
DESCRIPTION | LINKS |
- Origin
Arithmetic.
- Constraint
- Arguments
- Purpose
Enforce the fact that the first variable is equal to the sum of the second variable and the constant.
- Example
-
The constraint holds since 8 is equal to .
- Typical
- Symmetries
Arguments are permutable w.r.t. permutation .
One and the same constant can be added to and .
One and the same constant can be added to and .
- Arg. properties
Functional dependency: determined by and .
Functional dependency: determined by and .
Functional dependency: determined by and .
- See also
implies: , .
specialisation: ( set to 0).
- Keywords
constraint arguments: binary constraint, pure functional dependency.
constraint type: predefined constraint, arithmetic constraint.