[ 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