Home
last modified time | relevance | path

Searched refs:lp_status (Results 1 – 25 of 81) sorted by relevance

1234

/dports/math/z3/z3-z3-4.8.13/src/math/lp/
H A Dlp_settings_def.h37 const char* lp_status_to_string(lp_status status) { in lp_status_to_string()
39 case lp_status::UNKNOWN: return "UNKNOWN"; in lp_status_to_string()
40 case lp_status::INFEASIBLE: return "INFEASIBLE"; in lp_status_to_string()
41 case lp_status::UNBOUNDED: return "UNBOUNDED"; in lp_status_to_string()
44 case lp_status::OPTIMAL: return "OPTIMAL"; in lp_status_to_string()
45 case lp_status::FEASIBLE: return "FEASIBLE"; in lp_status_to_string()
49 case lp_status::EMPTY: return "EMPTY"; in lp_status_to_string()
50 case lp_status::UNSTABLE: return "UNSTABLE"; in lp_status_to_string()
57 lp_status lp_status_from_string(std::string status) { in lp_status_from_string()
66 if (status == "EMPTY") return lp_status::EMPTY; in lp_status_from_string()
[all …]
H A Dlp_dual_simplex_def.h25 case lp_status::OPTIMAL: in decide_on_status_after_stage1()
27 this->m_status = lp_status::FEASIBLE; in decide_on_status_after_stage1()
32 case lp_status::DUAL_UNBOUNDED: in decide_on_status_after_stage1()
34 case lp_status::ITERATIONS_EXHAUSTED: in decide_on_status_after_stage1()
37 case lp_status::TIME_EXHAUSTED: in decide_on_status_after_stage1()
40 case lp_status::FLOATING_POINT_ERROR: in decide_on_status_after_stage1()
120 case lp_status::OPTIMAL: in solve_for_stage2()
121 this->m_status = lp_status::OPTIMAL; in solve_for_stage2()
123 case lp_status::DUAL_UNBOUNDED: in solve_for_stage2()
126 case lp_status::TIME_EXHAUSTED: in solve_for_stage2()
[all …]
H A Dlp_primal_core_solver_tableau_def.h39 this->set_status(lp_status::UNBOUNDED); in advance_on_entering_tableau()
104 this->set_status(lp_status::FEASIBLE); in solve_with_tableau()
124 case lp_status::INFEASIBLE: in solve_with_tableau()
141 this->set_status(lp_status::UNKNOWN); in solve_with_tableau()
153 case lp_status::TENTATIVE_UNBOUNDED: in solve_with_tableau()
162 case lp_status::UNBOUNDED: in solve_with_tableau()
165 this->set_status(lp_status::UNKNOWN); in solve_with_tableau()
169 case lp_status::UNSTABLE: in solve_with_tableau()
188 this->set_status(lp_status::CANCELLED); in solve_with_tableau()
193 this->get_status() != lp_status::UNBOUNDED in solve_with_tableau()
[all …]
H A Dint_cube.cpp38 lra.set_status(lp_status::OPTIMAL); in operator ()()
42 lp_status st = lra.find_feasible_solution(); in operator ()()
43 if (st != lp_status::FEASIBLE && st != lp_status::OPTIMAL) { in operator ()()
52 lra.set_status(lp_status::FEASIBLE); in operator ()()
81 … lp_assert(lp_status::OPTIMAL == lra.get_status() || lp_status::FEASIBLE == lra.get_status()); in find_feasible_solution()
H A Dlp_primal_core_solver_def.h717 this->set_status(lp_status::UNSTABLE); in advance_on_entering_and_leaving()
724 this->set_status(lp_status::UNSTABLE); in advance_on_entering_and_leaving()
752 this->set_status(lp_status::FEASIBLE); in advance_on_entering_and_leaving()
780 this->set_status(lp_status::UNBOUNDED); in advance_on_entering_precise()
873 this->set_status(lp_status::FEASIBLE); in solve()
891 case lp_status::INFEASIBLE: in solve()
920 case lp_status::TENTATIVE_UNBOUNDED: in solve()
929 case lp_status::UNBOUNDED: in solve()
936 case lp_status::UNSTABLE: in solve()
1051 this->set_status(lp_status::UNKNOWN); in find_feasible_solution()
[all …]
H A Dlar_core_solver_def.h145 m_r_solver.set_status(lp_status::OPTIMAL); in solve()
157 if (m_d_solver.get_status() == lp_status::TIME_EXHAUSTED) { in solve()
158 m_r_solver.set_status(lp_status::TIME_EXHAUSTED); in solve()
182 if (m_r_solver.get_status() == lp_status::INFEASIBLE) { in solve()
185 else if (m_r_solver.get_status() != lp_status::UNBOUNDED) { in solve()
186 m_r_solver.set_status(lp_status::OPTIMAL); in solve()
H A Dlp_dual_core_solver_def.h100 if (this->get_status() == lp_status::OPTIMAL) { in done()
104 this->set_status(lp_status::ITERATIONS_EXHAUSTED); in done()
188 if (this->get_status() != lp_status::UNSTABLE) { in pricing_loop()
189 this->set_status(lp_status::OPTIMAL); in pricing_loop()
202 this->set_status(lp_status::UNSTABLE); in pricing_loop()
489 this->set_status(lp_status::FLOATING_POINT_ERROR); in revert_to_previous_basis()
564 this->set_status(lp_status::DUAL_UNBOUNDED); in set_status_to_tentative_dual_unbounded_or_dual_unbounded()
566 this->set_status(lp_status::TENTATIVE_DUAL_UNBOUNDED); in set_status_to_tentative_dual_unbounded_or_dual_unbounded()
672 this->set_status(lp_status::FEASIBLE); in ratio_test()
731 this->set_status(lp_status::FEASIBLE); in one_iteration()
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/
H A Dlp_settings_def.h37 const char* lp_status_to_string(lp_status status) { in lp_status_to_string()
39 case lp_status::UNKNOWN: return "UNKNOWN"; in lp_status_to_string()
40 case lp_status::INFEASIBLE: return "INFEASIBLE"; in lp_status_to_string()
41 case lp_status::UNBOUNDED: return "UNBOUNDED"; in lp_status_to_string()
44 case lp_status::OPTIMAL: return "OPTIMAL"; in lp_status_to_string()
45 case lp_status::FEASIBLE: return "FEASIBLE"; in lp_status_to_string()
49 case lp_status::EMPTY: return "EMPTY"; in lp_status_to_string()
50 case lp_status::UNSTABLE: return "UNSTABLE"; in lp_status_to_string()
57 lp_status lp_status_from_string(std::string status) { in lp_status_from_string()
66 if (status == "EMPTY") return lp_status::EMPTY; in lp_status_from_string()
[all …]
H A Dlp_dual_simplex_def.h25 case lp_status::OPTIMAL: in decide_on_status_after_stage1()
27 this->m_status = lp_status::FEASIBLE; in decide_on_status_after_stage1()
32 case lp_status::DUAL_UNBOUNDED: in decide_on_status_after_stage1()
34 case lp_status::ITERATIONS_EXHAUSTED: in decide_on_status_after_stage1()
37 case lp_status::TIME_EXHAUSTED: in decide_on_status_after_stage1()
40 case lp_status::FLOATING_POINT_ERROR: in decide_on_status_after_stage1()
120 case lp_status::OPTIMAL: in solve_for_stage2()
121 this->m_status = lp_status::OPTIMAL; in solve_for_stage2()
123 case lp_status::DUAL_UNBOUNDED: in solve_for_stage2()
126 case lp_status::TIME_EXHAUSTED: in solve_for_stage2()
[all …]
H A Dlp_primal_core_solver_tableau_def.h39 this->set_status(lp_status::UNBOUNDED); in advance_on_entering_tableau()
104 this->set_status(lp_status::FEASIBLE); in solve_with_tableau()
124 case lp_status::INFEASIBLE: in solve_with_tableau()
141 this->set_status(lp_status::UNKNOWN); in solve_with_tableau()
153 case lp_status::TENTATIVE_UNBOUNDED: in solve_with_tableau()
162 case lp_status::UNBOUNDED: in solve_with_tableau()
165 this->set_status(lp_status::UNKNOWN); in solve_with_tableau()
169 case lp_status::UNSTABLE: in solve_with_tableau()
186 this->get_status() != lp_status::OPTIMAL in solve_with_tableau()
199 this->set_status(lp_status::CANCELLED); in solve_with_tableau()
[all …]
H A Dint_cube.cpp38 lra.set_status(lp_status::OPTIMAL); in operator ()()
42 lp_status st = lra.find_feasible_solution(); in operator ()()
43 if (st != lp_status::FEASIBLE && st != lp_status::OPTIMAL) { in operator ()()
52 lra.set_status(lp_status::FEASIBLE); in operator ()()
81 … lp_assert(lp_status::OPTIMAL == lra.get_status() || lp_status::FEASIBLE == lra.get_status()); in find_feasible_solution()
H A Dlp_primal_core_solver_def.h717 this->set_status(lp_status::UNSTABLE); in advance_on_entering_and_leaving()
724 this->set_status(lp_status::UNSTABLE); in advance_on_entering_and_leaving()
752 this->set_status(lp_status::FEASIBLE); in advance_on_entering_and_leaving()
780 this->set_status(lp_status::UNBOUNDED); in advance_on_entering_precise()
873 this->set_status(lp_status::FEASIBLE); in solve()
891 case lp_status::INFEASIBLE: in solve()
920 case lp_status::TENTATIVE_UNBOUNDED: in solve()
929 case lp_status::UNBOUNDED: in solve()
936 case lp_status::UNSTABLE: in solve()
1051 this->set_status(lp_status::UNKNOWN); in find_feasible_solution()
[all …]
H A Dlar_core_solver_def.h145 m_r_solver.set_status(lp_status::OPTIMAL); in solve()
157 if (m_d_solver.get_status() == lp_status::TIME_EXHAUSTED) { in solve()
158 m_r_solver.set_status(lp_status::TIME_EXHAUSTED); in solve()
182 if (m_r_solver.get_status() == lp_status::INFEASIBLE) { in solve()
185 else if (m_r_solver.get_status() != lp_status::UNBOUNDED) { in solve()
186 m_r_solver.set_status(lp_status::OPTIMAL); in solve()
H A Dlp_dual_core_solver_def.h100 if (this->get_status() == lp_status::OPTIMAL) { in done()
104 this->set_status(lp_status::ITERATIONS_EXHAUSTED); in done()
188 if (this->get_status() != lp_status::UNSTABLE) { in pricing_loop()
189 this->set_status(lp_status::OPTIMAL); in pricing_loop()
202 this->set_status(lp_status::UNSTABLE); in pricing_loop()
489 this->set_status(lp_status::FLOATING_POINT_ERROR); in revert_to_previous_basis()
564 this->set_status(lp_status::DUAL_UNBOUNDED); in set_status_to_tentative_dual_unbounded_or_dual_unbounded()
566 this->set_status(lp_status::TENTATIVE_DUAL_UNBOUNDED); in set_status_to_tentative_dual_unbounded_or_dual_unbounded()
672 this->set_status(lp_status::FEASIBLE); in ratio_test()
731 this->set_status(lp_status::FEASIBLE); in one_iteration()
[all …]
/dports/www/ilias/ILIAS-5.4.25/Modules/IndividualAssessment/classes/Members/
H A Dclass.ilIndividualAssessmentMember.php22 protected $lp_status; variable in ilIndividualAssessmentMember
35 $this->lp_status = $data[ilIndividualAssessmentMembers::FIELD_LEARNING_PROGRESS];
294 protected function LPStatusValid($lp_status) argument
296 return (string) $lp_status === (string) ilIndividualAssessmentMembers::LP_NOT_ATTEMPTED
298 || (string) $lp_status === (string) ilIndividualAssessmentMembers::LP_COMPLETED
299 || (string) $lp_status === (string) ilIndividualAssessmentMembers::LP_FAILED;
305 * @param string $lp_status
308 public function withLPStatus($lp_status) argument
310 if ($this->LPStatusValid($lp_status)) {
312 $clone->lp_status = $lp_status;
[all …]
/dports/www/ilias6/ILIAS-6.14/Modules/LearningSequence/test/LearnerProgress/
H A DilLSLPEventHandlerTest.php39 protected $lp_status; variable in ilLSLPEventHandlerTest
44 $this->lp_status = new ilLPStatusWrapperStub();
49 $obj = new ilLSLPEventHandler($this->tree, $this->lp_status);
69 $obj = new ilLSLPEventHandlerStub($this->tree, $this->lp_status);
/dports/www/ilias6/ILIAS-6.14/Modules/IndividualAssessment/classes/Members/
H A Dclass.ilIndividualAssessmentMember.php167 protected function LPStatusValid($lp_status) argument
169 return (string) $lp_status === (string) ilIndividualAssessmentMembers::LP_NOT_ATTEMPTED
170 || (string) $lp_status === (string) ilIndividualAssessmentMembers::LP_IN_PROGRESS
171 || (string) $lp_status === (string) ilIndividualAssessmentMembers::LP_COMPLETED
172 || (string) $lp_status === (string) ilIndividualAssessmentMembers::LP_FAILED;
/dports/net/quagga/quagga-1.2.4/lib/
H A Dif.h160 #define IS_PARAM_UNSET(lp, st) !(lp->lp_status & st)
161 #define IS_PARAM_SET(lp, st) (lp->lp_status & st)
162 #define IS_LINK_PARAMS_SET(lp) (lp->lp_status != LP_UNSET)
164 #define SET_PARAM(lp, st) (lp->lp_status) |= (st)
165 #define UNSET_PARAM(lp, st) (lp->lp_status) &= ~(st)
166 #define RESET_LINK_PARAM(lp) (lp->lp_status = LP_UNSET)
170 u_int32_t lp_status; /* Status of Link Parameters: */ member
/dports/math/gfan/gfan0.6.2/src/
H A Dlp_soplexcdd.cpp363 int lp_status=0; in isFacet() local
406 lp_status=1; in isFacet()
440 lp_status=1; in isFacet()
444 lp_status=1; in isFacet()
448 lp_status=1; in isFacet()
452 lp_status=1; in isFacet()
468 int lp_status=0; in hasHomogeneousSolution() local
557 lp_status=1; in hasHomogeneousSolution()
600 lp_status=1; in hasHomogeneousSolution()
604 lp_status=1; in hasHomogeneousSolution()
[all …]
/dports/math/gfanlib/gfan0.6.2/src/
H A Dlp_soplexcdd.cpp363 int lp_status=0; in isFacet() local
406 lp_status=1; in isFacet()
440 lp_status=1; in isFacet()
444 lp_status=1; in isFacet()
448 lp_status=1; in isFacet()
452 lp_status=1; in isFacet()
468 int lp_status=0; in hasHomogeneousSolution() local
557 lp_status=1; in hasHomogeneousSolution()
600 lp_status=1; in hasHomogeneousSolution()
604 lp_status=1; in hasHomogeneousSolution()
[all …]
/dports/math/py-or-tools/or-tools-9.2/ortools/bop/
H A Dbop_fs.cc460 const glop::ProblemStatus lp_status = Solve(false, time_limit); in Optimize() local
463 << " status: " << GetProblemStatusString(lp_status); in Optimize()
465 if (lp_status == glop::ProblemStatus::OPTIMAL || in Optimize()
466 lp_status == glop::ProblemStatus::IMPRECISE) { in Optimize()
471 if (lp_status == glop::ProblemStatus::INIT) { in Optimize()
474 if (lp_status != glop::ProblemStatus::OPTIMAL && in Optimize()
475 lp_status != glop::ProblemStatus::IMPRECISE && in Optimize()
476 lp_status != glop::ProblemStatus::PRIMAL_FEASIBLE) { in Optimize()
481 if (lp_status == glop::ProblemStatus::OPTIMAL) { in Optimize()
529 const glop::ProblemStatus lp_status = lp_solver_.SolveWithTimeLimit( in Solve() local
[all …]
/dports/net/frr7-pythontools/frr-frr-7.5.1/lib/
H A Dif.h172 #define IS_PARAM_UNSET(lp, st) !(lp->lp_status & st)
173 #define IS_PARAM_SET(lp, st) (lp->lp_status & st)
174 #define IS_LINK_PARAMS_SET(lp) (lp->lp_status != LP_UNSET)
176 #define SET_PARAM(lp, st) (lp->lp_status) |= (st)
177 #define UNSET_PARAM(lp, st) (lp->lp_status) &= ~(st)
178 #define RESET_LINK_PARAM(lp) (lp->lp_status = LP_UNSET)
182 uint32_t lp_status; /* Status of Link Parameters: */ member
/dports/net/frr7/frr-frr-7.5.1/lib/
H A Dif.h172 #define IS_PARAM_UNSET(lp, st) !(lp->lp_status & st)
173 #define IS_PARAM_SET(lp, st) (lp->lp_status & st)
174 #define IS_LINK_PARAMS_SET(lp) (lp->lp_status != LP_UNSET)
176 #define SET_PARAM(lp, st) (lp->lp_status) |= (st)
177 #define UNSET_PARAM(lp, st) (lp->lp_status) &= ~(st)
178 #define RESET_LINK_PARAM(lp) (lp->lp_status = LP_UNSET)
182 uint32_t lp_status; /* Status of Link Parameters: */ member
/dports/www/ilias/ILIAS-5.4.25/Modules/Test/classes/
H A Dclass.ilTestLP.php93 $lp_status = ilLPStatusFactory::_getInstance($course_obj_id);
94 if (strtolower(get_class($lp_status)) != "illpstatus") {
96 $lp_status->_updateStatus($course_obj_id, $user_id);
/dports/www/ilias6/ILIAS-6.14/Modules/Test/classes/
H A Dclass.ilTestLP.php93 $lp_status = ilLPStatusFactory::_getInstance($course_obj_id);
94 if (strtolower(get_class($lp_status)) != "illpstatus") {
96 $lp_status->_updateStatus($course_obj_id, $user_id);

1234