operations_research::sat::SharedTreeManager Class Reference

Detailed Description

Definition at line 222 of file work_assignment.h.

#include <work_assignment.h>

Public Member Functions
	SharedTreeManager (Model *model)
	SharedTreeManager (const SharedTreeManager &)=delete
int	NumWorkers () const
int	NumNodes () const ABSL_LOCKS_EXCLUDED(mu_)
int	MaxPathDepth () const
bool	SyncTree (ProtoTrail &path) ABSL_LOCKS_EXCLUDED(mu_)
void	ReplaceTree (ProtoTrail &path)
void	CloseTree (ProtoTrail &path, int level)
int	TrySplitTree (absl::Span< const ProtoLiteral > decisions, ProtoTrail &path) ABSL_LOCKS_EXCLUDED(mu_)
void	Restart ()
void	CloseLratProof ()

Constructor & Destructor Documentation

SharedTreeManager() [1/2]

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

explicit

Definition at line 264 of file work_assignment.cc.

SharedTreeManager() [2/2]

operations_research::sat::SharedTreeManager::SharedTreeManager ( const SharedTreeManager & )

delete

Member Function Documentation

CloseLratProof()

void operations_research::sat::SharedTreeManager::CloseLratProof

(

)

Definition at line 985 of file work_assignment.cc.

CloseTree()

void operations_research::sat::SharedTreeManager::CloseTree	(	ProtoTrail &	path,
		int	level )

Definition at line 815 of file work_assignment.cc.

MaxPathDepth()

int operations_research::sat::SharedTreeManager::MaxPathDepth ( ) const

inline

Definition at line 229 of file work_assignment.h.

NumNodes()

int operations_research::sat::SharedTreeManager::NumNodes

(

)

const

Definition at line 288 of file work_assignment.cc.

NumWorkers()

int operations_research::sat::SharedTreeManager::NumWorkers ( ) const

inline

Definition at line 227 of file work_assignment.h.

ReplaceTree()

void operations_research::sat::SharedTreeManager::ReplaceTree

(

ProtoTrail &

path

)

Definition at line 472 of file work_assignment.cc.

Restart()

void operations_research::sat::SharedTreeManager::Restart ( )

inline

Definition at line 252 of file work_assignment.h.

SyncTree()

bool operations_research::sat::SharedTreeManager::SyncTree

(

ProtoTrail &

path

)

Definition at line 293 of file work_assignment.cc.

TrySplitTree()

int operations_research::sat::SharedTreeManager::TrySplitTree	(	absl::Span< const ProtoLiteral >	decisions,
		ProtoTrail &	path )

Definition at line 397 of file work_assignment.cc.

---

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

• ortools/sat/work_assignment.h
• ortools/sat/work_assignment.cc