5.129. distance
DESCRIPTION | LINKS |
- Origin
Arithmetic constraint.
- Constraint
- Arguments
- Restriction
- Purpose
Enforce the fact that is equal to .
- Example
-
The constraint holds since .
- Typical
- Symmetry
Arguments are permutable w.r.t. permutation .
- Arg. properties
Functional dependency: determined by and .
- Systems
- See also
implies: .
related: (fixed minimum distance between all pairs of variables of a collection of variables), .
- Keywords
constraint arguments: ternary constraint, pure functional dependency.
constraint type: arithmetic constraint, predefined constraint.