Detailed Description

Definition at line 661 of file synchronization.h.

#include <synchronization.h>

Public Member Functions
	SharedBoundsManager (const CpModelProto &model_proto)
void	ReportPotentialNewBounds (const std::string &worker_name, absl::Span< const int > variables, absl::Span< const int64_t > new_lower_bounds, absl::Span< const int64_t > new_upper_bounds)
void	FixVariablesFromPartialSolution (absl::Span< const int64_t > solution, absl::Span< const 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	UpdateDomains (std::vector< Domain > *domains)
void	Synchronize ()
void	LogStatistics (SolverLogger *logger)
int	NumBoundsExported (absl::string_view worker_name)
void	LoadDebugSolution (absl::Span< const int64_t > solution)
void	set_dump_prefix (absl::string_view dump_prefix)

Constructor & Destructor Documentation

◆ SharedBoundsManager()

operations_research::sat::SharedBoundsManager::SharedBoundsManager ( const CpModelProto & model_proto )

explicit

Definition at line 922 of file synchronization.cc.

Member Function Documentation

◆ FixVariablesFromPartialSolution()

void operations_research::sat::SharedBoundsManager::FixVariablesFromPartialSolution	(	absl::Span< const int64_t >	solution,
		absl::Span< const int >	variables_to_fix )

Definition at line 1060 of file synchronization.cc.

◆ GetChangedBounds()

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

Definition at line 1140 of file synchronization.cc.

◆ LoadDebugSolution()

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

inline

Definition at line 710 of file synchronization.h.

◆ LogStatistics()

void operations_research::sat::SharedBoundsManager::LogStatistics ( SolverLogger * logger )

Definition at line 1199 of file synchronization.cc.

◆ NumBoundsExported()

int operations_research::sat::SharedBoundsManager::NumBoundsExported ( absl::string_view worker_name )

Definition at line 1213 of file synchronization.cc.

◆ RegisterNewId()

int operations_research::sat::SharedBoundsManager::RegisterNewId ( )

Definition at line 1122 of file synchronization.cc.

◆ ReportPotentialNewBounds()

void operations_research::sat::SharedBoundsManager::ReportPotentialNewBounds	(	const std::string &	worker_name,
		absl::Span< const int >	variables,
		absl::Span< const int64_t >	new_lower_bounds,
		absl::Span< const int64_t >	new_upper_bounds )

Definition at line 980 of file synchronization.cc.

◆ set_dump_prefix()

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

inline

Definition at line 715 of file synchronization.h.

◆ Synchronize()

void operations_research::sat::SharedBoundsManager::Synchronize ( )

Definition at line 1108 of file synchronization.cc.

◆ UpdateDomains()

void operations_research::sat::SharedBoundsManager::UpdateDomains ( std::vector< Domain > * domains )

Definition at line 1190 of file synchronization.cc.

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

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