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

maxlist(+List, ?Max)

Max is the maximum of the values in List
List
Collection of integers or domain variables
Max
Variable or integer

Description

Max is the maximum of the values in List. Operationally: Max gets updated to reflect the current range of the maximum of variables and values in List. Likewise, the list elements get constrained to the maximum given.

See Also

minlist / 2, sumlist / 2, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2