
all_distinct(+Vars)

   

Type
   library(clpfd)

See Also
   ic_global : alldifferent / 1
