[ 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