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

max(+Vars, ?Max)

Constrains Max to be the largest element in Vars.
Vars
Collection (a la collection_to_list/2) of variables or numbers (NOT arbitrary expressions)
Max
Maximum element of Vars

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