countDifferent
Returns the number of different values in a given integer expression array.
Syntax
intExpr countDifferent(intExprArray exprs)
Parameters
-
exprs: an array of integer expressions
Description
This expression number of distinct values in the array exprs.
Example
To ensure that variables a1..a5 have only 2 or 3 different values:
a1 = intVar(1..5);
a2 = intVar(1..5);
a3 = intVar(1..5);
a4 = intVar(1..5);
a5 = intVar(1..5);
range(countDifferent([a1, a2, a3, a4, a5]), 2, 3);