Detailed Description

Definition at line 314 of file synchronization.h.

Inheritance diagram for operations_research::sat::SharedLsSolutionRepository:

Public Member Functions
	SharedLsSolutionRepository ()
void	AddSolution (std::vector< int64_t > solution, int num_violations)
Public Member Functions inherited from operations_research::sat::SharedSolutionRepository< int64_t >
	SharedSolutionRepository (int num_solutions_to_keep, absl::string_view name="", int source_id=-1)
int	NumSolutions () const
std::shared_ptr< const Solution >	GetSolution (int index) const
int64_t	GetBestRank () const
std::vector< std::shared_ptr< const Solution > >	GetBestNSolutions (int n) const
int64_t	GetVariableValueInSolution (int var_index, int solution_index) const
std::shared_ptr< const Solution >	GetRandomBiasedSolution (absl::BitGenRef random) const
std::shared_ptr< const Solution >	Add (Solution solution)
void	Synchronize (std::function< void(const Solution &solution)> f=nullptr)
std::vector< std::string >	TableLineStats () const
int64_t	NumRecentlyNonImproving () const
void	ClearSolutionsAndIncreaseSourceId ()
int	source_id () const
int	num_queried () const
int	num_solutions_to_keep () const
void	SetDiversityLimit (int value)

Additional Inherited Members
Protected Member Functions inherited from operations_research::sat::SharedSolutionRepository< int64_t >
int source_id_	ABSL_GUARDED_BY (mutex_)
Protected Attributes inherited from operations_research::sat::SharedSolutionRepository< int64_t >
const std::string	name_
const int	num_solutions_to_keep_
int	diversity_limit_
absl::Mutex	mutex_

Constructor & Destructor Documentation

operations_research::sat::SharedLsSolutionRepository::SharedLsSolutionRepository ( )

inline

Definition at line 316 of file synchronization.h.

void operations_research::sat::SharedLsSolutionRepository::AddSolution	(	std::vector< int64_t >	solution,
		int	num_violations )

inline

Definition at line 319 of file synchronization.h.

The documentation for this class was generated from the following file: