Home
last modified time | relevance | path

Searched refs:SharedLPSolutionRepository (Results 1 – 7 of 7) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Drins.cc27 auto* lp_solutions = model->Mutable<SharedLPSolutionRepository>(); in RecordLPRelaxationValues()
50 const SharedLPSolutionRepository* lp_solutions, absl::BitGenRef random) { in GetLPRelaxationValues()
103 const SharedLPSolutionRepository* lp_solutions, in GetRINSNeighborhood()
H A Drins.h81 const SharedLPSolutionRepository* lp_solutions,
H A Dsynchronization.h139 class SharedLPSolutionRepository : public SharedSolutionRepository<double> {
141 explicit SharedLPSolutionRepository(int num_solutions_to_keep) in SharedLPSolutionRepository() function
H A Dcp_model_lns.h598 const SharedLPSolutionRepository* lp_solutions, in RelaxationInducedNeighborhoodGenerator()
620 const SharedLPSolutionRepository* lp_solutions_;
H A Dcp_model_solver.cc1945 SharedLPSolutionRepository* lp_solutions;
1981 local_model_->Register<SharedLPSolutionRepository>(shared->lp_solutions);
2145 local_model_->Register<SharedLPSolutionRepository>(shared->lp_solutions);
2633 auto shared_lp_solutions = absl::make_unique<SharedLPSolutionRepository>(
2635 global_model->Register<SharedLPSolutionRepository>(shared_lp_solutions.get());
H A Dsynchronization.cc70 void SharedLPSolutionRepository::NewLPSolution( in NewLPSolution()
H A Dinteger_search.cc1030 if (model->Get<SharedLPSolutionRepository>() != nullptr) { in SolveIntegerProblem()