[ library(gfd) | Reference Manual | Alphabetic Index ]

<ConsistencyModule:> sumlist(+Collection,?Sum)

The sum (Collection) or scalar product (IntCollection*Collection) of the Collection elements is Sum
Collection or Coeffs*Collection
Collection: collection of N integers or (domain) variables. Coeffs: collection of N integers.
(Domain) variable or integer (array notation accepted)


An alias for sum/2. provided for consistency.

You may find it more convenient to embed sumlist(Vars) in a constraint expression.

See Also

fd_global : sumlist / 2, ic_global : sumlist / 2, listut : sumlist / 2