OR-Tools  8.2
SatCoreBasedOptimizer Member List

This is the complete list of members for SatCoreBasedOptimizer, including all inherited members.

ABORT enum valueBopOptimizerBase
BopOptimizerBase(const std::string &name)BopOptimizerBaseexplicit
CONTINUE enum valueBopOptimizerBase
GetStatusString(Status status)BopOptimizerBasestatic
INFEASIBLE enum valueBopOptimizerBase
INFORMATION_FOUND enum valueBopOptimizerBase
LIMIT_REACHED enum valueBopOptimizerBase
name() constBopOptimizerBaseinline
name_BopOptimizerBaseprotected
OPTIMAL_SOLUTION_FOUND enum valueBopOptimizerBase
Optimize(const BopParameters &parameters, const ProblemState &problem_state, LearnedInfo *learned_info, TimeLimit *time_limit) overrideSatCoreBasedOptimizerprotectedvirtual
SatCoreBasedOptimizer(const std::string &name)SatCoreBasedOptimizerexplicit
ShouldBeRun(const ProblemState &problem_state) const overrideSatCoreBasedOptimizerprotectedvirtual
SOLUTION_FOUND enum valueBopOptimizerBase
stats_BopOptimizerBasemutableprotected
Status enum nameBopOptimizerBase
~BopOptimizerBase()BopOptimizerBasevirtual
~SatCoreBasedOptimizer() overrideSatCoreBasedOptimizer