[ 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