Home
last modified time | relevance | path

Searched refs:var_ub (Results 1 – 12 of 12) sorted by relevance

/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/contrib/gdp_bounds/
H A Dcompute_bounds.py100 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 Dbounds_to_vars.py76 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 Dconvert.py123 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 Dmodel.proto77 // 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 Dcuts.cc149 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 Doptimization.cc1418 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 Dinteger_search.cc61 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 DOsiClpSolverInterfaceTest.cpp597 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 DOctagonal_Shape_defs.hh1984 static void interval_coefficient_upper_bound(const N& var_ub,
H A DOctagonal_Shape_templates.hh5855 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 Dppl.hh.dist69257 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 Dmodel.cpp6046 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()