OR-Tools  9.6
Public Member Functions | List of all members
SharedResponseManagerabstract

Detailed Description

Definition at line 192 of file synchronization.h.

Public Member Functions

 SharedResponseManager (Model *model)
 
void InitializeObjective (const CpModelProto &cp_model)
 
void SetGapLimitsFromParameters (const SatParameters &parameters)
 
CpSolverResponse GetResponse ()
 
void AddSolutionPostprocessor (std::function< void(std::vector< int64_t > *)> postprocessor)
 
void AddResponsePostprocessor (std::function< void(CpSolverResponse *)> postprocessor)
 
void AddFinalResponsePostprocessor (std::function< void(CpSolverResponse *)> postprocessor)
 
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 GapIntegral () const
 
void UpdateGapIntegral ()
 
void SetUpdateGapIntegralOnEachChange (bool set)
 
void SetSynchronizationMode (bool always_synchronize)
 
void UpdateInnerObjectiveBounds (const std::string &update_info, IntegerValue lb, IntegerValue ub)
 
void NewSolution (absl::Span< const int64_t > solution_values, const std::string &solution_info, Model *model=nullptr)
 
void NotifyThatImprovingProblemIsInfeasible (const std::string &worker_info)
 
void AddUnsatCore (const std::vector< int > &core)
 
bool ProblemIsSolved () const
 
const SharedSolutionRepository< int64_t > & SolutionsRepository () const
 
SharedSolutionRepository< int64_t > * MutableSolutionsRepository ()
 
void set_dump_prefix (const std::string &dump_prefix)
 
void DisplayImprovementStatistics ()
 
void LogMessage (const std::string &prefix, const std::string &message)
 
void LogPeriodicMessage (const std::string &prefix, const std::string &message, double frequency_seconds, absl::Time *last_logging_time)
 
bool LoggingIsEnabled () const
 
void AppendResponseToBeMerged (const CpSolverResponse &response)
 
std::atomic< bool > * first_solution_solvers_should_stop ()
 
void LoadDebugSolution (absl::Span< const int64_t > solution)
 
const std::vector< int64_t > & DebugSolution () const
 

Constructor & Destructor Documentation

◆ SharedResponseManager()

SharedResponseManager ( Model *  model)
explicit

Definition at line 122 of file synchronization.cc.

Member Function Documentation

◆ AddFinalResponsePostprocessor()

void AddFinalResponsePostprocessor ( std::function< void(CpSolverResponse *)>  postprocessor)

Definition at line 439 of file synchronization.cc.

◆ AddResponsePostprocessor()

void AddResponsePostprocessor ( std::function< void(CpSolverResponse *)>  postprocessor)

Definition at line 433 of file synchronization.cc.

◆ AddSolutionCallback()

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

Definition at line 445 of file synchronization.cc.

◆ AddSolutionPostprocessor()

void AddSolutionPostprocessor ( std::function< void(std::vector< int64_t > *)>  postprocessor)

Definition at line 427 of file synchronization.cc.

◆ AddUnsatCore()

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

Definition at line 380 of file synchronization.cc.

◆ AppendResponseToBeMerged()

void AppendResponseToBeMerged ( const CpSolverResponse &  response)

Definition at line 542 of file synchronization.cc.

◆ BestSolutionInnerObjectiveValue()

IntegerValue BestSolutionInnerObjectiveValue ( )

Definition at line 417 of file synchronization.cc.

◆ DebugSolution()

const std::vector<int64_t>& DebugSolution ( ) const
inline

Definition at line 352 of file synchronization.h.

◆ DisplayImprovementStatistics()

void DisplayImprovementStatistics ( )

Definition at line 747 of file synchronization.cc.

◆ first_solution_solvers_should_stop()

std::atomic<bool>* first_solution_solvers_should_stop ( )
inline

Definition at line 343 of file synchronization.h.

◆ GapIntegral()

double GapIntegral ( ) const

Definition at line 422 of file synchronization.cc.

◆ GetInnerObjectiveLowerBound()

IntegerValue GetInnerObjectiveLowerBound ( )

Definition at line 385 of file synchronization.cc.

◆ GetInnerObjectiveUpperBound()

IntegerValue GetInnerObjectiveUpperBound ( )

Definition at line 390 of file synchronization.cc.

◆ GetResponse()

CpSolverResponse GetResponse ( )

Definition at line 512 of file synchronization.cc.

◆ InitializeObjective()

void InitializeObjective ( const CpModelProto &  cp_model)

Definition at line 201 of file synchronization.cc.

◆ LoadDebugSolution()

void LoadDebugSolution ( absl::Span< const int64_t >  solution)
inline

Definition at line 349 of file synchronization.h.

◆ LoggingIsEnabled()

bool LoggingIsEnabled ( ) const
inline

Definition at line 339 of file synchronization.h.

◆ LogMessage()

void LogMessage ( const std::string &  prefix,
const std::string &  message 
)

Definition at line 178 of file synchronization.cc.

◆ LogPeriodicMessage()

void LogPeriodicMessage ( const std::string &  prefix,
const std::string &  message,
double  frequency_seconds,
absl::Time *  last_logging_time 
)

Definition at line 185 of file synchronization.cc.

◆ MutableSolutionsRepository()

SharedSolutionRepository<int64_t>* MutableSolutionsRepository ( )
inline

Definition at line 323 of file synchronization.h.

◆ NewSolution()

void NewSolution ( absl::Span< const int64_t >  solution_values,
const std::string &  solution_info,
Model *  model = nullptr 
)

Definition at line 580 of file synchronization.cc.

◆ NotifyThatImprovingProblemIsInfeasible()

void NotifyThatImprovingProblemIsInfeasible ( const std::string &  worker_info)

Definition at line 359 of file synchronization.cc.

◆ ProblemIsSolved()

bool ProblemIsSolved ( ) const

Definition at line 709 of file synchronization.cc.

◆ set_dump_prefix()

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

Definition at line 328 of file synchronization.h.

◆ SetGapLimitsFromParameters()

void SetGapLimitsFromParameters ( const SatParameters &  parameters)

Definition at line 253 of file synchronization.cc.

◆ SetSynchronizationMode()

void SetSynchronizationMode ( bool  always_synchronize)

Definition at line 214 of file synchronization.cc.

◆ SetUpdateGapIntegralOnEachChange()

void SetUpdateGapIntegralOnEachChange ( bool  set)

Definition at line 219 of file synchronization.cc.

◆ SolutionsRepository()

const SharedSolutionRepository<int64_t>& SolutionsRepository ( ) const
inline

Definition at line 320 of file synchronization.h.

◆ Synchronize()

void Synchronize ( )

Definition at line 395 of file synchronization.cc.

◆ SynchronizedInnerObjectiveLowerBound()

IntegerValue SynchronizedInnerObjectiveLowerBound ( )

Definition at line 407 of file synchronization.cc.

◆ SynchronizedInnerObjectiveUpperBound()

IntegerValue SynchronizedInnerObjectiveUpperBound ( )

Definition at line 412 of file synchronization.cc.

◆ UnregisterCallback()

void UnregisterCallback ( int  callback_id)

Definition at line 453 of file synchronization.cc.

◆ UpdateGapIntegral()

void UpdateGapIntegral ( )

Definition at line 224 of file synchronization.cc.

◆ UpdateInnerObjectiveBounds()

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

Definition at line 300 of file synchronization.cc.

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