operations_research::sat::SubSolver Class Reference

Detailed Description

Definition at line 44 of file subsolver.h.

#include <subsolver.h>

Inheritance diagram for operations_research::sat::SubSolver:

Public Types
enum	SubsolverType { FULL_PROBLEM , FIRST_SOLUTION , INCOMPLETE , HELPER }

Public Member Functions
	SubSolver (absl::string_view name, SubsolverType type)
virtual	~SubSolver ()=default
virtual void	Synchronize ()=0
virtual bool	IsDone ()
virtual bool	TaskIsAvailable ()=0
virtual std::function< void()>	GenerateTask (int64_t task_id)=0
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

Member Enumeration Documentation

SubsolverType

enum operations_research::sat::SubSolver::SubsolverType

Enumerator
FULL_PROBLEM
FIRST_SOLUTION
INCOMPLETE
HELPER

Definition at line 46 of file subsolver.h.

Constructor & Destructor Documentation

SubSolver()

operations_research::sat::SubSolver::SubSolver ( absl::string_view name, SubsolverType type )

inline

Definition at line 48 of file subsolver.h.

~SubSolver()

virtual operations_research::sat::SubSolver::~SubSolver ( )

virtualdefault

Member Function Documentation

AddTaskDeterministicDuration()

void operations_research::sat::SubSolver::AddTaskDeterministicDuration ( double deterministic_duration )

inline

Definition at line 115 of file subsolver.h.

AddTaskDuration()

void operations_research::sat::SubSolver::AddTaskDuration ( double duration_in_seconds )

inline

Definition at line 102 of file subsolver.h.

deterministic_time()

double operations_research::sat::SubSolver::deterministic_time ( ) const

inline

Definition at line 92 of file subsolver.h.

DeterministicTimingInfo()

std::string operations_research::sat::SubSolver::DeterministicTimingInfo ( ) const

inline

Definition at line 129 of file subsolver.h.

GenerateTask()

virtual std::function< void()> operations_research::sat::SubSolver::GenerateTask ( int64_t task_id )

pure virtual

Implemented in operations_research::sat::FeasibilityJumpSolver, operations_research::sat::NeighborhoodGeneratorHelper, operations_research::sat::ObjectiveShavingSolver, operations_research::sat::SynchronizationPoint, and operations_research::sat::VariablesShavingSolver.

GetSelectionScore()

double operations_research::sat::SubSolver::GetSelectionScore ( bool deterministic ) const

inline

Definition at line 142 of file subsolver.h.

IsDone()

virtual bool operations_research::sat::SubSolver::IsDone ( )

inlinevirtual

Reimplemented in operations_research::sat::FeasibilityJumpSolver.

Definition at line 74 of file subsolver.h.

name()

std::string operations_research::sat::SubSolver::name ( ) const

inline

Definition at line 95 of file subsolver.h.

NotifySelection()

void operations_research::sat::SubSolver::NotifySelection ( )

inline

Definition at line 111 of file subsolver.h.

Synchronize()

virtual void operations_research::sat::SubSolver::Synchronize ( )

pure virtual

Implemented in operations_research::sat::FeasibilityJumpSolver, operations_research::sat::NeighborhoodGeneratorHelper, operations_research::sat::ObjectiveShavingSolver, operations_research::sat::SynchronizationPoint, and operations_research::sat::VariablesShavingSolver.

TaskIsAvailable()

virtual bool operations_research::sat::SubSolver::TaskIsAvailable ( )

pure virtual

Implemented in operations_research::sat::FeasibilityJumpSolver, operations_research::sat::NeighborhoodGeneratorHelper, operations_research::sat::ObjectiveShavingSolver, operations_research::sat::SynchronizationPoint, and operations_research::sat::VariablesShavingSolver.

TimingInfo()

std::string operations_research::sat::SubSolver::TimingInfo ( ) const

inline

Definition at line 121 of file subsolver.h.

type()

SubsolverType operations_research::sat::SubSolver::type ( ) const

inline

Definition at line 98 of file subsolver.h.

---

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

• ortools/sat/subsolver.h