spxsimplifier.h
Go to the documentation of this file.
187 virtual Result simplify(SPxLP& lp, Real eps, Real feastol, Real opttol, bool keepbounds = false) = 0; 217 virtual void getBasis(SPxSolver::VarStatus[], SPxSolver::VarStatus[], const int rowsSize = -1, const int colsSize = -1) const = 0; virtual SPxSolver::VarStatus getBasisColStatus(int) const =0 gets basis status for a single column. virtual const Vector & unsimplifiedSlacks()=0 returns a reference to the unsimplified slack values. virtual void getBasis(SPxSolver::VarStatus[], SPxSolver::VarStatus[], const int rowsSize=-1, const int colsSize=-1) const =0 get optimal basis. virtual void unsimplify(const Vector &, const Vector &, const Vector &, const Vector &, const SPxSolver::VarStatus[], const SPxSolver::VarStatus[]) reconstructs an optimal solution for the unsimplified LP. Definition: spxsimplifier.h:189 the problem was so much simplified that it vanished Definition: spxsimplifier.h:87 virtual Result simplify(SPxLP &lp, Real eps, Real delta)=0 simplify SPxLP lp with identical primal and dual feasibility tolerance. virtual bool isUnsimplified() const specifies whether an optimal solution has already been unsimplified. Definition: spxsimplifier.h:194 virtual Real time() const =0 Real m_minReduction minimal reduction (sum of removed rows/cols) to continue simplification Definition: spxsimplifier.h:70 TimerFactory class. SPxSimplifier & operator=(const SPxSimplifier &rhs) assignment operator Definition: spxsimplifier.h:133 virtual Result result() const =0 returns result status of the simplification LP simplification abstract base class.Instances of classes derived from SPxSimplifier may be loaded t... Definition: spxsimplifier.h:41 Wrapper for several output streams. A verbosity level is used to decide which stream to use and wheth... Definition: spxout.h:63 main LP solver class virtual void setMinReduction(const Real minRed) set minimal reduction threshold to continue simplification Definition: spxsimplifier.h:232 static Timer * createTimer(Timer::TYPE ttype) create timers and allocate memory for them Definition: timerfactory.h:43 virtual const Vector & unsimplifiedPrimal()=0 returns a reference to the unsimplified primal solution. Debugging, floating point type and parameter definitions. Everything should be within this namespace. Saving LPs in a form suitable for SoPlex. virtual const Vector & unsimplifiedDual()=0 returns a reference to the unsimplified dual solution. SPxSimplifier(const char *p_name, Timer::TYPE ttype=Timer::USER_TIME) constructor Definition: spxsimplifier.h:95 virtual const Vector & unsimplifiedRedCost()=0 returns a reference to the unsimplified reduced costs. Definition: timer.h:102 virtual SPxSolver::VarStatus getBasisRowStatus(int) const =0 gets basis status for a single row. dual infeasibility was detected Definition: spxsimplifier.h:85 |