![]() |
OR-Tools
8.2
|
Public Types | |
enum | Status { OPTIMAL_SOLUTION_FOUND , SOLUTION_FOUND , INFEASIBLE , LIMIT_REACHED , INFORMATION_FOUND , CONTINUE , ABORT } |
Public Member Functions | |
BopAdaptiveLNSOptimizer (const std::string &name, bool use_lp_to_guide_sat, NeighborhoodGenerator *neighborhood_generator, sat::SatSolver *sat_propagator) | |
~BopAdaptiveLNSOptimizer () final | |
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.
BopAdaptiveLNSOptimizer | ( | const std::string & | name, |
bool | use_lp_to_guide_sat, | ||
NeighborhoodGenerator * | neighborhood_generator, | ||
sat::SatSolver * | sat_propagator | ||
) |
Definition at line 213 of file bop_lns.cc.
|
final |
Definition at line 225 of file bop_lns.cc.
|
staticinherited |
Definition at line 39 of file bop_base.cc.
|
inlineinherited |
Definition at line 49 of file bop_base.h.
|
protectedinherited |
Definition at line 101 of file bop_base.h.
|
mutableprotectedinherited |
Definition at line 103 of file bop_base.h.