OR-Tools  8.2
operations_research::bop Namespace Reference

Classes

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

Typedefs

typedef absl::StrongVector< SparseIndex, BopConstraintTermBopConstraintTerms
 

Enumerations

enum class  BopSolveStatus {
  OPTIMAL_SOLUTION_FOUND , FEASIBLE_SOLUTION_FOUND , NO_SOLUTION_FOUND , INFEASIBLE_PROBLEM ,
  INVALID_PROBLEM
}
 

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_t)
 
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)
 

Typedef Documentation

◆ BopConstraintTerms

Definition at line 87 of file bop_types.h.

Enumeration Type Documentation

◆ BopSolveStatus

enum BopSolveStatus
strong
Enumerator
OPTIMAL_SOLUTION_FOUND 
FEASIBLE_SOLUTION_FOUND 
NO_SOLUTION_FOUND 
INFEASIBLE_PROBLEM 
INVALID_PROBLEM 

Definition at line 33 of file bop_types.h.

Function Documentation

◆ 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_t   
)

◆ 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 99 of file bop_util.cc.

◆ GetSolveStatusString()

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

Definition at line 51 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 88 of file bop_util.cc.

◆ operator<<() [1/2]

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

Definition at line 106 of file bop_base.h.

◆ operator<<() [2/2]

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

Definition at line 68 of file bop_types.h.

◆ SatAssignmentToBopSolution()

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

Definition at line 122 of file bop_util.cc.