IntArray intValues = new IntArray(constrainer, array.length);
for (int i = 0; i < array.length; i++) {
intValues.set(array[i], i);
}
try {
IntExp element = intValues.elementAt((IntExp) indexVar.getImpl());
problem.defineConstraintImpl(this, element, oper, value);
}
catch (Exception f) {
throw new RuntimeException("Failure to create constraint "+name);
}