![]() |
OR-Tools
8.2
|
Public Types | |
enum | Status { OPTIMAL_SOLUTION_FOUND , SOLUTION_FOUND , INFEASIBLE , LIMIT_REACHED , INFORMATION_FOUND , CONTINUE , ABORT } |
Public Member Functions | |
BopRandomFirstSolutionGenerator (const std::string &name, const BopParameters ¶meters, sat::SatSolver *sat_propagator, MTRandom *random) | |
~BopRandomFirstSolutionGenerator () override | |
bool | ShouldBeRun (const ProblemState &problem_state) const override |
Status | Optimize (const BopParameters ¶meters, const ProblemState &problem_state, LearnedInfo *learned_info, TimeLimit *time_limit) override |
const std::string & | name () const |
Static Public Member Functions | |
static std::string | GetStatusString (Status status) |
Protected Attributes | |
const std::string | name_ |
StatsGroup | stats_ |
|
inherited |
Enumerator | |
---|---|
OPTIMAL_SOLUTION_FOUND | |
SOLUTION_FOUND | |
INFEASIBLE | |
LIMIT_REACHED | |
INFORMATION_FOUND | |
CONTINUE | |
ABORT |
Definition at line 64 of file bop_base.h.
BopRandomFirstSolutionGenerator | ( | const std::string & | name, |
const BopParameters & | parameters, | ||
sat::SatSolver * | sat_propagator, | ||
MTRandom * | random | ||
) |
|
override |
|
staticinherited |
Definition at line 39 of file bop_base.cc.
|
inlineinherited |
Definition at line 49 of file bop_base.h.
|
overridevirtual |
Implements BopOptimizerBase.
|
overridevirtual |
Implements BopOptimizerBase.
|
protectedinherited |
Definition at line 101 of file bop_base.h.
|
mutableprotectedinherited |
Definition at line 103 of file bop_base.h.