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

   Min is the minimum of the values in Collection

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

Type
   library(gfd)

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
