[ library(ic_global) | 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 arithmetic constraint if
the list is long and Sum is not constrained frequently.
Any input variables which do not already have finite bounds will
be given default bounds of -10000000 to 10000000.
See Also
ordered / 2, ordered_sum / 2, suspend : #= / 2, ic : #= / 2, gfd : #= / 2, fd : #= / 2