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

minlist(+List, ?Min)

Min is the minimum of the values in List
List
Collection of integers or domain variables
Min
Variable or integer

Description

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

See Also

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