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

# <ConsistencyModule:> min(+Collection,?Min)

Min is the minimum of the values in Collection

Collection
  A collection (a la collection_to_list/2) of integers or (domain) variables
Min
  (Domain) variable or integer (array notation accepted)

## Description

Min is the minimum of the values in Collection.

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

ConsistencyModule is the optional module specification to give the consistency level for the propagation for this constraint: gfd_bc for bounds consistency, and gfd_gac for domain (generalised arc) consistency.

This constraint is known as minimum in the global constraint catalog, and is implemented using Gecode's min() constraint.

## See Also

max / 2, sum / 2, min / 2, ic : min / 2, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2