[ library(ic_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