is the number of times that holds on consecutive variables of the collection . The last and the first variables of the collection are also considered to be consecutive.
In the example the changes within the collection are located between values 4 and 3, 3 and 4, 4 and 1, and 1 and 4 (i.e., since the third argument of the constraint is set to , we count one change for each disequality constraint between two consecutive variables that holds). Consequently, the corresponding constraint holds since its first argument is fixed to 4.
- See also
- Arc input(s)
- Arc generator
- Arc arity
- Arc constraint(s)
- Graph property(ies)
- Graph model
Parts (A) and (B) of Figure 5.55.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.55.1. Initial and final graph of the constraint
Figure 5.55.2 depicts the automaton associated with the constraint. To each pair of consecutive variables of the collection corresponds a 0-1 signature variable . The following signature constraint links , and : .
Figure 5.55.2. Automaton of the constraint
Figure 5.55.3. Hypergraph of the reformulation corresponding to the automaton of the constraint