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

Detailed Description

Definition at line 39 of file shaving_solver.h.

#include <shaving_solver.h>

Inheritance diagram for operations_research::sat::ObjectiveShavingSolver:
operations_research::sat::SubSolver

Public Member Functions

 ObjectiveShavingSolver (const SatParameters &local_parameters, NeighborhoodGeneratorHelper *helper, SharedClasses *shared)
 ~ObjectiveShavingSolver () override
bool TaskIsAvailable () override
std::function< void()> GenerateTask (int64_t task_id) override
void Synchronize () override
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

◆ ObjectiveShavingSolver()

operations_research::sat::ObjectiveShavingSolver::ObjectiveShavingSolver ( const SatParameters & local_parameters,
NeighborhoodGeneratorHelper * helper,
SharedClasses * shared )

Definition at line 51 of file shaving_solver.cc.

◆ ~ObjectiveShavingSolver()

operations_research::sat::ObjectiveShavingSolver::~ObjectiveShavingSolver ( )
override

Definition at line 61 of file shaving_solver.cc.

Member Function Documentation

◆ GenerateTask()

std::function< void()> operations_research::sat::ObjectiveShavingSolver::GenerateTask ( int64_t task_id)
overridevirtual

Implements operations_research::sat::SubSolver.

Definition at line 73 of file shaving_solver.cc.

◆ Synchronize()

void operations_research::sat::ObjectiveShavingSolver::Synchronize ( )
overridevirtual

Implements operations_research::sat::SubSolver.

Definition at line 115 of file shaving_solver.cc.

◆ TaskIsAvailable()

bool operations_research::sat::ObjectiveShavingSolver::TaskIsAvailable ( )
overridevirtual

Implements operations_research::sat::SubSolver.

Definition at line 65 of file shaving_solver.cc.

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