[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
max(+Vars, ?Max)
Constrains Max to be the largest element in Vars.
- Vars
- List of variables or numbers (NOT arbitrary expressions)
- Max
- Maximum element of Vars
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