
<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                 Variable or integer

Type
   library(gfd)

Description
    	Min is the minimum of the values in Collection.  

        You may find it more convenient to embed minlist(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, lists : collection_to_list / 2
