![]() |
OR-Tools
8.2
|
Definition at line 1517 of file linear_solver.h.
Public Types | |
enum | SynchronizationStatus { MUST_RELOAD , MODEL_SYNCHRONIZED , SOLUTION_SYNCHRONIZED } |
Public Member Functions | |
MPSolverInterface (MPSolver *const solver) | |
virtual | ~MPSolverInterface () |
virtual MPSolver::ResultStatus | Solve (const MPSolverParameters ¶m)=0 |
virtual absl::optional< MPSolutionResponse > | DirectlySolveProto (const MPModelRequest &request) |
virtual void | Write (const std::string &filename) |
virtual void | Reset ()=0 |
virtual void | SetOptimizationDirection (bool maximize)=0 |
virtual void | SetVariableBounds (int index, double lb, double ub)=0 |
virtual void | SetVariableInteger (int index, bool integer)=0 |
virtual void | SetConstraintBounds (int index, double lb, double ub)=0 |
virtual void | AddRowConstraint (MPConstraint *const ct)=0 |
virtual bool | AddIndicatorConstraint (MPConstraint *const ct) |
virtual void | AddVariable (MPVariable *const var)=0 |
virtual void | SetCoefficient (MPConstraint *const constraint, const MPVariable *const variable, double new_value, double old_value)=0 |
virtual void | ClearConstraint (MPConstraint *const constraint)=0 |
virtual void | SetObjectiveCoefficient (const MPVariable *const variable, double coefficient)=0 |
virtual void | SetObjectiveOffset (double value)=0 |
virtual void | ClearObjective ()=0 |
virtual void | BranchingPriorityChangedForVariable (int var_index) |
virtual int64 | iterations () const =0 |
virtual int64 | nodes () const =0 |
double | best_objective_bound () const |
double | objective_value () const |
virtual MPSolver::BasisStatus | row_status (int constraint_index) const =0 |
virtual MPSolver::BasisStatus | column_status (int variable_index) const =0 |
bool | CheckSolutionIsSynchronized () const |
virtual bool | CheckSolutionExists () const |
bool | CheckSolutionIsSynchronizedAndExists () const |
virtual bool | IsContinuous () const =0 |
virtual bool | IsLP () const =0 |
virtual bool | IsMIP () const =0 |
int | last_variable_index () const |
bool | variable_is_extracted (int var_index) const |
void | set_variable_as_extracted (int var_index, bool extracted) |
bool | constraint_is_extracted (int ct_index) const |
void | set_constraint_as_extracted (int ct_index, bool extracted) |
bool | quiet () const |
void | set_quiet (bool quiet_value) |
MPSolver::ResultStatus | result_status () const |
virtual std::string | SolverVersion () const =0 |
virtual void * | underlying_solver ()=0 |
virtual double | ComputeExactConditionNumber () const |
virtual void | SetStartingLpBasis (const std::vector< MPSolver::BasisStatus > &variable_statuses, const std::vector< MPSolver::BasisStatus > &constraint_statuses) |
virtual bool | InterruptSolve () |
virtual bool | NextSolution () |
virtual void | SetCallback (MPCallback *mp_callback) |
virtual bool | SupportsCallbacks () const |
Static Public Attributes | |
static constexpr int64 | kUnknownNumberOfIterations = -1 |
static constexpr int64 | kUnknownNumberOfNodes = -1 |
Protected Attributes | |
MPSolver *const | solver_ |
SynchronizationStatus | sync_status_ |
MPSolver::ResultStatus | result_status_ |
bool | maximize_ |
int | last_constraint_index_ |
int | last_variable_index_ |
double | objective_value_ |
double | best_objective_bound_ |
bool | quiet_ |
Static Protected Attributes | |
static const int | kDummyVariableIndex = 0 |
Enumerator | |
---|---|
MUST_RELOAD | |
MODEL_SYNCHRONIZED | |
SOLUTION_SYNCHRONIZED |
Definition at line 1519 of file linear_solver.h.
|
explicit |
Definition at line 1624 of file linear_solver.cc.
|
virtual |
Definition at line 1635 of file linear_solver.cc.
|
inlinevirtual |
Reimplemented in SCIPInterface, SatInterface, and GurobiInterface.
Definition at line 1582 of file linear_solver.h.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
double best_objective_bound | ( | ) | const |
Definition at line 1704 of file linear_solver.cc.
|
inlinevirtual |
Reimplemented in SCIPInterface, and GurobiInterface.
Definition at line 1608 of file linear_solver.h.
|
virtual |
Definition at line 1689 of file linear_solver.cc.
bool CheckSolutionIsSynchronized | ( | ) | const |
Definition at line 1677 of file linear_solver.cc.
|
inline |
Definition at line 1635 of file linear_solver.h.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
virtual |
Reimplemented in GurobiInterface.
Definition at line 1728 of file linear_solver.cc.
|
inline |
Definition at line 1661 of file linear_solver.h.
|
inlinevirtual |
Reimplemented in SCIPInterface, and GurobiInterface.
Definition at line 1552 of file linear_solver.h.
|
protected |
Definition at line 1641 of file linear_solver.cc.
|
protectedpure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
protectedpure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
protectedpure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
inlinevirtual |
Reimplemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, and BopInterface.
Definition at line 1696 of file linear_solver.h.
|
protected |
Definition at line 1722 of file linear_solver.cc.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
inline |
Definition at line 1653 of file linear_solver.h.
|
inlinevirtual |
Reimplemented in SCIPInterface, and GurobiInterface.
Definition at line 1699 of file linear_solver.h.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
double objective_value | ( | ) | const |
Definition at line 1699 of file linear_solver.cc.
|
inline |
Definition at line 1669 of file linear_solver.h.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
protected |
Definition at line 1669 of file linear_solver.cc.
|
inline |
Definition at line 1674 of file linear_solver.h.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
inline |
Definition at line 1664 of file linear_solver.h.
|
inline |
Definition at line 1671 of file linear_solver.h.
|
inline |
Definition at line 1658 of file linear_solver.h.
|
inlinevirtual |
Reimplemented in SCIPInterface, and GurobiInterface.
Definition at line 1702 of file linear_solver.h.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
protected |
Definition at line 1737 of file linear_solver.cc.
|
pure virtual |
Implemented in SCIPInterface, GurobiInterface, CLPInterface, CBCInterface, SatInterface, GLOPInterface, and BopInterface.
|
protected |
Definition at line 1773 of file linear_solver.cc.
|
protectedpure virtual |
Implemented in SatInterface, GLOPInterface, and BopInterface.
|
protectedvirtual |
Definition at line 1778 of file linear_solver.cc.
|
protectedpure virtual |
Implemented in SatInterface, GLOPInterface, and BopInterface.
|
protected |
Definition at line 1758 of file linear_solver.cc.
|
protectedvirtual |
Reimplemented in SatInterface, and CBCInterface.
Definition at line 1784 of file linear_solver.cc.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CBCInterface, BopInterface, and CLPInterface.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
protectedpure virtual |
Implemented in SatInterface, GLOPInterface, and BopInterface.
|
protectedpure virtual |
Implemented in SatInterface, GLOPInterface, and BopInterface.
|
protectedpure virtual |
Implemented in SatInterface, GLOPInterface, and BopInterface.
|
protectedpure virtual |
Implemented in SatInterface, GLOPInterface, and BopInterface.
|
protectedpure virtual |
Implemented in SatInterface, GLOPInterface, and BopInterface.
|
protectedvirtual |
Reimplemented in SatInterface, GLOPInterface, and BopInterface.
Definition at line 1789 of file linear_solver.cc.
|
inlinevirtual |
Reimplemented in GLOPInterface.
Definition at line 1690 of file linear_solver.h.
|
protected |
Definition at line 1765 of file linear_solver.cc.
|
protectedvirtual |
Definition at line 1769 of file linear_solver.cc.
|
pure virtual |
Implemented in SCIPInterface, GurobiInterface, CLPInterface, CBCInterface, SatInterface, GLOPInterface, and BopInterface.
|
pure virtual |
Implemented in SCIPInterface, GurobiInterface, CLPInterface, CBCInterface, SatInterface, GLOPInterface, and BopInterface.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
inlinevirtual |
Reimplemented in SCIPInterface, and GurobiInterface.
Definition at line 1706 of file linear_solver.h.
|
pure virtual |
Implemented in SCIPInterface, SatInterface, GurobiInterface, GLOPInterface, CLPInterface, CBCInterface, and BopInterface.
|
inline |
Definition at line 1655 of file linear_solver.h.
|
virtual |
Reimplemented in GurobiInterface.
Definition at line 1637 of file linear_solver.cc.
|
protected |
Definition at line 1733 of file linear_solver.h.
|
staticprotected |
Definition at line 1740 of file linear_solver.h.
|
staticconstexpr |
Definition at line 1534 of file linear_solver.h.
|
staticconstexpr |
Definition at line 1537 of file linear_solver.h.
|
protected |
Definition at line 1725 of file linear_solver.h.
|
protected |
Definition at line 1727 of file linear_solver.h.
|
protected |
Definition at line 1722 of file linear_solver.h.
|
protected |
Definition at line 1730 of file linear_solver.h.
|
protected |
Definition at line 1736 of file linear_solver.h.
|
protected |
Definition at line 1720 of file linear_solver.h.
|
protected |
Definition at line 1715 of file linear_solver.h.
|
protected |
Definition at line 1717 of file linear_solver.h.