190191192193194195196197198199200
for(int i=0; i < vars.length; i++) { FloatExp vari = (FloatExp)vars[i]; double maxi = max - (min_sum - vari.min()); if (maxi < vari.max()) { vari.setMax(maxi); } } // System.out.println("---- set max:" + max + " in " + this);
213214215216217218219220221222223
FloatExp[] vars = _vars.data(); for(int i=0; i < vars.length; i++) { FloatExp vari = (FloatExp)vars[i]; double mini = min - (max_sum - vari.max()); if (mini > vari.min()) { vari.setMin(mini); } }
249250251252253254255256257258259
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);