operations_research::sat::SharedTreeWorker Class Reference

Detailed Description

Definition at line 386 of file work_assignment.h.

#include <work_assignment.h>

Public Member Functions
	SharedTreeWorker (Model *model)
	SharedTreeWorker (const SharedTreeWorker &)=delete
SharedTreeWorker &	operator= (const SharedTreeWorker &)=delete
SatSolver::Status	Search (const std::function< void()> &feasible_solution_observer)

Constructor & Destructor Documentation

SharedTreeWorker() [1/2]

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

explicit

Definition at line 1030 of file work_assignment.cc.

SharedTreeWorker() [2/2]

operations_research::sat::SharedTreeWorker::SharedTreeWorker ( const SharedTreeWorker & )

delete

Member Function Documentation

operator=()

SharedTreeWorker & operations_research::sat::SharedTreeWorker::operator= ( const SharedTreeWorker & )

delete

Search()

SatSolver::Status operations_research::sat::SharedTreeWorker::Search

(

const std::function< void()> &

feasible_solution_observer

)

Definition at line 1436 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