Detailed Description

Definition at line 302 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 592 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 )

Inside GetAssociatedLiteral if a literal becomes fixed at level 0 during Search, the code CHECKs it is at level 0 when decoding the literal, but the fixed literals are cached, so we can create them now to avoid a crash.

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