/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/contrib/gdp_bounds/ |
H A D | compute_bounds.py | 100 var_ub = solve_bounding_problem(model, solver) 101 if var_ub is None: 104 var_ub = -var_ub # sign correction 107 var.setub(var_ub)
|
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/contrib/preprocessing/plugins/ |
H A D | bounds_to_vars.py | 76 var_ub = float('inf') if var.ub is None else var.ub 77 var.setub(min(var_ub, new_ub)) 89 var_ub = float('inf') if var.ub is None else var.ub 90 var.setub(min(var_ub, new_ub))
|
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/scripting/ |
H A D | convert.py | 123 var_ub = [] 139 var_ub.append(str(_ub)) 141 var_ub.append("inf") 182 dakfrag.write(" upper_bounds " + " ".join(var_ub) + '\n')
|
/dports/math/py-or-tools/or-tools-9.2/ortools/math_opt/ |
H A D | model.proto | 77 // var_lb <= x <= var_ub 82 // * c, var_lb, var_ub are vectors in R^n 86 // * potentially var_ub, cons_ub are +inf
|
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
H A D | cuts.cc | 149 const IntegerValue var_ub = integer_trail.LevelZeroUpperBound(var); 152 sorted_terms.push_back(coeff * (var_ub - var_lb)); 264 const IntegerValue var_ub = integer_trail.LevelZeroUpperBound(var); 266 if (ToDouble(var_ub) - lp_values[var] <= 1.0 - kMinCutViolation) { 285 const IntegerValue var_ub = integer_trail.LevelZeroUpperBound(var); 287 term_sum += coeff * var_ub; 355 item.profit = ToDouble(var_ub) - lp_values[var]; 356 item.weight = ToDouble(coeff * (var_ub - var_lb)); 358 capacity += ToDouble(coeff * var_ub); 534 const double variable_profit = var_ub - lp_values[var]; [all …]
|
H A D | optimization.cc | 1418 const IntegerValue var_ub = integer_trail_->UpperBound(term.var); in PropagateObjectiveBounds() local 1419 if (var_lb == var_ub) continue; in PropagateObjectiveBounds() 1426 if (gap / term.weight < var_ub - var_lb) { in PropagateObjectiveBounds() 1429 CHECK_LT(new_ub, var_ub); in PropagateObjectiveBounds() 1457 const IntegerValue var_ub = integer_trail_->LevelZeroUpperBound(term.var); in ComputeNextStratificationThreshold() local 1458 if (var_lb == var_ub) continue; in ComputeNextStratificationThreshold() 1580 const IntegerValue var_ub = integer_trail_->UpperBound(term.var); in Optimize() local 1581 if (var_lb == var_ub) { in Optimize()
|
H A D | integer_search.cc | 61 const IntegerValue var_ub = integer_trail->UpperBound(var); in GreaterOrEqualToMiddleValue() local 62 CHECK_LT(var_lb, var_ub); in GreaterOrEqualToMiddleValue() 65 var_lb + std::max(IntegerValue(1), (var_ub - var_lb) / IntegerValue(2)); in GreaterOrEqualToMiddleValue()
|
/dports/math/clp/Clp-1.17.3/Clp/test/ |
H A D | OsiClpSolverInterfaceTest.cpp | 597 double var_ub[8]; in OsiClpSolverInterfaceUnitTest() local 601 var_ub[i] = 1.0; in OsiClpSolverInterfaceUnitTest() 606 {clpSi.loadProblem(pmone_matrix,var_lb,var_ub,cost,rhs,rhs); in OsiClpSolverInterfaceUnitTest()
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Octagonal_Shape_defs.hh | 1984 static void interval_coefficient_upper_bound(const N& var_ub,
|
H A D | Octagonal_Shape_templates.hh | 5855 interval_coefficient_upper_bound(const N& var_ub, const N& minus_var_ub, in interval_coefficient_upper_bound() argument 5874 add_mul_assign_r(result, var_ub, int_ub, ROUND_UP); in interval_coefficient_upper_bound() 5876 add_mul_assign_r(third_comparison_term, var_ub, int_lb, ROUND_UP); in interval_coefficient_upper_bound()
|
H A D | ppl.hh.dist | 69257 static void interval_coefficient_upper_bound(const N& var_ub, 76909 interval_coefficient_upper_bound(const N& var_ub, const N& minus_var_ub, 76928 add_mul_assign_r(result, var_ub, int_ub, ROUND_UP); 76930 add_mul_assign_r(third_comparison_term, var_ub, int_lb, ROUND_UP);
|
/dports/math/gravity/Gravity-da941e9/src/ |
H A D | model.cpp | 6046 var<> vark, vk, v, var_ub; in run_obbt_one_iteration() local 6450 var_ub=this->template get_var<T>(vname); in run_obbt_one_iteration() 6460 var_ub.uneval(); in run_obbt_one_iteration() 6461 … if((var_ub.eval(key)-v.get_lb(key)) <0.000 || (var_ub.eval(key)-v.get_ub(key))>0.000){ in run_obbt_one_iteration() 6463 …DebugOn("xb false Variable " <<vname<< " key "<< key<< " UB_value " <<var_ub.eval(key) <<"OBBT, lb… in run_obbt_one_iteration()
|