[ ECLiPSe Finite Domain built-in.|Group Index| Full 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.

Exceptions

Examples


See Also

:: / 2, ## / 2, alldistinct / 1