
alldifferent(+Vars, ++Capacity)

   Vars contains at most Capacity elements of each value

Arguments
   Vars                A collection (a la collection_to_list/2) of variables or integers
   Capacity            Maximum number of times a value can appear in Vars

Type
   library(ic_global)

Description
    This is a generalization of alldifferent/1.  It allows repeated elements
    in the collection, but there can be no more than Capacity elements with
    a particular value.
    
    Any input variables which do not already have finite bounds will
    be given default bounds of -10000000 to 10000000.

See Also
   alldifferent / 1, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2
