[ library(fd_global) | Reference Manual | Alphabetic Index ]
alldifferent(+Vars, ++Capacity)
Vars contains at most Capacity elements of each value
- Vars
- A collection (a la collection_to_list/2) of variables or integers
- Capacity
- Maximum number of times a value can appear in Vars
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