[ library(fd_global) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
sumlist(+List, ?Sum)
The sum of the list elements is Sum
- List
- List of integers or domain variables
- Sum
- Variable or integer
Description
The sum of the list elements is Sum. This constraint is
more efficient than the general fd-arithmetic constraint if
the list is long and Sum is not constrained frequently.
See Also
ordered / 2, ordered_sum / 2, fd : #= / 2, suspend : #= / 2, ria : #= / 2, fdplex : #= / 2, ic : #= / 2