952953954955956957958959960
} else { Solver s = VAR.getSolver(); double lb = VAR.getLB(); double ub = VAR.getUB(); RealVar rv = real("(real)" + VAR.getName(), lb, ub, PRECISION, s); s.post(new IntEqRealConstraint(VAR, rv, PRECISION)); return rv; } }
979980981982983984985986987
for (int i = 0; i < VARS.length; i++) { double lb = VARS[i].getLB(); double ub = VARS[i].getUB(); reals[i] = real("(real)" + VARS[i].getName(), lb, ub, PRECISION, s); } s.post(new IntEqRealConstraint(VARS, reals, PRECISION)); } return reals; }