/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/ |
H A D | lp_primal_core_solver.h | 520 this->set_status(lp_status::OPTIMAL); in one_iteration_tableau_rows() 538 this->set_status(lp_status::INFEASIBLE); in one_iteration_tableau_rows() 547 this->set_status(lp_status::OPTIMAL); in one_iteration_tableau_rows() 563 this->set_status(this->current_x_is_feasible()? lp_status::OPTIMAL: lp_status::INFEASIBLE); in decide_on_status_when_cannot_find_entering() 971 this->set_status(lp_status::UNKNOWN); in lp_primal_core_solver()
|
H A D | lp_primal_simplex_def.h | 171 this->m_status = lp_status::EMPTY; in find_maximal_solution() 177 if (this->m_status == lp_status::INFEASIBLE) { in find_maximal_solution() 234 this->m_status = lp_status::OPTIMAL; in solve_with_total_inf()
|
H A D | lp_core_solver_base.h | 40 lp_status m_status; 146 void set_status(lp_status status) { in set_status() 149 lp_status get_status() const{ in get_status()
|
H A D | nla_core.cpp | 1486 if (!(m_lar_solver.get_status() == lp::lp_status::OPTIMAL || 1487 m_lar_solver.get_status() == lp::lp_status::FEASIBLE)) { 1562 m_lar_solver.set_status(lp::lp_status::OPTIMAL);
|
/dports/math/z3/z3-z3-4.8.13/src/test/lp/ |
H A D | lp.cpp | 1451 if (solver->get_status() == lp_status::OPTIMAL) { in solve_mps_double() 1503 if (solver->get_status() == lp_status::OPTIMAL) { in solve_mps_rational() 1551 if (solver->get_status() == lp_status::OPTIMAL) { in solve_mps_in_rational() 1656 if (solver->get_status() == lp_status::OPTIMAL) { in solve_mps_with_known_solution() 2028 lp_assert(solver.get_status() == lp_status::OPTIMAL); in solve_rational() 2671 lp_status status = solver->solve(); in run_lar_solver() 2673 if (solver->get_status() == lp_status::INFEASIBLE) { in run_lar_solver() 2678 if (solver->get_status() != lp_status::OPTIMAL) { in run_lar_solver() 2930 void print_st(lp_status status) { in print_st() 2959 if (status != lp_status::OPTIMAL) { in test_term() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/test/lp/ |
H A D | lp.cpp | 1451 if (solver->get_status() == lp_status::OPTIMAL) { 1503 if (solver->get_status() == lp_status::OPTIMAL) { 1551 if (solver->get_status() == lp_status::OPTIMAL) { 1656 if (solver->get_status() == lp_status::OPTIMAL) { 2028 lp_assert(solver.get_status() == lp_status::OPTIMAL); 2671 lp_status status = solver->solve(); 2673 if (solver->get_status() == lp_status::INFEASIBLE) { 2678 if (solver->get_status() != lp_status::OPTIMAL) { 2930 void print_st(lp_status status) { 2959 if (status != lp_status::OPTIMAL) { [all …]
|
/dports/math/py-or-tools/or-tools-9.2/ortools/lp_data/ |
H A D | matrix_scaler.cc | 107 Status lp_status = LPScale(); in Scale() local 109 if (lp_status.ok()) { in Scale() 112 VLOG(1) << "Error with LP scaling: " << lp_status.error_message(); in Scale()
|
/dports/math/z3/z3-z3-4.8.13/src/math/lp/ |
H A D | lp_primal_simplex_def.h | 171 this->m_status = lp_status::EMPTY; in find_maximal_solution() 177 if (this->m_status == lp_status::INFEASIBLE) { in find_maximal_solution() 234 this->m_status = lp_status::OPTIMAL; in solve_with_total_inf()
|
H A D | lp_core_solver_base.h | 40 lp_status m_status; 146 void set_status(lp_status status) { in set_status() 149 lp_status get_status() const{ in get_status()
|
H A D | nla_core.cpp | 1488 if (!(m_lar_solver.get_status() == lp::lp_status::OPTIMAL || in check() 1489 m_lar_solver.get_status() == lp::lp_status::FEASIBLE)) { in check() 1601 m_lar_solver.set_status(lp::lp_status::OPTIMAL); in test_check()
|
/dports/math/z3/z3-z3-4.8.13/src/shell/ |
H A D | lp_frontend.cpp | 87 if (solver->get_status() == lp::lp_status::OPTIMAL) { in run_solver()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/shell/ |
H A D | lp_frontend.cpp | 87 if (solver->get_status() == lp::lp_status::OPTIMAL) { in run_solver()
|
/dports/math/z3/z3-z3-4.8.13/src/smt/ |
H A D | theory_lra.cpp | 3087 case lp::lp_status::INFEASIBLE: in make_feasible() 3089 case lp::lp_status::FEASIBLE: in make_feasible() 3090 case lp::lp_status::OPTIMAL: in make_feasible() 3093 case lp::lp_status::TIME_EXHAUSTED: in make_feasible() 3457 lp::lp_status st; in maximize() 3464 st = lp::lp_status::UNBOUNDED; in maximize() 3467 st = lp::lp_status::UNBOUNDED; in maximize() 3477 st = lp::lp_status::FEASIBLE; in maximize() 3481 st = lp::lp_status::FEASIBLE; in maximize() 3486 case lp::lp_status::OPTIMAL: { in maximize() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/ |
H A D | arith_solver.cpp | 956 if (lp().get_status() != lp::lp_status::OPTIMAL) { in check() 1058 case lp::lp_status::INFEASIBLE: in make_feasible() 1060 case lp::lp_status::FEASIBLE: in make_feasible() 1061 case lp::lp_status::OPTIMAL: in make_feasible() 1063 case lp::lp_status::TIME_EXHAUSTED: in make_feasible() 1186 return lp().get_status() == lp::lp_status::INFEASIBLE; in is_infeasible()
|
/dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
H A D | arith_solver.cpp | 989 if (lp().get_status() != lp::lp_status::OPTIMAL || lp().has_changed_columns()) { in check() 1096 case lp::lp_status::INFEASIBLE: in make_feasible() 1098 case lp::lp_status::FEASIBLE: in make_feasible() 1099 case lp::lp_status::OPTIMAL: in make_feasible() 1101 case lp::lp_status::TIME_EXHAUSTED: in make_feasible() 1237 return lp().get_status() == lp::lp_status::INFEASIBLE; in is_infeasible()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
H A D | theory_lra.cpp | 3095 case lp::lp_status::INFEASIBLE: in make_feasible() 3097 case lp::lp_status::FEASIBLE: in make_feasible() 3098 case lp::lp_status::OPTIMAL: in make_feasible() 3101 case lp::lp_status::TIME_EXHAUSTED: in make_feasible() 3456 lp::lp_status st; in maximize() 3463 st = lp::lp_status::UNBOUNDED; in maximize() 3466 st = lp::lp_status::UNBOUNDED; in maximize() 3476 st = lp::lp_status::FEASIBLE; in maximize() 3482 case lp::lp_status::OPTIMAL: { in maximize() 3490 case lp::lp_status::FEASIBLE: { in maximize() [all …]
|
/dports/net/quagga/quagga-1.2.4/lib/ |
H A D | zclient.c | 808 iflp->lp_status = stream_getl (s); in link_params_set_value() 903 w += stream_putl (s, iflp->lp_status); in zebra_interface_link_params_write()
|
H A D | if.c | 1157 iflp->lp_status = LP_TE | LP_MAX_BW | LP_MAX_RSV_BW | LP_UNRSV_BW; in if_link_params_get()
|
/dports/net/ryu/ryu-4.26/ryu/lib/packet/ |
H A D | zebra.py | 529 def __init__(self, lp_status, te_metric, max_bw, max_reserved_bw, argument 534 self.lp_status = lp_status 556 (lp_status, te_metric, max_bw, max_reserved_bw, 576 return cls(lp_status, te_metric, max_bw, max_reserved_bw, 583 self._HEADER_FMT, self.lp_status, self.te_metric, self.max_bw,
|
/dports/www/ilias/ILIAS-5.4.25/Modules/Course/classes/ |
H A D | class.ilObjCourseGUI.php | 1413 $lp_status = new ilFormSectionHeaderGUI(); 1414 $lp_status->setTitle($this->lng->txt('crs_course_status_of_users')); 1415 $form->addItem($lp_status);
|
/dports/www/ilias6/ILIAS-6.14/Modules/Course/classes/ |
H A D | class.ilObjCourseGUI.php | 1434 $lp_status = new ilFormSectionHeaderGUI(); 1435 $lp_status->setTitle($this->lng->txt('crs_course_status_of_users')); 1436 $form->addItem($lp_status);
|
/dports/misc/mc-nox11/mc-4.8.27/src/vfs/smbfs/helpers/include/ |
H A D | proto.h | 538 BOOL lp_status (int);
|
/dports/misc/mc/mc-4.8.27/src/vfs/smbfs/helpers/include/ |
H A D | proto.h | 538 BOOL lp_status (int);
|
/dports/net/frr7-pythontools/frr-frr-7.5.1/lib/ |
H A D | if.c | 1304 iflp->lp_status = in if_link_params_get()
|
/dports/net/frr7/frr-frr-7.5.1/lib/ |
H A D | if.c | 1304 iflp->lp_status = in if_link_params_get()
|