
max(+Vars, ?Max)

   Constrains Max to be the largest element in Vars.

Arguments
   Vars                List of variables or numbers (NOT arbitrary expressions)
   Max                 Maximum element of Vars

Type
   library(ic)

Description

	Constrains Max to be the largest element in the list of
	variables of numbers (Vars).

	You may find it more convenient to embed max(Vars) in a
	constraint.


See Also
   min / 2
