operations_research::sat::SharedLPSolutionRepository Member List

This is the complete list of members for operations_research::sat::SharedLPSolutionRepository, including all inherited members.

ABSL_GUARDED_BY(mutex_)	operations_research::sat::SharedSolutionRepository< double >	protected
Add(Solution solution)	operations_research::sat::SharedSolutionRepository< double >
ClearSolutionsAndIncreaseSourceId()	operations_research::sat::SharedSolutionRepository< double >	inline
diversity_limit_	operations_research::sat::SharedSolutionRepository< double >	protected
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_queried() const	operations_research::sat::SharedSolutionRepository< double >	inline
num_solutions_to_keep() const	operations_research::sat::SharedSolutionRepository< double >	inline
num_solutions_to_keep_	operations_research::sat::SharedSolutionRepository< double >	protected
NumRecentlyNonImproving() const	operations_research::sat::SharedSolutionRepository< double >	inline
NumSolutions() const	operations_research::sat::SharedSolutionRepository< double >
SetDiversityLimit(int value)	operations_research::sat::SharedSolutionRepository< double >	inline
SharedLPSolutionRepository(int num_solutions_to_keep)	operations_research::sat::SharedLPSolutionRepository	inlineexplicit
SharedSolutionRepository(int num_solutions_to_keep, absl::string_view name="", int source_id=-1)	operations_research::sat::SharedSolutionRepository< double >	inlineexplicit
source_id() const	operations_research::sat::SharedSolutionRepository< double >	inline
Synchronize(std::function< void(const Solution &solution)> f=nullptr)	operations_research::sat::SharedSolutionRepository< double >
TableLineStats() const	operations_research::sat::SharedSolutionRepository< double >	inline