Module Alldiff

module Alldiff: sig .. end

val cstr : ?algo:algo -> Var.Fd.t array -> Cstr.t

alldiff (?algo:Lazy) vars States that the variables of vars are different from each other. The optional argument algo specifies the level of propagation. Lazy: waits for instantiation and removes the corresponding value from other domains. Bin_matching c: waits for event c (e.g. Var.Fd.on_refine) and uses a bin matching algorithm to ensure the constraint is consistent. algo default value is Lazy. Not reifiable.