![]() |
OR-Tools
8.2
|
Definition at line 60 of file bop_solver.h.
Public Member Functions | |
BopSolver (const sat::LinearBooleanProblem &problem) | |
virtual | ~BopSolver () |
void | SetParameters (const BopParameters ¶meters) |
BopSolveStatus | Solve () |
BopSolveStatus | Solve (const BopSolution &first_solution) |
BopSolveStatus | SolveWithTimeLimit (TimeLimit *time_limit) |
BopSolveStatus | SolveWithTimeLimit (const BopSolution &first_solution, TimeLimit *time_limit) |
const BopSolution & | best_solution () const |
bool | GetSolutionValue (VariableIndex var_id) const |
double | GetScaledBestBound () const |
double | GetScaledGap () const |
|
explicit |
Definition at line 70 of file bop_solver.cc.
|
virtual |
Definition at line 78 of file bop_solver.cc.
|
inline |
Definition at line 79 of file bop_solver.h.
double GetScaledBestBound | ( | ) | const |
Definition at line 175 of file bop_solver.cc.
double GetScaledGap | ( | ) | const |
Definition at line 180 of file bop_solver.cc.
|
inline |
Definition at line 80 of file bop_solver.h.
|
inline |
Definition at line 66 of file bop_solver.h.
BopSolveStatus Solve | ( | ) |
Definition at line 80 of file bop_solver.cc.
BopSolveStatus Solve | ( | const BopSolution & | first_solution | ) |
Definition at line 144 of file bop_solver.cc.
BopSolveStatus SolveWithTimeLimit | ( | const BopSolution & | first_solution, |
TimeLimit * | time_limit | ||
) |
Definition at line 150 of file bop_solver.cc.
BopSolveStatus SolveWithTimeLimit | ( | TimeLimit * | time_limit | ) |
Definition at line 86 of file bop_solver.cc.