OR-Tools  8.2
BopAdaptiveLNSOptimizer

Detailed Description

Definition at line 103 of file bop_lns.h.

Public Types

enum  Status {
  OPTIMAL_SOLUTION_FOUND , SOLUTION_FOUND , INFEASIBLE , LIMIT_REACHED ,
  INFORMATION_FOUND , CONTINUE , ABORT
}
 

Public Member Functions

 BopAdaptiveLNSOptimizer (const std::string &name, bool use_lp_to_guide_sat, NeighborhoodGenerator *neighborhood_generator, sat::SatSolver *sat_propagator)
 
 ~BopAdaptiveLNSOptimizer () final
 
const std::string & name () const
 

Static Public Member Functions

static std::string GetStatusString (Status status)
 

Protected Attributes

const std::string name_
 
StatsGroup stats_
 

Member Enumeration Documentation

◆ Status

enum Status
inherited
Enumerator
OPTIMAL_SOLUTION_FOUND 
SOLUTION_FOUND 
INFEASIBLE 
LIMIT_REACHED 
INFORMATION_FOUND 
CONTINUE 
ABORT 

Definition at line 64 of file bop_base.h.

Constructor & Destructor Documentation

◆ BopAdaptiveLNSOptimizer()

BopAdaptiveLNSOptimizer ( const std::string &  name,
bool  use_lp_to_guide_sat,
NeighborhoodGenerator neighborhood_generator,
sat::SatSolver sat_propagator 
)

Definition at line 213 of file bop_lns.cc.

◆ ~BopAdaptiveLNSOptimizer()

Definition at line 225 of file bop_lns.cc.

Member Function Documentation

◆ GetStatusString()

std::string GetStatusString ( Status  status)
staticinherited

Definition at line 39 of file bop_base.cc.

◆ name()

const std::string& name ( ) const
inlineinherited

Definition at line 49 of file bop_base.h.

Member Data Documentation

◆ name_

const std::string name_
protectedinherited

Definition at line 101 of file bop_base.h.

◆ stats_

StatsGroup stats_
mutableprotectedinherited

Definition at line 103 of file bop_base.h.


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