Definition at line 236 of file synchronization.h.
#include <synchronization.h>
◆ SharedSolutionPool()
| operations_research::sat::SharedSolutionPool::SharedSolutionPool |
( |
const SatParameters & | parameters_ | ) |
|
|
inlineexplicit |
◆ Add()
◆ AddTableStats()
| void operations_research::sat::SharedSolutionPool::AddTableStats |
( |
std::vector< std::vector< std::string > > * | table | ) |
const |
|
inline |
◆ BestSolutions()
◆ GetSolutionToImprove()
| std::shared_ptr< const SharedSolutionRepository< int64_t >::Solution > operations_research::sat::SharedSolutionPool::GetSolutionToImprove |
( |
absl::BitGenRef | random | ) |
const |
|
inline |
◆ Synchronize()
| void operations_research::sat::SharedSolutionPool::Synchronize |
( |
absl::BitGenRef | random | ) |
|
The documentation for this class was generated from the following files: