/dports/math/z3/z3-z3-4.8.13/src/math/lp/ |
H A D | lp_settings_def.h | 37 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 D | lp_dual_simplex_def.h | 25 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 D | lp_primal_core_solver_tableau_def.h | 39 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 D | int_cube.cpp | 38 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 D | lp_primal_core_solver_def.h | 717 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 D | lar_core_solver_def.h | 145 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 D | lp_dual_core_solver_def.h | 100 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 D | lp_settings_def.h | 37 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 D | lp_dual_simplex_def.h | 25 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 D | lp_primal_core_solver_tableau_def.h | 39 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 D | int_cube.cpp | 38 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 D | lp_primal_core_solver_def.h | 717 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 D | lar_core_solver_def.h | 145 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 D | lp_dual_core_solver_def.h | 100 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 D | class.ilIndividualAssessmentMember.php | 22 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 D | ilLSLPEventHandlerTest.php | 39 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 D | class.ilIndividualAssessmentMember.php | 167 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 D | if.h | 160 #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 D | lp_soplexcdd.cpp | 363 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 D | lp_soplexcdd.cpp | 363 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 D | bop_fs.cc | 460 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 D | if.h | 172 #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 D | if.h | 172 #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 D | class.ilTestLP.php | 93 $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 D | class.ilTestLP.php | 93 $lp_status = ilLPStatusFactory::_getInstance($course_obj_id); 94 if (strtolower(get_class($lp_status)) != "illpstatus") { 96 $lp_status->_updateStatus($course_obj_id, $user_id);
|