, , , .
Constraint the sum of a set of domain variables. More precisely, let denote the sum of the variables of the collection (when the collection is empty the corresponding sum is equal to 0). Enforce the following constraint to hold: .
The constraint holds since the condition is satisfied.
Items of are permutable.
When corresponds to this constraint is referenced under the names in KOALOG (http://www.koalog.com/php/index.php) and in JaCoP (http://www.jacop.eu/).
- Used in
- See also
- Arc input(s)
- Arc generator
- Arc arity
- Arc constraint(s)
- Graph property(ies)
- Graph model
Since we want to keep all the vertices of the initial graph we use the arc generator together with the arc constraint. This predefined arc constraint always holds.
Parts (A) and (B) of Figure 5.326.1 respectively show the initial and final graph associated with the Example slot. Since we use the arc constraint both graphs are identical.
Figure 5.326.1. Initial and final graph of the constraint