Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::SynchronizationPoint Class Reference

Detailed Description

Definition at line 177 of file subsolver.h.

#include <subsolver.h>

Inheritance diagram for operations_research::sat::SynchronizationPoint:
operations_research::sat::SubSolver

Public Member Functions

 SynchronizationPoint (absl::string_view name, std::function< void()> f)
bool TaskIsAvailable () final
std::function< void()> GenerateTask (int64_t) final
void Synchronize () final
Public Member Functions inherited from operations_research::sat::SubSolver
 SubSolver (absl::string_view name, SubsolverType type)
virtual ~SubSolver ()=default
virtual bool IsDone ()
double deterministic_time () const
std::string name () const
SubsolverType type () const
void AddTaskDuration (double duration_in_seconds)
void NotifySelection ()
void AddTaskDeterministicDuration (double deterministic_duration)
std::string TimingInfo () const
std::string DeterministicTimingInfo () const
double GetSelectionScore (bool deterministic) const

Additional Inherited Members

Public Types inherited from operations_research::sat::SubSolver
enum  SubsolverType { FULL_PROBLEM , FIRST_SOLUTION , INCOMPLETE , HELPER }

Constructor & Destructor Documentation

◆ SynchronizationPoint()

operations_research::sat::SynchronizationPoint::SynchronizationPoint ( absl::string_view name,
std::function< void()> f )
inlineexplicit

Definition at line 179 of file subsolver.h.

Member Function Documentation

◆ GenerateTask()

std::function< void()> operations_research::sat::SynchronizationPoint::GenerateTask ( int64_t )
inlinefinalvirtual

Implements operations_research::sat::SubSolver.

Definition at line 182 of file subsolver.h.

◆ Synchronize()

void operations_research::sat::SynchronizationPoint::Synchronize ( )
inlinefinalvirtual

Implements operations_research::sat::SubSolver.

Definition at line 185 of file subsolver.h.

◆ TaskIsAvailable()

bool operations_research::sat::SynchronizationPoint::TaskIsAvailable ( )
inlinefinalvirtual

Implements operations_research::sat::SubSolver.

Definition at line 181 of file subsolver.h.

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