operations_research::sat::SharedSolutionPool Member List

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

Add(SharedSolutionRepository< int64_t >::Solution solution)	operations_research::sat::SharedSolutionPool
AddTableStats(std::vector< std::vector< std::string > > *table) const	operations_research::sat::SharedSolutionPool	inline
BestSolutions() const	operations_research::sat::SharedSolutionPool	inline
GetSolutionToImprove(absl::BitGenRef random) const	operations_research::sat::SharedSolutionPool	inline
SharedSolutionPool(const SatParameters &parameters_)	operations_research::sat::SharedSolutionPool	inlineexplicit
Synchronize(absl::BitGenRef random)	operations_research::sat::SharedSolutionPool