
max(+Vars, ?Max)

   Constrains Max to be the largest element in Vars.

Arguments
   Vars                Collection (a la collection_to_list/2) 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 collection of variables
   or numbers Vars.

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


See Also
   min / 2, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2
