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

# min(+Vars, ?Min)

Constrains Min to be the smallest element in Vars.

Vars
  Collection (a la collection_to_list/2) of variables or numbers (NOT arbitrary expressions)
Min
  Minimum element of Vars

## Description

Constrains Max to be the smallest element in the collection of variables or numbers Vars.

You may find it more convenient to embed `min(Vars)` in a constraint.

## See Also

max / 2, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2