OR-Tools  8.1
Namespaces | Classes | Typedefs | Enumerations | Functions | Variables
operations_research::bop Namespace Reference

Namespaces

 BopOptimizerMethod
 
 BopParameters
 
 BopSolverOptimizerSet
 

Classes

class  AdaptiveParameterValue
 
class  AssignmentAndConstraintFeasibilityMaintainer
 
class  BacktrackableIntegerSet
 
class  BopAdaptiveLNSOptimizer
 
class  BopCompleteLNSOptimizer
 
struct  BopConstraintTerm
 
class  BopOptimizerBase
 
class  BopOptimizerMethodDefaultTypeInternal
 
class  BopParametersDefaultTypeInternal
 
class  BopRandomFirstSolutionGenerator
 
class  BopSolution
 
class  BopSolver
 
class  BopSolverOptimizerSetDefaultTypeInternal
 
class  ConstraintBasedNeighborhood
 
class  GuidedSatFirstSolutionGenerator
 
class  IntegralSolver
 
struct  LearnedInfo
 
class  LinearRelaxation
 
class  LocalSearchAssignmentIterator
 
class  LocalSearchOptimizer
 
class  LubyAdaptiveParameterValue
 
class  NeighborhoodGenerator
 
class  NonOrderedSetHasher
 
class  ObjectiveBasedNeighborhood
 
class  OneFlipConstraintRepairer
 
class  OptimizerSelector
 
class  PortfolioOptimizer
 
class  ProblemState
 
class  PROTOBUF_FINAL
 
class  RelationGraphBasedNeighborhood
 
class  SatCoreBasedOptimizer
 
class  SatWrapper
 

Typedefs

typedef absl::StrongVector< SparseIndex, BopConstraintTerm > BopConstraintTerms
 

Enumerations

enum  BopSolveStatus {
  OPTIMAL_SOLUTION_FOUND, FEASIBLE_SOLUTION_FOUND, NO_SOLUTION_FOUND, INFEASIBLE_PROBLEM,
  INVALID_PROBLEM
}
 
enum  BopOptimizerMethod_OptimizerType : int {
  BopOptimizerMethod_OptimizerType_SAT_CORE_BASED = 0, BopOptimizerMethod_OptimizerType_SAT_LINEAR_SEARCH = 15, BopOptimizerMethod_OptimizerType_LINEAR_RELAXATION = 1, BopOptimizerMethod_OptimizerType_LOCAL_SEARCH = 2,
  BopOptimizerMethod_OptimizerType_RANDOM_FIRST_SOLUTION = 3, BopOptimizerMethod_OptimizerType_RANDOM_CONSTRAINT_LNS = 4, BopOptimizerMethod_OptimizerType_RANDOM_VARIABLE_LNS = 5, BopOptimizerMethod_OptimizerType_COMPLETE_LNS = 7,
  BopOptimizerMethod_OptimizerType_LP_FIRST_SOLUTION = 8, BopOptimizerMethod_OptimizerType_OBJECTIVE_FIRST_SOLUTION = 9, BopOptimizerMethod_OptimizerType_USER_GUIDED_FIRST_SOLUTION = 14, BopOptimizerMethod_OptimizerType_RANDOM_CONSTRAINT_LNS_GUIDED_BY_LP = 11,
  BopOptimizerMethod_OptimizerType_RANDOM_VARIABLE_LNS_GUIDED_BY_LP = 12, BopOptimizerMethod_OptimizerType_RELATION_GRAPH_LNS = 16, BopOptimizerMethod_OptimizerType_RELATION_GRAPH_LNS_GUIDED_BY_LP = 17
}
 
enum  BopParameters_ThreadSynchronizationType : int { BopParameters_ThreadSynchronizationType_NO_SYNCHRONIZATION = 0, BopParameters_ThreadSynchronizationType_SYNCHRONIZE_ALL = 1, BopParameters_ThreadSynchronizationType_SYNCHRONIZE_ON_RIGHT = 2 }
 

Functions

std::ostream & operator<< (std::ostream &os, BopOptimizerBase::Status status)
 
 DEFINE_INT_TYPE (OptimizerIndex, int)
 
const OptimizerIndex kInvalidOptimizerIndex (-1)
 
 DEFINE_INT_TYPE (ConstraintIndex, int)
 
 DEFINE_INT_TYPE (EntryIndex, int)
 
 DEFINE_INT_TYPE (SearchIndex, int)
 
 DEFINE_INT_TYPE (TermIndex, int)
 
 DEFINE_INT_TYPE (VariableIndex, int)
 
 DEFINE_INT_TYPE (SolverTimeStamp, int64)
 
std::string GetSolveStatusString (BopSolveStatus status)
 
std::ostream & operator<< (std::ostream &os, BopSolveStatus status)
 
 DEFINE_INT_TYPE (SparseIndex, int)
 
BopOptimizerBase::Status LoadStateProblemToSatSolver (const ProblemState &problem_state, sat::SatSolver *sat_solver)
 
void ExtractLearnedInfoFromSatSolver (sat::SatSolver *solver, LearnedInfo *info)
 
void SatAssignmentToBopSolution (const sat::VariablesAssignment &assignment, BopSolution *solution)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * BopOptimizerMethod_OptimizerType_descriptor ()
 
bool BopOptimizerMethod_OptimizerType_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * BopParameters_ThreadSynchronizationType_descriptor ()
 
bool BopParameters_ThreadSynchronizationType_IsValid (int value)
 
template<typename T >
const std::string & BopOptimizerMethod_OptimizerType_Name (T enum_t_value)
 
bool BopOptimizerMethod_OptimizerType_Parse (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, BopOptimizerMethod_OptimizerType *value)
 
template<typename T >
const std::string & BopParameters_ThreadSynchronizationType_Name (T enum_t_value)
 
bool BopParameters_ThreadSynchronizationType_Parse (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, BopParameters_ThreadSynchronizationType *value)
 

Variables

class operations_research::bop::BopOptimizerMethodDefaultTypeInternal _BopOptimizerMethod_default_instance_
 
class operations_research::bop::BopSolverOptimizerSetDefaultTypeInternal _BopSolverOptimizerSet_default_instance_
 
class operations_research::bop::BopParametersDefaultTypeInternal _BopParameters_default_instance_
 
constexpr BopOptimizerMethod_OptimizerType BopOptimizerMethod_OptimizerType_OptimizerType_MIN = BopOptimizerMethod_OptimizerType_SAT_CORE_BASED
 
constexpr BopOptimizerMethod_OptimizerType BopOptimizerMethod_OptimizerType_OptimizerType_MAX = BopOptimizerMethod_OptimizerType_RELATION_GRAPH_LNS_GUIDED_BY_LP
 
constexpr int BopOptimizerMethod_OptimizerType_OptimizerType_ARRAYSIZE = BopOptimizerMethod_OptimizerType_OptimizerType_MAX + 1
 
constexpr BopParameters_ThreadSynchronizationType BopParameters_ThreadSynchronizationType_ThreadSynchronizationType_MIN = BopParameters_ThreadSynchronizationType_NO_SYNCHRONIZATION
 
constexpr BopParameters_ThreadSynchronizationType BopParameters_ThreadSynchronizationType_ThreadSynchronizationType_MAX = BopParameters_ThreadSynchronizationType_SYNCHRONIZE_ON_RIGHT
 
constexpr int BopParameters_ThreadSynchronizationType_ThreadSynchronizationType_ARRAYSIZE = BopParameters_ThreadSynchronizationType_ThreadSynchronizationType_MAX + 1
 

Typedef Documentation

◆ BopConstraintTerms

typedef absl::StrongVector<SparseIndex, BopConstraintTerm> BopConstraintTerms

Definition at line 85 of file bop_types.h.

Enumeration Type Documentation

◆ BopOptimizerMethod_OptimizerType

enum BopOptimizerMethod_OptimizerType : int
Enumerator
BopOptimizerMethod_OptimizerType_SAT_CORE_BASED 
BopOptimizerMethod_OptimizerType_SAT_LINEAR_SEARCH 
BopOptimizerMethod_OptimizerType_LINEAR_RELAXATION 
BopOptimizerMethod_OptimizerType_LOCAL_SEARCH 
BopOptimizerMethod_OptimizerType_RANDOM_FIRST_SOLUTION 
BopOptimizerMethod_OptimizerType_RANDOM_CONSTRAINT_LNS 
BopOptimizerMethod_OptimizerType_RANDOM_VARIABLE_LNS 
BopOptimizerMethod_OptimizerType_COMPLETE_LNS 
BopOptimizerMethod_OptimizerType_LP_FIRST_SOLUTION 
BopOptimizerMethod_OptimizerType_OBJECTIVE_FIRST_SOLUTION 
BopOptimizerMethod_OptimizerType_USER_GUIDED_FIRST_SOLUTION 
BopOptimizerMethod_OptimizerType_RANDOM_CONSTRAINT_LNS_GUIDED_BY_LP 
BopOptimizerMethod_OptimizerType_RANDOM_VARIABLE_LNS_GUIDED_BY_LP 
BopOptimizerMethod_OptimizerType_RELATION_GRAPH_LNS 
BopOptimizerMethod_OptimizerType_RELATION_GRAPH_LNS_GUIDED_BY_LP 

Definition at line 78 of file bop_parameters.pb.h.

◆ BopParameters_ThreadSynchronizationType

enum BopParameters_ThreadSynchronizationType : int
Enumerator
BopParameters_ThreadSynchronizationType_NO_SYNCHRONIZATION 
BopParameters_ThreadSynchronizationType_SYNCHRONIZE_ALL 
BopParameters_ThreadSynchronizationType_SYNCHRONIZE_ON_RIGHT 

Definition at line 114 of file bop_parameters.pb.h.

◆ BopSolveStatus

enum BopSolveStatus
strong
Enumerator
OPTIMAL_SOLUTION_FOUND 
FEASIBLE_SOLUTION_FOUND 
NO_SOLUTION_FOUND 
INFEASIBLE_PROBLEM 
INVALID_PROBLEM 

Definition at line 31 of file bop_types.h.

Function Documentation

◆ BopOptimizerMethod_OptimizerType_descriptor()

const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * BopOptimizerMethod_OptimizerType_descriptor ( )

Definition at line 288 of file bop_parameters.pb.cc.

◆ BopOptimizerMethod_OptimizerType_IsValid()

bool BopOptimizerMethod_OptimizerType_IsValid ( int  value)

Definition at line 292 of file bop_parameters.pb.cc.

◆ BopOptimizerMethod_OptimizerType_Name()

const std::string& operations_research::bop::BopOptimizerMethod_OptimizerType_Name ( T  enum_t_value)
inline

Definition at line 102 of file bop_parameters.pb.h.

◆ BopOptimizerMethod_OptimizerType_Parse()

bool operations_research::bop::BopOptimizerMethod_OptimizerType_Parse ( ::PROTOBUF_NAMESPACE_ID::ConstStringParam  name,
BopOptimizerMethod_OptimizerType *  value 
)
inline

Definition at line 109 of file bop_parameters.pb.h.

◆ BopParameters_ThreadSynchronizationType_descriptor()

const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * BopParameters_ThreadSynchronizationType_descriptor ( )

Definition at line 335 of file bop_parameters.pb.cc.

◆ BopParameters_ThreadSynchronizationType_IsValid()

bool BopParameters_ThreadSynchronizationType_IsValid ( int  value)

Definition at line 339 of file bop_parameters.pb.cc.

◆ BopParameters_ThreadSynchronizationType_Name()

const std::string& operations_research::bop::BopParameters_ThreadSynchronizationType_Name ( T  enum_t_value)
inline

Definition at line 126 of file bop_parameters.pb.h.

◆ BopParameters_ThreadSynchronizationType_Parse()

bool operations_research::bop::BopParameters_ThreadSynchronizationType_Parse ( ::PROTOBUF_NAMESPACE_ID::ConstStringParam  name,
BopParameters_ThreadSynchronizationType *  value 
)
inline

Definition at line 133 of file bop_parameters.pb.h.

◆ DEFINE_INT_TYPE() [1/8]

operations_research::bop::DEFINE_INT_TYPE ( ConstraintIndex  ,
int   
)

◆ DEFINE_INT_TYPE() [2/8]

operations_research::bop::DEFINE_INT_TYPE ( EntryIndex  ,
int   
)

◆ DEFINE_INT_TYPE() [3/8]

operations_research::bop::DEFINE_INT_TYPE ( OptimizerIndex  ,
int   
)

◆ DEFINE_INT_TYPE() [4/8]

operations_research::bop::DEFINE_INT_TYPE ( SearchIndex  ,
int   
)

◆ DEFINE_INT_TYPE() [5/8]

operations_research::bop::DEFINE_INT_TYPE ( SolverTimeStamp  ,
int64   
)

◆ DEFINE_INT_TYPE() [6/8]

operations_research::bop::DEFINE_INT_TYPE ( SparseIndex  ,
int   
)

◆ DEFINE_INT_TYPE() [7/8]

operations_research::bop::DEFINE_INT_TYPE ( TermIndex  ,
int   
)

◆ DEFINE_INT_TYPE() [8/8]

operations_research::bop::DEFINE_INT_TYPE ( VariableIndex  ,
int   
)

◆ ExtractLearnedInfoFromSatSolver()

void ExtractLearnedInfoFromSatSolver ( sat::SatSolver *  solver,
LearnedInfo *  info 
)

Definition at line 98 of file bop_util.cc.

◆ GetSolveStatusString()

std::string operations_research::bop::GetSolveStatusString ( BopSolveStatus  status)
inline

Definition at line 49 of file bop_types.h.

◆ kInvalidOptimizerIndex()

const OptimizerIndex operations_research::bop::kInvalidOptimizerIndex ( -  1)

◆ LoadStateProblemToSatSolver()

BopOptimizerBase::Status LoadStateProblemToSatSolver ( const ProblemState &  problem_state,
sat::SatSolver *  sat_solver 
)

Definition at line 87 of file bop_util.cc.

◆ operator<<() [1/2]

std::ostream& operations_research::bop::operator<< ( std::ostream &  os,
BopOptimizerBase::Status  status 
)
inline

Definition at line 103 of file bop_base.h.

◆ operator<<() [2/2]

std::ostream& operations_research::bop::operator<< ( std::ostream &  os,
BopSolveStatus  status 
)
inline

Definition at line 66 of file bop_types.h.

◆ SatAssignmentToBopSolution()

void SatAssignmentToBopSolution ( const sat::VariablesAssignment &  assignment,
BopSolution *  solution 
)

Definition at line 121 of file bop_util.cc.

Variable Documentation

◆ _BopOptimizerMethod_default_instance_

BopOptimizerMethodDefaultTypeInternal _BopOptimizerMethod_default_instance_

Definition at line 61 of file bop_parameters.pb.h.

◆ _BopParameters_default_instance_

BopParametersDefaultTypeInternal _BopParameters_default_instance_

Definition at line 64 of file bop_parameters.pb.h.

◆ _BopSolverOptimizerSet_default_instance_

BopSolverOptimizerSetDefaultTypeInternal _BopSolverOptimizerSet_default_instance_

Definition at line 67 of file bop_parameters.pb.h.

◆ BopOptimizerMethod_OptimizerType_OptimizerType_ARRAYSIZE

constexpr int BopOptimizerMethod_OptimizerType_OptimizerType_ARRAYSIZE = BopOptimizerMethod_OptimizerType_OptimizerType_MAX + 1
constexpr

Definition at line 98 of file bop_parameters.pb.h.

◆ BopOptimizerMethod_OptimizerType_OptimizerType_MAX

constexpr BopOptimizerMethod_OptimizerType BopOptimizerMethod_OptimizerType_OptimizerType_MAX = BopOptimizerMethod_OptimizerType_RELATION_GRAPH_LNS_GUIDED_BY_LP
constexpr

Definition at line 97 of file bop_parameters.pb.h.

◆ BopOptimizerMethod_OptimizerType_OptimizerType_MIN

constexpr BopOptimizerMethod_OptimizerType BopOptimizerMethod_OptimizerType_OptimizerType_MIN = BopOptimizerMethod_OptimizerType_SAT_CORE_BASED
constexpr

Definition at line 96 of file bop_parameters.pb.h.

◆ BopParameters_ThreadSynchronizationType_ThreadSynchronizationType_ARRAYSIZE

constexpr int BopParameters_ThreadSynchronizationType_ThreadSynchronizationType_ARRAYSIZE = BopParameters_ThreadSynchronizationType_ThreadSynchronizationType_MAX + 1
constexpr

Definition at line 122 of file bop_parameters.pb.h.

◆ BopParameters_ThreadSynchronizationType_ThreadSynchronizationType_MAX

constexpr BopParameters_ThreadSynchronizationType BopParameters_ThreadSynchronizationType_ThreadSynchronizationType_MAX = BopParameters_ThreadSynchronizationType_SYNCHRONIZE_ON_RIGHT
constexpr

Definition at line 121 of file bop_parameters.pb.h.

◆ BopParameters_ThreadSynchronizationType_ThreadSynchronizationType_MIN

constexpr BopParameters_ThreadSynchronizationType BopParameters_ThreadSynchronizationType_ThreadSynchronizationType_MIN = BopParameters_ThreadSynchronizationType_NO_SYNCHRONIZATION
constexpr

Definition at line 120 of file bop_parameters.pb.h.