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

Detailed Description

Definition at line 36 of file bop_fs.h.

#include <bop_fs.h>

Inheritance diagram for operations_research::bop::GuidedSatFirstSolutionGenerator:
operations_research::bop::BopOptimizerBase

Public Types

enum class  Policy { kNotGuided , kLpGuided , kObjectiveGuided , kUserGuided }
Public Types inherited from operations_research::bop::BopOptimizerBase
enum  Status {
  OPTIMAL_SOLUTION_FOUND , SOLUTION_FOUND , INFEASIBLE , LIMIT_REACHED ,
  INFORMATION_FOUND , CONTINUE , ABORT
}

Public Member Functions

 GuidedSatFirstSolutionGenerator (absl::string_view name, Policy policy)
 ~GuidedSatFirstSolutionGenerator () override
bool ShouldBeRun (const ProblemState &problem_state) const override
Status Optimize (const BopParameters &parameters, const ProblemState &problem_state, LearnedInfo *learned_info, TimeLimit *time_limit) override
Public Member Functions inherited from operations_research::bop::BopOptimizerBase
 BopOptimizerBase (absl::string_view name)
virtual ~BopOptimizerBase ()
const std::string & name () const

Additional Inherited Members

Static Public Member Functions inherited from operations_research::bop::BopOptimizerBase
static std::string GetStatusString (Status status)
Protected Attributes inherited from operations_research::bop::BopOptimizerBase
const std::string name_
StatsGroup stats_

Member Enumeration Documentation

◆ Policy

enum class operations_research::bop::GuidedSatFirstSolutionGenerator::Policy
strong
Enumerator
kNotGuided 
kLpGuided 
kObjectiveGuided 
kUserGuided 

Definition at line 39 of file bop_fs.h.

Constructor & Destructor Documentation

◆ GuidedSatFirstSolutionGenerator()

operations_research::bop::GuidedSatFirstSolutionGenerator::GuidedSatFirstSolutionGenerator ( absl::string_view name,
Policy policy )

Definition at line 100 of file bop_fs.cc.

◆ ~GuidedSatFirstSolutionGenerator()

operations_research::bop::GuidedSatFirstSolutionGenerator::~GuidedSatFirstSolutionGenerator ( )
overridedefault

Member Function Documentation

◆ Optimize()

BopOptimizerBase::Status operations_research::bop::GuidedSatFirstSolutionGenerator::Optimize ( const BopParameters & parameters,
const ProblemState & problem_state,
LearnedInfo * learned_info,
TimeLimit * time_limit )
overridevirtual

Implements operations_research::bop::BopOptimizerBase.

Definition at line 181 of file bop_fs.cc.

◆ ShouldBeRun()

bool operations_research::bop::GuidedSatFirstSolutionGenerator::ShouldBeRun ( const ProblemState & problem_state) const
overridevirtual

Implements operations_research::bop::BopOptimizerBase.

Definition at line 168 of file bop_fs.cc.

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