[ library(ic_global) | Reference Manual | Alphabetic Index ]

alldifferent(+Vars)

All members of Vars are different
Vars
A collection (a la collection_to_list/2) of variables or integers

Description

Constrains all elements of a collection to be pairwise different (and integral). This is an implementation with the same semantics as the standard alldifferent/1 constraint, but with stronger propagation behaviour. It checks for exhaustion of all sub-ranges of possible values.

The algorithm is based roughly on: Jean Francois Puget, A fast algorithm for the bound consistency of the alldiff constraint, AAAI 1998, but makes some additional inferences based on domain size.

Any input variables which do not already have finite bounds will be given default bounds of -10000000 to 10000000.

Examples

    ?- length(Xs,5), Xs::1..4, alldifferent(Xs).
    no (more) solution.


    ?- [X1,X2]::1..2, [X3,X4,X5]::1..5, alldifferent([X1,X2,X3,X4,X5]).

    X1 = X1{[1, 2]}
    X2 = X2{[1, 2]}
    X3 = X3{[3..5]}
    X4 = X4{[3..5]}
    X5 = X5{[3..5]}

    Delayed goals:
        alldifferent([X1{[1, 2]}, X2{[1, 2]}], 1)
        alldifferent([X3{[3..5]}, X4{[3..5]}, X5{[3..5]}], 1)

See Also

ic : alldifferent / 1, ic_symbolic : alldifferent / 1, gfd : alldifferent / 1, sd : alldifferent / 1, fd_global : alldifferent / 1, fd : alldifferent / 1, fd_global_gac : alldifferent / 1, ic_global_gac : alldifferent / 1, alldifferent / 2, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2