}
public Linear(int[] values, Var[] vars, String oper, Var var) {
super(vars[0].getProblem(), name);
Problem problem = (Problem) vars[0].getProblem();
Constrainer constrainer = problem.getConstrainer();
IntExpArray intvars = new IntExpArray(constrainer, vars.length);
for (int i = 0; i < vars.length; i++) {
IntExp cvar = (IntExp) vars[i].getImpl();
intvars.set(cvar, i);
}
IntExp scalProd = constrainer.scalarProduct(intvars, values);
problem.defineConstraintImpl(this, scalProd, oper, var);
}