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