![]() |
OR-Tools
8.2
|
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, BopConstraintTerm > | BopConstraintTerms |
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 absl::StrongVector<SparseIndex, BopConstraintTerm> BopConstraintTerms |
Definition at line 87 of file bop_types.h.
|
strong |
Enumerator | |
---|---|
OPTIMAL_SOLUTION_FOUND | |
FEASIBLE_SOLUTION_FOUND | |
NO_SOLUTION_FOUND | |
INFEASIBLE_PROBLEM | |
INVALID_PROBLEM |
Definition at line 33 of file bop_types.h.
operations_research::bop::DEFINE_INT_TYPE | ( | ConstraintIndex | , |
int | |||
) |
operations_research::bop::DEFINE_INT_TYPE | ( | EntryIndex | , |
int | |||
) |
operations_research::bop::DEFINE_INT_TYPE | ( | OptimizerIndex | , |
int | |||
) |
operations_research::bop::DEFINE_INT_TYPE | ( | SearchIndex | , |
int | |||
) |
operations_research::bop::DEFINE_INT_TYPE | ( | SolverTimeStamp | , |
int64_t | |||
) |
operations_research::bop::DEFINE_INT_TYPE | ( | SparseIndex | , |
int | |||
) |
operations_research::bop::DEFINE_INT_TYPE | ( | TermIndex | , |
int | |||
) |
operations_research::bop::DEFINE_INT_TYPE | ( | VariableIndex | , |
int | |||
) |
void ExtractLearnedInfoFromSatSolver | ( | sat::SatSolver * | solver, |
LearnedInfo * | info | ||
) |
Definition at line 99 of file bop_util.cc.
|
inline |
Definition at line 51 of file bop_types.h.
const OptimizerIndex operations_research::bop::kInvalidOptimizerIndex | ( | - | 1 | ) |
BopOptimizerBase::Status LoadStateProblemToSatSolver | ( | const ProblemState & | problem_state, |
sat::SatSolver * | sat_solver | ||
) |
Definition at line 88 of file bop_util.cc.
|
inline |
Definition at line 106 of file bop_base.h.
|
inline |
Definition at line 68 of file bop_types.h.
void SatAssignmentToBopSolution | ( | const sat::VariablesAssignment & | assignment, |
BopSolution * | solution | ||
) |
Definition at line 122 of file bop_util.cc.