| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | comphandler.cpp | 270 SATSolver newSolver( in solve_component() local
340 const SATSolver* newSolver in check_solution_is_unassigned_in_main_solver()
352 const SATSolver* newSolver in save_solution_to_savedstate()
370 const SATSolver* newSolver in move_decision_level_zero_vars_here()
427 SATSolver* newSolver in moveVariablesBetweenSolvers()
444 , SATSolver* newSolver in moveClausesLong()
531 SATSolver* newSolver in move_binary_clause()
591 SATSolver* newSolver in moveClausesImplicit()
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | comphandler.cpp | 270 SATSolver newSolver( in solve_component() local
340 const SATSolver* newSolver in check_solution_is_unassigned_in_main_solver()
352 const SATSolver* newSolver in save_solution_to_savedstate()
370 const SATSolver* newSolver in move_decision_level_zero_vars_here()
427 SATSolver* newSolver in moveVariablesBetweenSolvers()
444 , SATSolver* newSolver in moveClausesLong()
531 SATSolver* newSolver in move_binary_clause()
591 SATSolver* newSolver in moveClausesImplicit()
|
| /dports/math/stp/stp-2.3.3/lib/ToSat/ASTNode/ |
| H A D | ToSAT.cpp | 56 uint32_t ToSAT::LookupOrCreateSATVar(SATSolver& newSolver, const ASTNode& n) in LookupOrCreateSATVar()
106 bool ToSAT::toSATandSolve(SATSolver& newSolver, ClauseList& cll, bool final, in toSATandSolve()
163 SATSolver& newSolver) in fill_satsolver_with_clauses()
200 void ToSAT::dump_to_cnf_file(const SATSolver& newSolver, const ClauseList& cll, in dump_to_cnf_file()
|
| /dports/science/step/step-21.12.3/stepcore/ |
| H A D | factory.cc | 52 Solver* Factory::newSolver(const QString& name) const in newSolver() function in StepCore::Factory
|
| /dports/graphics/blender/blender-2.91.0/extern/quadriflow/3rd/lemon-1.3.1/lemon/ |
| H A D | lp_skeleton.cc | 117 LpSkeleton* LpSkeleton::newSolver() const in newSolver() function in lemon::LpSkeleton
134 MipSkeleton* MipSkeleton::newSolver() const in newSolver() function in lemon::MipSkeleton
|
| H A D | glpk.cc | 608 GlpkLp* GlpkLp::newSolver() const { return new GlpkLp; } in newSolver() function in lemon::GlpkLp
1005 GlpkMip* GlpkMip::newSolver() const { return new GlpkMip; } in newSolver() function in lemon::GlpkMip
|
| H A D | cplex.cc | 519 CplexLp* CplexLp::newSolver() const { return new CplexLp; } in newSolver() function in lemon::CplexLp
894 CplexMip* CplexMip::newSolver() const { return new CplexMip; } in newSolver() function in lemon::CplexMip
|
| /dports/math/lemon/lemon-1.3.1/lemon/ |
| H A D | lp_skeleton.cc | 117 LpSkeleton* LpSkeleton::newSolver() const in newSolver() function in lemon::LpSkeleton
134 MipSkeleton* MipSkeleton::newSolver() const in newSolver() function in lemon::MipSkeleton
|
| H A D | glpk.cc | 608 GlpkLp* GlpkLp::newSolver() const { return new GlpkLp; } in newSolver() function in lemon::GlpkLp
1005 GlpkMip* GlpkMip::newSolver() const { return new GlpkMip; } in newSolver() function in lemon::GlpkMip
|
| H A D | cplex.cc | 519 CplexLp* CplexLp::newSolver() const { return new CplexLp; } in newSolver() function in lemon::CplexLp
894 CplexMip* CplexMip::newSolver() const { return new CplexMip; } in newSolver() function in lemon::CplexMip
|
| /dports/misc/openmvg/openMVG-2.0/src/third_party/lemon/lemon/ |
| H A D | lp_skeleton.cc | 117 LpSkeleton* LpSkeleton::newSolver() const in newSolver() function in lemon::LpSkeleton
134 MipSkeleton* MipSkeleton::newSolver() const in newSolver() function in lemon::MipSkeleton
|
| H A D | glpk.cc | 608 GlpkLp* GlpkLp::newSolver() const { return new GlpkLp; } in newSolver() function in lemon::GlpkLp
1005 GlpkMip* GlpkMip::newSolver() const { return new GlpkMip; } in newSolver() function in lemon::GlpkMip
|
| H A D | cplex.cc | 519 CplexLp* CplexLp::newSolver() const { return new CplexLp; } in newSolver() function in lemon::CplexLp
894 CplexMip* CplexMip::newSolver() const { return new CplexMip; } in newSolver() function in lemon::CplexMip
|
| /dports/cad/ngspice_rework/ngspice-35/src/ciderlib/oned/ |
| H A D | onesolve.c | 31 ONEdcSolve(ONEdevice *pDevice, int iterationLimit, BOOLEAN newSolver, in ONEdcSolve()
535 BOOLEAN newSolver = FALSE; in ONEequilSolve() local
624 BOOLEAN newSolver = FALSE; in ONEbiasSolve() local
|
| /dports/cad/ngspice_rework/ngspice-35/src/ciderlib/twod/ |
| H A D | twosolve.c | 29 TWOdcSolve(TWOdevice *pDevice, int iterationLimit, BOOLEAN newSolver, in TWOdcSolve()
439 BOOLEAN newSolver = FALSE; in TWOequilSolve() local
538 BOOLEAN newSolver = FALSE; in TWObiasSolve() local
|
| /dports/devel/bullet/bullet3-3.21/examples/BulletRobotics/ |
| H A D | FixJointBoxes.cpp | 121 int newSolver = (int)(solverId + 0.5); in stepSimulation() local
|
| /dports/devel/py-bullet3/bullet3-3.21/examples/BulletRobotics/ |
| H A D | FixJointBoxes.cpp | 121 int newSolver = (int)(solverId + 0.5); in stepSimulation() local
|
| /dports/math/cbc/Cbc-releases-2.10.5/Cbc/src/ |
| H A D | CbcHeuristicVND.cpp | 208 OsiSolverInterface *newSolver = cloneBut(3); // was model_->continuousSolver()->clone(); in solution() local
|
| H A D | CbcHeuristicDINS.cpp | 217 OsiSolverInterface *newSolver = cloneBut(3); // was model_->continuousSolver()->clone(); in solution() local
|
| H A D | CbcHeuristicRINS.cpp | 212 OsiSolverInterface *newSolver = cloneBut(3); // was model_->continuousSolver()->clone(); in solution() local
|
| H A D | CbcHeuristicLocal.cpp | 162 OsiSolverInterface *newSolver = model_->continuousSolver()->clone(); in solutionFix() local
1120 OsiSolverInterface *newSolver = model_->continuousSolver()->clone(); in solution() local
1354 OsiSolverInterface *newSolver = cloneBut(7); // wassolver->clone(); in solution() local
|
| H A D | CbcHeuristicPivotAndFix.cpp | 375 OsiSolverInterface *newSolver; in solution() local
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/xmlpatterns/environment/ |
| H A D | qgenericstaticcontext.cpp | 259 …const NamespaceResolver::Ptr newSolver(new GenericNamespaceResolver(m_namespaceResolver->bindings(… in copy() local
|
| /dports/textproc/qt5-xmlpatterns/kde-qtxmlpatterns-5.15.2p2/src/xmlpatterns/environment/ |
| H A D | qgenericstaticcontext.cpp | 257 …const NamespaceResolver::Ptr newSolver(new GenericNamespaceResolver(m_namespaceResolver->bindings(… in copy() local
|
| /dports/devel/spark/spark-2.1.1/mllib/src/main/scala/org/apache/spark/ml/optim/ |
| H A D | WeightedLeastSquares.scala | 264 val newSolver = new QuasiNewtonSolver(fitIntercept, maxIter, tol, None) constant
|