[ library(ic_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