Home
last modified time | relevance | path

Searched refs:lp_status (Results 51 – 75 of 81) sorted by relevance

1234

/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/
H A Dlp_primal_core_solver.h520 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 Dlp_primal_simplex_def.h171 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 Dlp_core_solver_base.h40 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 Dnla_core.cpp1486 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 Dlp.cpp1451 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 Dlp.cpp1451 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 Dmatrix_scaler.cc107 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 Dlp_primal_simplex_def.h171 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 Dlp_core_solver_base.h40 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 Dnla_core.cpp1488 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 Dlp_frontend.cpp87 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 Dlp_frontend.cpp87 if (solver->get_status() == lp::lp_status::OPTIMAL) { in run_solver()
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dtheory_lra.cpp3087 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 Darith_solver.cpp956 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 Darith_solver.cpp989 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 Dtheory_lra.cpp3095 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 Dzclient.c808 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 Dif.c1157 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 Dzebra.py529 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 Dclass.ilObjCourseGUI.php1413 $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 Dclass.ilObjCourseGUI.php1434 $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 Dproto.h538 BOOL lp_status (int);
/dports/misc/mc/mc-4.8.27/src/vfs/smbfs/helpers/include/
H A Dproto.h538 BOOL lp_status (int);
/dports/net/frr7-pythontools/frr-frr-7.5.1/lib/
H A Dif.c1304 iflp->lp_status = in if_link_params_get()
/dports/net/frr7/frr-frr-7.5.1/lib/
H A Dif.c1304 iflp->lp_status = in if_link_params_get()

1234