189190191192193194195196197198199
FloatExp[] vars = _vars.data(); 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); } }
214215216217218219220221222223224
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); } } // System.out.println("---- set min:" + min + " in " + this);
248249250251252253254255256257258
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) {