SharedBoundsManager

Detailed Description

Definition at line 438 of file synchronization.h.

Public Member Functions
	SharedBoundsManager (const CpModelProto &model_proto)
void	ReportPotentialNewBounds (const std::string &worker_name, const std::vector< int > &variables, const std::vector< int64_t > &new_lower_bounds, const std::vector< int64_t > &new_upper_bounds)
void	FixVariablesFromPartialSolution (const std::vector< int64_t > &solution, const std::vector< int > &variables_to_fix)
int	RegisterNewId ()
void	GetChangedBounds (int id, std::vector< int > *variables, std::vector< int64_t > *new_lower_bounds, std::vector< int64_t > *new_upper_bounds)
void	Synchronize ()
void	LogStatistics (SolverLogger *logger)
int	NumBoundsExported (const std::string &worker_name)
void	LoadDebugSolution (absl::Span< const int64_t > solution)

Constructor & Destructor Documentation

SharedBoundsManager()

SharedBoundsManager ( const CpModelProto &  model_proto )

explicit

Definition at line 765 of file synchronization.cc.

Member Function Documentation

FixVariablesFromPartialSolution()

void FixVariablesFromPartialSolution	(	const std::vector< int64_t > &	solution,
		const std::vector< int > &	variables_to_fix
	)

Definition at line 830 of file synchronization.cc.

GetChangedBounds()

void GetChangedBounds	(	int	id,
		std::vector< int > *	variables,
		std::vector< int64_t > *	new_lower_bounds,
		std::vector< int64_t > *	new_upper_bounds
	)

Definition at line 906 of file synchronization.cc.

LoadDebugSolution()

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

inline

Definition at line 481 of file synchronization.h.

LogStatistics()

void LogStatistics

(

SolverLogger *

logger

)

Definition at line 922 of file synchronization.cc.

NumBoundsExported()

int NumBoundsExported

(

const std::string &

worker_name

)

Definition at line 933 of file synchronization.cc.

RegisterNewId()

int RegisterNewId

(

)

Definition at line 889 of file synchronization.cc.

ReportPotentialNewBounds()

void ReportPotentialNewBounds	(	const std::string &	worker_name,
		const std::vector< int > &	variables,
		const std::vector< int64_t > &	new_lower_bounds,
		const std::vector< int64_t > &	new_upper_bounds
	)

Definition at line 784 of file synchronization.cc.

Synchronize()

void Synchronize

(

)

Definition at line 876 of file synchronization.cc.

---

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

• synchronization.h
• synchronization.cc