SharedResponseManager

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:

• synchronization.h
• synchronization.cc