[ library(fd_global) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

alldifferent(+List)

All members of List are different

Description

All members of List are different. This is an implementation with the same semantics but with stronger propagation behaviour. It checks for exhaustion of all sub-ranges of possible values.

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

alldifferent / 1, alldifferent / 2