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

Detailed Description

Definition at line 83 of file shaving_solver.h.

#include <shaving_solver.h>

Inheritance diagram for operations_research::sat::VariablesShavingSolver:
operations_research::sat::SubSolver

Classes

struct  State

Public Member Functions

 VariablesShavingSolver (const SatParameters &local_parameters, NeighborhoodGeneratorHelper *helper, SharedClasses *shared)
 ~VariablesShavingSolver () override
bool TaskIsAvailable () override
void ProcessLocalResponse (const CpSolverResponse &local_response, const State &state)
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

◆ VariablesShavingSolver()

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

Definition at line 279 of file shaving_solver.cc.

◆ ~VariablesShavingSolver()

operations_research::sat::VariablesShavingSolver::~VariablesShavingSolver ( )
override

Definition at line 297 of file shaving_solver.cc.

Member Function Documentation

◆ GenerateTask()

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

Implements operations_research::sat::SubSolver.

Definition at line 370 of file shaving_solver.cc.

◆ ProcessLocalResponse()

void operations_research::sat::VariablesShavingSolver::ProcessLocalResponse ( const CpSolverResponse & local_response,
const State & state )

Definition at line 315 of file shaving_solver.cc.

◆ Synchronize()

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

Implements operations_research::sat::SubSolver.

Definition at line 389 of file shaving_solver.cc.

◆ TaskIsAvailable()

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

Implements operations_research::sat::SubSolver.

Definition at line 311 of file shaving_solver.cc.

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