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


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


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.


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

See Also

ic_global : alldifferent / 1