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

alldifferent(?List)

All elements of List are different
List
list of variables or domain values

Description

Constrains all list elements to be different values of the same domain. This is implemented by mapping onto ic_global:alldifferent/1. All list elements must be variables or values of the same domain. If one or more of them are domain-less, they will be given the same domain as the others.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

See Also

ic_global : alldifferent / 1