Definition at line 126 of file synchronization.h.
◆ SharedRelaxationSolutionRepository()
◆ ABSL_GUARDED_BY() [1/4]
std::vector<int> tmp_indices_ ABSL_GUARDED_BY |
( |
mutex_ |
| ) |
|
|
mutableprotectedinherited |
◆ ABSL_GUARDED_BY() [2/4]
std::vector<Solution> solutions_ ABSL_GUARDED_BY |
( |
mutex_ |
| ) |
|
|
protectedinherited |
◆ ABSL_GUARDED_BY() [3/4]
std::vector<Solution> new_solutions_ ABSL_GUARDED_BY |
( |
mutex_ |
| ) |
|
|
protectedinherited |
◆ ABSL_GUARDED_BY() [4/4]
|
protectedpure virtualinherited |
◆ Add()
void Add |
( |
const Solution & |
solution | ) |
|
|
inherited |
◆ AddInternal()
void AddInternal |
( |
const Solution & |
solution | ) |
|
|
protectedinherited |
◆ GetRandomBiasedSolution()
◆ GetSolution()
◆ GetVariableValueInSolution()
int64 GetVariableValueInSolution |
( |
int |
var_index, |
|
|
int |
solution_index |
|
) |
| const |
|
inherited |
◆ NewRelaxationSolution()
void NewRelaxationSolution |
( |
const CpSolverResponse & |
response | ) |
|
◆ NumSolutions()
◆ Synchronize()
◆ mutex_
|
mutableprotectedinherited |
◆ num_solutions_to_keep_
const int num_solutions_to_keep_ |
|
protectedinherited |
The documentation for this class was generated from the following files: