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

# alldistinct(?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. It is just a compatibility alias for alldifferent/1.

### Fail Conditions

Fails if two element of the list are equal.

### Resatisfiable

No.

## See Also

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