ALLDIFFC
Arguments: i &optional test [generic-function]
alldiffc
Constraint.
It states that the input, which should be a variable or result from a calculus on a variable, have to be alldifferent. See the example patches (allinterval for instance).
Constraint.
It states that the input, which should be a variable or result from a calculus on a variable, have to be alldifferent. See the example patches (allinterval for instance).
Inputs
first input : a variable or combination of variables
optional input : a predicate, which is the equality on numbers
first input : a variable or combination of variables
optional input : a predicate, which is the equality on numbers
