FloatExp[] vars = _vars.data();
for(int i=0; i < vars.length; i++)
{
FloatExp vari = (FloatExp)vars[i];
double mini = vari.min();
double maxi = vari.max();
double new_min = value - (sum_max - maxi);
if (new_min > mini)
{
vari.setMin(new_min);
}
double new_max = value - (sum_min - mini);
if (new_max < maxi)
{
vari.setMax(new_max);
}
}
}