Definition at line 166 of file synchronization.h.
◆ SharedResponseManager()
◆ AddSolutionCallback()
int AddSolutionCallback |
( |
std::function< void(const CpSolverResponse &)> |
callback | ) |
|
◆ AddUnsatCore()
void AddUnsatCore |
( |
const std::vector< int > & |
core | ) |
|
◆ BestSolutionInnerObjectiveValue()
IntegerValue BestSolutionInnerObjectiveValue |
( |
| ) |
|
◆ DisplayImprovementStatistics()
void DisplayImprovementStatistics |
( |
| ) |
|
◆ GetInnerObjectiveLowerBound()
IntegerValue GetInnerObjectiveLowerBound |
( |
| ) |
|
◆ GetInnerObjectiveUpperBound()
IntegerValue GetInnerObjectiveUpperBound |
( |
| ) |
|
◆ GetResponse()
CpSolverResponse GetResponse |
( |
| ) |
|
◆ LoadDebugSolution()
void LoadDebugSolution |
( |
Model * |
model | ) |
|
◆ MutableSolutionsRepository()
◆ NewSolution()
void NewSolution |
( |
const CpSolverResponse & |
response, |
|
|
Model * |
model |
|
) |
| |
◆ NotifyThatImprovingProblemIsInfeasible()
void NotifyThatImprovingProblemIsInfeasible |
( |
const std::string & |
worker_info | ) |
|
◆ PrimalIntegral()
double PrimalIntegral |
( |
| ) |
const |
◆ ProblemIsSolved()
bool ProblemIsSolved |
( |
| ) |
const |
◆ set_dump_prefix()
void set_dump_prefix |
( |
const std::string & |
dump_prefix | ) |
|
|
inline |
◆ SetGapLimitsFromParameters()
void SetGapLimitsFromParameters |
( |
const SatParameters & |
parameters | ) |
|
◆ SetStatsFromModel()
void SetStatsFromModel |
( |
Model * |
model | ) |
|
◆ SetUpdatePrimalIntegralOnEachChange()
void SetUpdatePrimalIntegralOnEachChange |
( |
bool |
set | ) |
|
◆ SolutionsRepository()
◆ Synchronize()
◆ SynchronizedInnerObjectiveLowerBound()
IntegerValue SynchronizedInnerObjectiveLowerBound |
( |
| ) |
|
◆ SynchronizedInnerObjectiveUpperBound()
IntegerValue SynchronizedInnerObjectiveUpperBound |
( |
| ) |
|
◆ UnregisterCallback()
void UnregisterCallback |
( |
int |
callback_id | ) |
|
◆ UpdateInnerObjectiveBounds()
void UpdateInnerObjectiveBounds |
( |
const std::string & |
update_info, |
|
|
IntegerValue |
lb, |
|
|
IntegerValue |
ub |
|
) |
| |
◆ UpdatePrimalIntegral()
void UpdatePrimalIntegral |
( |
| ) |
|
The documentation for this class was generated from the following files: