5.250. maximum_modulo
DESCRIPTION | LINKS | GRAPH |
- Origin
- Constraint
- Arguments
- Restrictions
- Purpose
is a maximum value of the collection of domain variables according to the following partial ordering: .
- Example
-
The constraint holds since its first argument is set to value 5, where is greater than or equal to all the expressions , , and .
- Typical
- Symmetry
Items of are permutable.
- Arg. properties
Functional dependency: determined by and .
- See also
-
specialisation: Β ( replaced by ).
- Keywords
characteristic of a constraint: modulo, maximum.
constraint arguments: pure functional dependency.
- Arc input(s)
- Arc generator
-
- Arc arity
- Arc constraint(s)
- Graph property(ies)
-
- Graph model
PartsΒ (A) andΒ (B) of FigureΒ 5.250.1 respectively show the initial and final graph associated with the Example slot. Since we use the graph property, the vertex of rank 0 (without considering the loops) of the final graph is outlined with a thick circle.
Figure 5.250.1. Initial and final graph of the constraint
(a) (b)