
maxlist(+List, ?Max)

   Max is the maximum of the values in List

Arguments
   List                List of integers or domain variables
   Max                 Variable or integer

Type
   library(fd_global)

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
