Enforce a vector of domain variables to be equal to a tuple of values.
The constraint holds since the first, the second and the third items of are respectively equal to the first, the second and the third items of .
- Used in
- See also
generalisation: ( replaced by in second argument).
- Arc input(s)
- Arc generator
- Arc arity
- Arc constraint(s)
- Graph property(ies)
- Graph model
Parts (A) and (B) of Figure 5.351.1 respectively show the initial and final graph associated with the Example slot. Since we use the graph property, the arcs of the final graph are stressed in bold.
Figure 5.351.1. Initial and final graph of the constraint
Since we use the arc generator on the collections and , and because of the restriction , the maximum number of arcs of the final graph is equal to . Therefore we can rewrite the graph property to and simplify to .