OR-Tools  8.2
SharedResponseManagerabstract

Detailed Description

Definition at line 166 of file synchronization.h.

Public Member Functions

 SharedResponseManager (bool log_updates, bool enumerate_all_solutions, const CpModelProto *proto, const WallTimer *wall_timer, SharedTimeLimit *shared_time_limit)
 
void SetGapLimitsFromParameters (const SatParameters &parameters)
 
CpSolverResponse GetResponse ()
 
int AddSolutionCallback (std::function< void(const CpSolverResponse &)> callback)
 
void UnregisterCallback (int callback_id)
 
IntegerValue GetInnerObjectiveLowerBound ()
 
IntegerValue GetInnerObjectiveUpperBound ()
 
void Synchronize ()
 
IntegerValue SynchronizedInnerObjectiveLowerBound ()
 
IntegerValue SynchronizedInnerObjectiveUpperBound ()
 
IntegerValue BestSolutionInnerObjectiveValue ()
 
double PrimalIntegral () const
 
void UpdatePrimalIntegral ()
 
void SetUpdatePrimalIntegralOnEachChange (bool set)
 
void UpdateInnerObjectiveBounds (const std::string &update_info, IntegerValue lb, IntegerValue ub)
 
void NewSolution (const CpSolverResponse &response, Model *model)
 
void NotifyThatImprovingProblemIsInfeasible (const std::string &worker_info)
 
void AddUnsatCore (const std::vector< int > &core)
 
void SetStatsFromModel (Model *model)
 
bool ProblemIsSolved () const
 
const SharedSolutionRepository< int64 > & SolutionsRepository () const
 
SharedSolutionRepository< int64 > * MutableSolutionsRepository ()
 
void LoadDebugSolution (Model *)
 
void set_dump_prefix (const std::string &dump_prefix)
 
void DisplayImprovementStatistics ()
 

Constructor & Destructor Documentation

◆ SharedResponseManager()

SharedResponseManager ( bool  log_updates,
bool  enumerate_all_solutions,
const CpModelProto *  proto,
const WallTimer wall_timer,
SharedTimeLimit shared_time_limit 
)

Definition at line 102 of file synchronization.cc.

Member Function Documentation

◆ AddSolutionCallback()

int AddSolutionCallback ( std::function< void(const CpSolverResponse &)>  callback)

Definition at line 338 of file synchronization.cc.

◆ AddUnsatCore()

void AddUnsatCore ( const std::vector< int > &  core)

Definition at line 292 of file synchronization.cc.

◆ BestSolutionInnerObjectiveValue()

IntegerValue BestSolutionInnerObjectiveValue ( )

Definition at line 328 of file synchronization.cc.

◆ DisplayImprovementStatistics()

void DisplayImprovementStatistics ( )

Definition at line 605 of file synchronization.cc.

◆ GetInnerObjectiveLowerBound()

IntegerValue GetInnerObjectiveLowerBound ( )

Definition at line 300 of file synchronization.cc.

◆ GetInnerObjectiveUpperBound()

IntegerValue GetInnerObjectiveUpperBound ( )

Definition at line 305 of file synchronization.cc.

◆ GetResponse()

CpSolverResponse GetResponse ( )

Definition at line 357 of file synchronization.cc.

◆ LoadDebugSolution()

void LoadDebugSolution ( Model model)

Definition at line 497 of file synchronization.cc.

◆ MutableSolutionsRepository()

SharedSolutionRepository< int64 > * MutableSolutionsRepository ( )
inline

Definition at line 279 of file synchronization.h.

◆ NewSolution()

void NewSolution ( const CpSolverResponse &  response,
Model model 
)

Definition at line 391 of file synchronization.cc.

◆ NotifyThatImprovingProblemIsInfeasible()

void NotifyThatImprovingProblemIsInfeasible ( const std::string &  worker_info)

Definition at line 269 of file synchronization.cc.

◆ PrimalIntegral()

double PrimalIntegral ( ) const

Definition at line 333 of file synchronization.cc.

◆ ProblemIsSolved()

bool ProblemIsSolved ( ) const

Definition at line 561 of file synchronization.cc.

◆ set_dump_prefix()

void set_dump_prefix ( const std::string &  dump_prefix)
inline

Definition at line 292 of file synchronization.h.

◆ SetGapLimitsFromParameters()

void SetGapLimitsFromParameters ( const SatParameters &  parameters)

Definition at line 168 of file synchronization.cc.

◆ SetStatsFromModel()

void SetStatsFromModel ( Model model)

Definition at line 532 of file synchronization.cc.

◆ SetUpdatePrimalIntegralOnEachChange()

void SetUpdatePrimalIntegralOnEachChange ( bool  set)

Definition at line 134 of file synchronization.cc.

◆ SolutionsRepository()

const SharedSolutionRepository< int64 > & SolutionsRepository ( ) const
inline

Definition at line 276 of file synchronization.h.

◆ Synchronize()

void Synchronize ( )

Definition at line 310 of file synchronization.cc.

◆ SynchronizedInnerObjectiveLowerBound()

IntegerValue SynchronizedInnerObjectiveLowerBound ( )

Definition at line 318 of file synchronization.cc.

◆ SynchronizedInnerObjectiveUpperBound()

IntegerValue SynchronizedInnerObjectiveUpperBound ( )

Definition at line 323 of file synchronization.cc.

◆ UnregisterCallback()

void UnregisterCallback ( int  callback_id)

Definition at line 346 of file synchronization.cc.

◆ UpdateInnerObjectiveBounds()

void UpdateInnerObjectiveBounds ( const std::string &  update_info,
IntegerValue  lb,
IntegerValue  ub 
)

Definition at line 212 of file synchronization.cc.

◆ UpdatePrimalIntegral()

void UpdatePrimalIntegral ( )

Definition at line 139 of file synchronization.cc.


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