[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
min(+Vars, ?Min)
Constrains Min to be the smallest element in Vars.
- Vars
- List of variables or numbers (NOT arbitrary expressions)
- Min
- Minimum element of Vars
Description
Constrains Max to be the smallest element in the list of variables of
numbers (Vars).
You may find it more convenient to embed min(Vars) in a constraint.
See Also
max / 2