[ 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