| /dports/math/couenne/Couenne-releases-0.5.8/Couenne/src/problem/ |
| H A D | CouenneSolverInterface.cpp | 112 bool CouenneSolverInterface<T>::isProvenDualInfeasible() const { in isProvenDualInfeasible() function in Couenne::CouenneSolverInterface
113 return knowDualInfeasible_ || T::isProvenDualInfeasible(); in isProvenDualInfeasible()
336 if (isProvenDualInfeasible ()) knowDualInfeasible_ = true; in solveFromHotStart()
|
| H A D | CouenneSolverInterface.hpp | 94 bool isProvenDualInfeasible () const;
|
| /dports/math/osi/Osi-0.108.6/Osi/src/OsiCommonTest/ |
| H A D | OsiSolverInterfaceTest.cpp | 211 ret = ret && !s->isProvenDualInfeasible(); in test1VivianDeSmedt()
226 ret = ret && !s->isProvenDualInfeasible(); in test1VivianDeSmedt()
305 ret = ret && !s->isProvenDualInfeasible(); in test2VivianDeSmedt()
320 ret = ret && !s->isProvenDualInfeasible(); in test2VivianDeSmedt()
362 ret = ret && !s->isProvenDualInfeasible(); in test3VivianDeSmedt()
377 ret = ret && !s->isProvenDualInfeasible(); in test3VivianDeSmedt()
419 ret = ret && !s->isProvenDualInfeasible(); in test4VivianDeSmedt()
434 ret = ret && !s->isProvenDualInfeasible(); in test4VivianDeSmedt()
490 ret = ret && s->isProvenDualInfeasible(); in test5VivianDeSmedt()
499 ret = ret && !s->isProvenDualInfeasible(); in test5VivianDeSmedt()
[all …]
|
| /dports/math/clp/Clp-1.17.3/Osi/src/OsiCommonTest/ |
| H A D | OsiSolverInterfaceTest.cpp | 211 ret = ret && !s->isProvenDualInfeasible(); in test1VivianDeSmedt()
226 ret = ret && !s->isProvenDualInfeasible(); in test1VivianDeSmedt()
305 ret = ret && !s->isProvenDualInfeasible(); in test2VivianDeSmedt()
320 ret = ret && !s->isProvenDualInfeasible(); in test2VivianDeSmedt()
362 ret = ret && !s->isProvenDualInfeasible(); in test3VivianDeSmedt()
377 ret = ret && !s->isProvenDualInfeasible(); in test3VivianDeSmedt()
419 ret = ret && !s->isProvenDualInfeasible(); in test4VivianDeSmedt()
434 ret = ret && !s->isProvenDualInfeasible(); in test4VivianDeSmedt()
490 ret = ret && s->isProvenDualInfeasible(); in test5VivianDeSmedt()
499 ret = ret && !s->isProvenDualInfeasible(); in test5VivianDeSmedt()
[all …]
|
| /dports/math/ogdf/OGDF/src/ogdf/lib/abacus/ |
| H A D | osiif.cpp | 448 if (osiLP_->isProvenDualInfeasible()) return Unbounded; in _primalSimplex()
482 if (osiLP_->isProvenDualInfeasible()) return Unbounded; in _dualSimplex()
527 if (osiLP_->isProvenDualInfeasible()) return Unbounded; in _approx()
619 << "<> isProvenDualInfeasible: " << osiLP_->isProvenDualInfeasible() << std::endl in getSol()
621 << "<> isProvenDualInfeasible: " << osiLP_->isProvenDualInfeasible() << std::endl in getSol()
660 if( !osiLP_->isProvenDualInfeasible() && !osiLP_->isAbandoned() ) { in getSol()
|
| /dports/math/couenne/Couenne-releases-0.5.8/Couenne/src/heuristics/ |
| H A D | CouenneIterativeRounding.cpp | 442 if (nlp_->isProvenPrimalInfeasible() || nlp_->isProvenDualInfeasible() || in feasibilityIR()
447 if (nlp_->isProvenPrimalInfeasible() || nlp_->isProvenDualInfeasible() || in feasibilityIR()
677 nlp_->isProvenDualInfeasible() || in feasibilityIR()
685 !nlp->isProvenDualInfeasible() && in feasibilityIR()
777 if (nlp_->isProvenPrimalInfeasible() || nlp_->isProvenDualInfeasible() || in improvementIR()
782 if (nlp_->isProvenPrimalInfeasible() || nlp_->isProvenDualInfeasible() || in improvementIR()
1117 (!cbcModel.isProvenDualInfeasible()) && in solveMilp()
|
| /dports/math/osi/Osi-0.108.6/Osi/examples/ |
| H A D | query.cpp | 63 if (si->isProvenDualInfeasible()) in main()
|
| H A D | parameters.cpp | 74 if (si->isProvenDualInfeasible()) in main()
|
| /dports/math/clp/Clp-1.17.3/Osi/examples/ |
| H A D | query.cpp | 63 if (si->isProvenDualInfeasible()) in main()
|
| H A D | parameters.cpp | 74 if (si->isProvenDualInfeasible()) in main()
|
| /dports/math/cbc/Cbc-releases-2.10.5/Cbc/src/OsiCbc/ |
| H A D | OsiCbcSolverInterface.cpp | 139 bool OsiCbcSolverInterface::isProvenDualInfeasible() const in isProvenDualInfeasible() function in OsiCbcSolverInterface
142 return modelPtr_->isProvenDualInfeasible(); in isProvenDualInfeasible()
144 return modelPtr_->solver()->isProvenDualInfeasible(); in isProvenDualInfeasible()
|
| /dports/math/cgl-conic/CGL-CONIC-releases-1.0.0-6-gc96de60/src/CglConicIPM/ |
| H A D | CglConicIPM.cpp | 116 if (si.isProvenDualInfeasible()) { in method1()
207 if (solver_->isProvenPrimalInfeasible() || solver_->isProvenDualInfeasible()) { in method1()
455 if (si.isProvenDualInfeasible()) { in method3()
561 if (solver_->isProvenPrimalInfeasible() || solver_->isProvenDualInfeasible()) { in method3()
|
| /dports/math/cgl-conic/CGL-CONIC-releases-1.0.0-6-gc96de60/src/CglConicIPMint/ |
| H A D | CglConicIPMint.cpp | 108 if (si.isProvenDualInfeasible()) { in method1()
196 if (solver_->isProvenPrimalInfeasible() || solver_->isProvenDualInfeasible()) { in method1()
443 if (si.isProvenDualInfeasible()) { in method3()
545 if (solver_->isProvenPrimalInfeasible() || solver_->isProvenDualInfeasible()) { in method3()
|
| /dports/math/osiipopt/OsiIpopt-releases-0.1-8-gc808091/src/ |
| H A D | OsiIpoptSolverInterface.hpp | 127 virtual bool isProvenDualInfeasible() const;
|
| /dports/math/highs/HiGHS-cfe064e/src/interfaces/ |
| H A D | OsiHiGHSSolverInterface.hpp | 76 virtual bool isProvenDualInfeasible() const;
|
| /dports/graphics/blender/blender-2.91.0/extern/quadriflow/3rd/lemon-1.3.1/lemon/ |
| H A D | clp.cc | 398 } else if (_prob->isProvenDualInfeasible()) { in _getPrimalType()
408 } else if (_prob->isProvenDualInfeasible()) { in _getDualType()
|
| /dports/math/lemon/lemon-1.3.1/lemon/ |
| H A D | clp.cc | 398 } else if (_prob->isProvenDualInfeasible()) { in _getPrimalType()
408 } else if (_prob->isProvenDualInfeasible()) { in _getDualType()
|
| /dports/misc/openmvg/openMVG-2.0/src/third_party/lemon/lemon/ |
| H A D | clp.cc | 398 } else if (_prob->isProvenDualInfeasible()) { in _getPrimalType()
408 } else if (_prob->isProvenDualInfeasible()) { in _getDualType()
|
| /dports/math/osi/Osi-0.108.6/Osi/src/OsiXpr/ |
| H A D | OsiXprSolverInterface.hpp | 80 virtual bool isProvenDualInfeasible() const;
|
| /dports/math/clp/Clp-1.17.3/Osi/src/OsiXpr/ |
| H A D | OsiXprSolverInterface.hpp | 80 virtual bool isProvenDualInfeasible() const;
|
| /dports/math/ogdf/OGDF/src/ogdf/lpsolver/ |
| H A D | LPSolver.cpp | 194 else if(osi->isProvenDualInfeasible()) in optimize()
|
| /dports/math/osi/Osi-0.108.6/Osi/src/OsiMsk/ |
| H A D | OsiMskSolverInterface.hpp | 81 virtual bool isProvenDualInfeasible() const;
|
| /dports/math/osi/Osi-0.108.6/Osi/src/OsiSpx/ |
| H A D | OsiSpxSolverInterface.hpp | 96 virtual bool isProvenDualInfeasible() const;
|
| /dports/math/clp/Clp-1.17.3/Osi/src/OsiMsk/ |
| H A D | OsiMskSolverInterface.hpp | 81 virtual bool isProvenDualInfeasible() const;
|
| /dports/math/clp/Clp-1.17.3/Osi/src/OsiSpx/ |
| H A D | OsiSpxSolverInterface.hpp | 96 virtual bool isProvenDualInfeasible() const;
|