SoPlex
Sequential object-oriented simPlex
Sequential object-oriented simPlex
#include <spxpapilo.h>
Public Member Functions | |
Constructors / destructors | |
default constructor. | |
| Presol (Timer::TYPE ttype=Timer::USER_TIME) | |
| Presol (const Presol &old) | |
| copy constructor. More... | |
| Presol & | operator= (const Presol &rhs) |
| assignment operator More... | |
| virtual | ~Presol () |
| destructor. More... | |
| SPxSimplifier< R > * | clone () const |
| virtual SPxSimplifier< R >::Result | simplify (SPxLPBase< R > &lp, R eps, R delta, Real remainingTime) |
| virtual SPxSimplifier< R >::Result | simplify (SPxLPBase< R > &lp, R eps, R ftol, R otol, Real remainingTime, bool keepbounds, uint32_t seed) |
| virtual void | unsimplify (const VectorBase< R > &, const VectorBase< R > &, const VectorBase< R > &, const VectorBase< R > &, const typename SPxSolverBase< R >::VarStatus[], const typename SPxSolverBase< R >::VarStatus[], bool isOptimal) |
| virtual SPxSimplifier< R >::Result | result () const |
| returns result status of the simplification More... | |
| virtual bool | isUnsimplified () const |
| specifies whether an optimal solution has already been unsimplified. More... | |
| virtual const VectorBase< R > & | unsimplifiedPrimal () |
| returns a reference to the unsimplified primal solution. More... | |
| virtual const VectorBase< R > & | unsimplifiedDual () |
| returns a reference to the unsimplified dual solution. More... | |
| virtual const VectorBase< R > & | unsimplifiedSlacks () |
| returns a reference to the unsimplified slack values. More... | |
| virtual const VectorBase< R > & | unsimplifiedRedCost () |
| returns a reference to the unsimplified reduced costs. More... | |
| virtual SPxSolverBase< R >::VarStatus | getBasisRowStatus (int i) const |
| gets basis status for a single row. More... | |
| virtual SPxSolverBase< R >::VarStatus | getBasisColStatus (int j) const |
| gets basis status for a single column. More... | |
| virtual void | getBasis (typename SPxSolverBase< R >::VarStatus rows[], typename SPxSolverBase< R >::VarStatus cols[], const int rowsSize=-1, const int colsSize=-1) const |
| get optimal basis. More... | |
 Public Member Functions inherited from SPxSimplifier< R > | |
| void | setOutstream (SPxOut &newOutstream) |
| virtual const char * | getName () const |
| get name of simplifier. More... | |
| virtual R | timeUsed () const |
| virtual R | getObjoffset () const |
| get objective offset. More... | |
| virtual void | addObjoffset (const R val) |
| add objective offset. More... | |
| virtual void | setMinReduction (const R minRed) |
| set minimal reduction threshold to continue simplification More... | |
| virtual bool | isConsistent () const |
| consistency check More... | |
| SPxSimplifier (const char *p_name, Timer::TYPE ttype=Timer::USER_TIME) | |
| constructor More... | |
| SPxSimplifier (const SPxSimplifier &old) | |
| copy constructor More... | |
| SPxSimplifier & | operator= (const SPxSimplifier &rhs) |
| assignment operator More... | |
| virtual | ~SPxSimplifier () |
| destructor. More... | |
Additional Inherited Members | |
| Public Types inherited from SPxSimplifier< R > | |
| enum | Result { OKAY = 0, INFEASIBLE = 1, DUAL_INFEASIBLE = 2, UNBOUNDED = 3, VANISHED = 4 } |
| Result of the simplification. More... | |
| Protected Attributes inherited from SPxSimplifier< R > | |
| const char * | m_name |
| name of the simplifier More... | |
| Timer * | m_timeUsed |
| user time used for simplification More... | |
| Timer::TYPE | m_timerType |
| int | m_remRows |
| number of removed rows More... | |
| int | m_remCols |
| number of removed columns More... | |
| int | m_remNzos |
| number of removed nonzero coefficients More... | |
| int | m_chgBnds |
| number of changed bounds More... | |
| int | m_chgLRhs |
| number of change right-hand sides More... | |
| int | m_keptBnds |
| number of kept bounds More... | |
| int | m_keptLRhs |
| number of kept left- and right-hand sides More... | |
| R | m_objoffset |
| objective offset More... | |
| R | m_minReduction |
| minimal reduction (sum of removed rows/cols) to continue simplification More... | |
| SPxOut * | spxout |
| message handler More... | |
Definition at line 22 of file spxpapilo.h.
|
explicit |
Definition at line 31 of file spxpapilo.h.
Referenced by Presol< R >::clone(), and Presol< R >::getBasis().
copy constructor.
Definition at line 35 of file spxpapilo.h.
|
virtual |
|
virtual |
Implements SPxSimplifier< R >.
Definition at line 49 of file spxpapilo.h.
References Presol< R >::Presol().
Referenced by Presol< R >::getBasis().
|
virtual |
get optimal basis.
Implements SPxSimplifier< R >.
Definition at line 138 of file spxpapilo.h.
References DSVectorBase< R >::add(), SPxLPBase< R >::addCol(), SPxLPBase< R >::addRow(), SPxLPBase< R >::changeObjOffset(), Presol< R >::clone(), DEFAULT_BND_VIOL, DEFAULT_EPS_ZERO, VectorBase< R >::dim(), SVectorBase< R >::element(), Presol< R >::getBasisColStatus(), Presol< R >::getBasisRowStatus(), Nonzero< R >::idx, soplex::infinity, Presol< R >::isUnsimplified(), SPxLPBase< R >::lhs(), SPxLPBase< R >::lower(), SPxSimplifier< R >::m_timeUsed, MSG_ERROR, MSG_INFO1, MSG_WARNING, SPxLPBase< R >::nCols(), SPxLPBase< R >::nNzos(), SPxLPBase< R >::nRows(), SPxLPBase< R >::obj(), SPxSimplifier< R >::OKAY, Presol< R >::operator=(), SPxSimplifier< R >::operator=(), Presol< R >::Presol(), SPxLPBase< R >::removeCol(), SPxLPBase< R >::removeRow(), Timer::reset(), Presol< R >::result(), SPxLPBase< R >::rhs(), SPxLPBase< R >::rowVector(), Presol< R >::simplify(), SVectorBase< R >::size(), ClassArray< Nonzero< R > >::size(), DataArray< T >::size(), SPxSimplifier< R >::spxout, SPxLPBase< R >::spxSense(), Timer::start(), Presol< R >::unsimplifiedDual(), Presol< R >::unsimplifiedPrimal(), Presol< R >::unsimplifiedRedCost(), Presol< R >::unsimplifiedSlacks(), Presol< R >::unsimplify(), SPxLPBase< R >::upper(), Timer::USER_TIME, Nonzero< R >::val, and Presol< R >::~Presol().
|
virtual |
gets basis status for a single column.
Implements SPxSimplifier< R >.
Definition at line 131 of file spxpapilo.h.
Referenced by Presol< R >::getBasis().
|
virtual |
gets basis status for a single row.
Implements SPxSimplifier< R >.
Definition at line 124 of file spxpapilo.h.
Referenced by Presol< R >::getBasis().
|
virtual |
specifies whether an optimal solution has already been unsimplified.
Reimplemented from SPxSimplifier< R >.
Definition at line 85 of file spxpapilo.h.
Referenced by Presol< R >::getBasis().
assignment operator
Definition at line 38 of file spxpapilo.h.
Referenced by Presol< R >::getBasis().
|
virtual |
returns result status of the simplification
Implements SPxSimplifier< R >.
Definition at line 78 of file spxpapilo.h.
Referenced by Presol< R >::getBasis().
|
virtual |
Implements SPxSimplifier< R >.
Definition at line 54 of file spxpapilo.h.
Referenced by Presol< R >::getBasis().
|
virtual |
Implements SPxSimplifier< R >.
Definition at line 60 of file spxpapilo.h.
|
virtual |
returns a reference to the unsimplified dual solution.
Implements SPxSimplifier< R >.
Definition at line 100 of file spxpapilo.h.
Referenced by Presol< R >::getBasis().
|
virtual |
returns a reference to the unsimplified primal solution.
Implements SPxSimplifier< R >.
Definition at line 92 of file spxpapilo.h.
Referenced by Presol< R >::getBasis().
|
virtual |
returns a reference to the unsimplified reduced costs.
Implements SPxSimplifier< R >.
Definition at line 116 of file spxpapilo.h.
Referenced by Presol< R >::getBasis().
|
virtual |
returns a reference to the unsimplified slack values.
Implements SPxSimplifier< R >.
Definition at line 108 of file spxpapilo.h.
Referenced by Presol< R >::getBasis().
|
virtual |
Implements SPxSimplifier< R >.
Definition at line 68 of file spxpapilo.h.
Referenced by Presol< R >::getBasis().