ABSL_GUARDED_BY(mutex_)=0 | operations_research::sat::SharedSolutionRepository< double > | protectedpure virtual |
ABSL_GUARDED_BY(mutex_)=0 | operations_research::sat::SharedSolutionRepository< double > | mutableprotectedpure virtual |
ABSL_GUARDED_BY(mutex_)=0 | operations_research::sat::SharedSolutionRepository< double > | protectedpure virtual |
ABSL_GUARDED_BY(mutex_) | operations_research::sat::SharedSolutionRepository< double > | mutableprotected |
ABSL_GUARDED_BY(mutex_) | operations_research::sat::SharedSolutionRepository< double > | protected |
ABSL_GUARDED_BY(mutex_) | operations_research::sat::SharedSolutionRepository< double > | protected |
Add(Solution solution) | operations_research::sat::SharedSolutionRepository< double > | |
GetBestNSolutions(int n) const | operations_research::sat::SharedSolutionRepository< double > | |
GetBestRank() const | operations_research::sat::SharedSolutionRepository< double > | |
GetRandomBiasedSolution(absl::BitGenRef random) const | operations_research::sat::SharedSolutionRepository< double > | |
GetSolution(int index) const | operations_research::sat::SharedSolutionRepository< double > | |
GetVariableValueInSolution(int var_index, int solution_index) const | operations_research::sat::SharedSolutionRepository< double > | |
mutex_ | operations_research::sat::SharedSolutionRepository< double > | mutableprotected |
name_ | operations_research::sat::SharedSolutionRepository< double > | protected |
NewLPSolution(std::vector< double > lp_solution) | operations_research::sat::SharedLPSolutionRepository | |
num_solutions_to_keep_ | operations_research::sat::SharedSolutionRepository< double > | protected |
NumSolutions() const | operations_research::sat::SharedSolutionRepository< double > | |
SharedLPSolutionRepository(int num_solutions_to_keep) | operations_research::sat::SharedLPSolutionRepository | inlineexplicit |
SharedSolutionRepository(int num_solutions_to_keep, absl::string_view name="") | operations_research::sat::SharedSolutionRepository< double > | inlineexplicit |
Synchronize() | operations_research::sat::SharedSolutionRepository< double > | |
TableLineStats() const | operations_research::sat::SharedSolutionRepository< double > | inline |