operations_research::sat::SharedResponseManager Class Reference

Detailed Description

Definition at line 364 of file synchronization.h.

#include <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)
void	AddStatisticsPostprocessor (std::function< void(Model *, CpSolverResponse *)> postprocessor)
void	FillSolveStatsInResponse (Model *model, CpSolverResponse *response)
int	AddSolutionCallback (std::function< void(const CpSolverResponse &)> callback)
void	UnregisterCallback (int callback_id)
void	AddStatusChangeCallback (std::function< void(const SolverStatusChangeInfo &)> callback)
int	AddLogCallback (std::function< std::string(const CpSolverResponse &)> callback)
void	UnregisterLogCallback (int callback_id)
int	AddBestBoundCallback (std::function< void(double)> callback)
void	UnregisterBestBoundCallback (int callback_id)
void	Synchronize ()
IntegerValue	GetInnerObjectiveLowerBound ()
IntegerValue	GetInnerObjectiveUpperBound ()
IntegerValue	GetBestSolutionObjective ()
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)
std::shared_ptr< const SharedSolutionRepository< int64_t >::Solution >	NewSolution (absl::Span< const int64_t > solution_values, absl::string_view solution_info, Model *model=nullptr, int source_id=-1)
void	NotifyThatImprovingProblemIsInfeasible (absl::string_view worker_info)
void	AddUnsatCore (const std::vector< int > &core)
bool	ProblemIsSolved () const
bool	HasFeasibleSolution () const
const SharedSolutionPool &	SolutionPool () const
void	set_dump_prefix (absl::string_view dump_prefix)
void	LogMessage (absl::string_view prefix, absl::string_view message)
void	LogMessageWithThrottling (absl::string_view prefix, absl::string_view message)
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()

operations_research::sat::SharedResponseManager::SharedResponseManager ( Model * model )

explicit

Definition at line 261 of file synchronization.cc.

Member Function Documentation

AddBestBoundCallback()

int operations_research::sat::SharedResponseManager::AddBestBoundCallback

(

std::function< void(double)>

callback

)

Definition at line 619 of file synchronization.cc.

AddFinalResponsePostprocessor()

void operations_research::sat::SharedResponseManager::AddFinalResponsePostprocessor

(

std::function< void(CpSolverResponse *)>

postprocessor

)

Definition at line 563 of file synchronization.cc.

AddLogCallback()

int operations_research::sat::SharedResponseManager::AddLogCallback

(

std::function< std::string(const CpSolverResponse &)>

callback

)

Definition at line 594 of file synchronization.cc.

AddResponsePostprocessor()

void operations_research::sat::SharedResponseManager::AddResponsePostprocessor

(

std::function< void(CpSolverResponse *)>

postprocessor

)

Definition at line 557 of file synchronization.cc.

AddSolutionCallback()

int operations_research::sat::SharedResponseManager::AddSolutionCallback

(

std::function< void(const CpSolverResponse &)>

callback

)

Definition at line 575 of file synchronization.cc.

AddSolutionPostprocessor()

void operations_research::sat::SharedResponseManager::AddSolutionPostprocessor

(

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

postprocessor

)

Definition at line 551 of file synchronization.cc.

AddStatisticsPostprocessor()

void operations_research::sat::SharedResponseManager::AddStatisticsPostprocessor

(

std::function< void(Model *, CpSolverResponse *)>

postprocessor

)

Definition at line 569 of file synchronization.cc.

AddStatusChangeCallback()

void operations_research::sat::SharedResponseManager::AddStatusChangeCallback

(

std::function< void(const SolverStatusChangeInfo &)>

callback

)

Definition at line 602 of file synchronization.cc.

AddUnsatCore()

void operations_research::sat::SharedResponseManager::AddUnsatCore

(

const std::vector< int > &

core

)

Definition at line 511 of file synchronization.cc.

AppendResponseToBeMerged()

void operations_research::sat::SharedResponseManager::AppendResponseToBeMerged

(

const CpSolverResponse &

response

)

Definition at line 720 of file synchronization.cc.

BestSolutionInnerObjectiveValue()

IntegerValue operations_research::sat::SharedResponseManager::BestSolutionInnerObjectiveValue

(

)

Definition at line 541 of file synchronization.cc.

DebugSolution()

const std::vector< int64_t > & operations_research::sat::SharedResponseManager::DebugSolution ( ) const

inline

Definition at line 565 of file synchronization.h.

FillSolveStatsInResponse()

void operations_research::sat::SharedResponseManager::FillSolveStatsInResponse	(	Model *	model,
		CpSolverResponse *	response )

Definition at line 271 of file synchronization.cc.

first_solution_solvers_should_stop()

std::atomic< bool > * operations_research::sat::SharedResponseManager::first_solution_solvers_should_stop ( )

inline

Definition at line 556 of file synchronization.h.

GapIntegral()

double operations_research::sat::SharedResponseManager::GapIntegral

(

)

const

Definition at line 546 of file synchronization.cc.

GetBestSolutionObjective()

IntegerValue operations_research::sat::SharedResponseManager::GetBestSolutionObjective ( )

inline

Definition at line 463 of file synchronization.h.

GetInnerObjectiveLowerBound()

IntegerValue operations_research::sat::SharedResponseManager::GetInnerObjectiveLowerBound

(

)

Definition at line 516 of file synchronization.cc.

GetInnerObjectiveUpperBound()

IntegerValue operations_research::sat::SharedResponseManager::GetInnerObjectiveUpperBound

(

)

Definition at line 521 of file synchronization.cc.

GetResponse()

CpSolverResponse operations_research::sat::SharedResponseManager::GetResponse

(

)

Definition at line 686 of file synchronization.cc.

HasFeasibleSolution()

bool operations_research::sat::SharedResponseManager::HasFeasibleSolution ( ) const

inline

Definition at line 535 of file synchronization.h.

InitializeObjective()

void operations_research::sat::SharedResponseManager::InitializeObjective

(

const CpModelProto &

cp_model

)

Definition at line 308 of file synchronization.cc.

LoadDebugSolution()

void operations_research::sat::SharedResponseManager::LoadDebugSolution ( absl::Span< const int64_t > solution )

inline

Definition at line 562 of file synchronization.h.

LoggingIsEnabled()

bool operations_research::sat::SharedResponseManager::LoggingIsEnabled

(

)

const

Definition at line 302 of file synchronization.cc.

LogMessage()

void operations_research::sat::SharedResponseManager::LogMessage	(	absl::string_view	prefix,
		absl::string_view	message )

Definition at line 280 of file synchronization.cc.

LogMessageWithThrottling()

void operations_research::sat::SharedResponseManager::LogMessageWithThrottling	(	absl::string_view	prefix,
		absl::string_view	message )

Definition at line 287 of file synchronization.cc.

NewSolution()

std::shared_ptr< const SharedSolutionRepository< int64_t >::Solution > operations_research::sat::SharedResponseManager::NewSolution	(	absl::Span< const int64_t >	solution_values,
		absl::string_view	solution_info,
		Model *	model = nullptr,
		int	source_id = -1 )

Definition at line 759 of file synchronization.cc.

NotifyThatImprovingProblemIsInfeasible()

void operations_research::sat::SharedResponseManager::NotifyThatImprovingProblemIsInfeasible

(

absl::string_view

worker_info

)

Definition at line 484 of file synchronization.cc.

ProblemIsSolved()

bool operations_research::sat::SharedResponseManager::ProblemIsSolved

(

)

const

Definition at line 893 of file synchronization.cc.

set_dump_prefix()

void operations_research::sat::SharedResponseManager::set_dump_prefix ( absl::string_view dump_prefix )

inline

Definition at line 544 of file synchronization.h.

SetGapLimitsFromParameters()

void operations_research::sat::SharedResponseManager::SetGapLimitsFromParameters

(

const SatParameters &

parameters

)

Definition at line 360 of file synchronization.cc.

SetSynchronizationMode()

void operations_research::sat::SharedResponseManager::SetSynchronizationMode

(

bool

always_synchronize

)

Definition at line 321 of file synchronization.cc.

SetUpdateGapIntegralOnEachChange()

void operations_research::sat::SharedResponseManager::SetUpdateGapIntegralOnEachChange

(

bool

set

)

Definition at line 326 of file synchronization.cc.

SolutionPool()

const SharedSolutionPool & operations_research::sat::SharedResponseManager::SolutionPool ( ) const

inline

Definition at line 541 of file synchronization.h.

Synchronize()

void operations_research::sat::SharedResponseManager::Synchronize

(

)

Definition at line 526 of file synchronization.cc.

UnregisterBestBoundCallback()

void operations_research::sat::SharedResponseManager::UnregisterBestBoundCallback

(

int

callback_id

)

Definition at line 627 of file synchronization.cc.

UnregisterCallback()

void operations_research::sat::SharedResponseManager::UnregisterCallback

(

int

callback_id

)

Definition at line 583 of file synchronization.cc.

UnregisterLogCallback()

void operations_research::sat::SharedResponseManager::UnregisterLogCallback

(

int

callback_id

)

Definition at line 608 of file synchronization.cc.

UpdateGapIntegral()

void operations_research::sat::SharedResponseManager::UpdateGapIntegral

(

)

Definition at line 331 of file synchronization.cc.

UpdateInnerObjectiveBounds()

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

Definition at line 407 of file synchronization.cc.

---

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

• ortools/sat/synchronization.h
• ortools/sat/synchronization.cc