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

alldifferent(?List)

The elements of the list List are pairwise different.
?List
A list of integers and domain variables.

Description

This constraint imposes the constraint ##/2 on every pair of element of List.

Fail Conditions

Fails if two element of the list are equal.

Resatisfiable

No.

See Also

:: / 2, #:: / 2, ## / 2, fd_global : alldifferent / 1