public FiniteIntegerDomain(params int[] pValues) { // Keep consistent order possibleValues = new Set<int>(); foreach (int v in pValues) { possibleValues.add(v); } indexPossibleValues(possibleValues); }