[ 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