Enforce all variables of the collection to take the same value.
The constraint holds since all its variables are fixed to value 5.
- See also
generalisation: (a variable counting the number of distinct values is introduced).
implies: , , .
specialisation: (equality between just two variables).
- Arc input(s)
- Arc generator
- Arc arity
- Arc constraint(s)
- Graph property(ies)
- Graph model
Parts (A) and (B) of Figure 5.3.1 respectively show the initial and final graph of the Example slot. Since we use the graph property, the arcs of the final graph are stressed in bold.
Figure 5.3.1. Initial and final graph of the constraint