|
| | MySoPlex (SPxSolver::Type p_type=SPxSolver::LEAVE, SPxSolver::Representation p_rep=SPxSolver::COLUMN) |
| | default constructor
|
| |
| virtual | ~MySoPlex () |
| | virtual destructor
|
| |
| void | displayQuality () const |
| |
| void | displayInfeasibility () const |
| |
| | SoPlex (SPxSolver::Type type=SPxSolver::LEAVE, SPxSolver::Representation rep=SPxSolver::COLUMN) |
| | default construtor.
|
| |
| virtual | ~SoPlex () |
| |
| SoPlex & | operator= (const SoPlex &rhs) |
| | assignment operator.
|
| |
| | SoPlex (const SoPlex &) |
| | copy constructor.
|
| |
| virtual void | setUtype (SLUFactor::UpdateType tp) |
| | set update type for factorization.
|
| |
| SPxSolver::Pricing | pricing () const |
| | return current Pricing.
|
| |
| virtual void | setPricing (SPxSolver::Pricing pr) |
| | set FULL or PARTIAL pricing.
|
| |
| SPxSolver::Type | type () const |
| | return current Type.
|
| |
| SPxSolver::Representation | rep () const |
| | return current basis representation.
|
| |
| virtual void | setType (SPxSolver::Type tp) |
| | set LEAVE or ENTER algorithm.
|
| |
| virtual void | setRep (SPxSolver::Representation p_rep) |
| | set ROW or COLUMN representation.
|
| |
| virtual void | setPreScaler (SPxScaler *scaler, const bool destroy=false) |
| | setup prescaler to use. If destroy is true, scaler will be freed in destructor.
|
| |
| virtual void | setPostScaler (SPxScaler *scaler, const bool destroy=false) |
| | setup postscaler to use. If destroy is true, scaler will be freed in destructor.
|
| |
| virtual void | setSimplifier (SPxSimplifier *simpli, const bool destroy=false) |
| | setup simplifier to use. If destroy is true, simpli will be freed in destructor.
|
| |
| bool | has_simplifier () const |
| | has a simplifier been set?
|
| |
| bool | has_prescaler () const |
| | has a prescaler been set?
|
| |
| bool | has_postscaler () const |
| | has a postscaler been set?
|
| |
| virtual void | setPricer (SPxPricer *pricer, const bool destroy=false) |
| | setup pricer to use.
|
| |
| virtual void | setTester (SPxRatioTester *tester, const bool destroy=false) |
| | setup ratio-tester to use.
|
| |
| virtual void | setStarter (SPxStarter *starter, const bool destroy=false) |
| | setup starting basis generator to use.
|
| |
| virtual void | setBasis (SPxSolver::VarStatus rows[], SPxSolver::VarStatus cols[]) |
| |
| virtual void | clearBasis () |
| | clear starting basis
|
| |
| virtual void | setTerminationTime (Real time=infinity) |
| | set time limit.
|
| |
| Real | terminationTime () const |
| | return time limit.
|
| |
| virtual void | setTerminationIter (int iter=-1) |
| | set iteration limit.
|
| |
| int | terminationIter () const |
| | return iteration limit.
|
| |
| virtual void | setTerminationValue (Real val=infinity) |
| | set objective limit.
|
| |
| Real | terminationValue () const |
| | return objective limit.
|
| |
| virtual Real | feastol () const |
| | allowed primal feasibility tolerance.
|
| |
| virtual Real | opttol () const |
| | allowed optimality, i.e., dual feasibility tolerance.
|
| |
| virtual Real | delta () const |
| | guaranteed primal and dual bound violation for optimal solution, returning the maximum of feastol() and opttol(), i.e., the less tight tolerance.
|
| |
| Real | irthreshold () const |
| | iterative refinement threshold: if feastol() or opttol() are below this value, iterative refinement is applied.
|
| |
| virtual void | setFeastol (Real d) |
| | set parameter feastol.
|
| |
| virtual void | setOpttol (Real d) |
| | set parameter opttol.
|
| |
| virtual void | setDelta (Real d) |
| | set parameter delta, i.e., set feastol and opttol to same value.
|
| |
| virtual void | setIrthreshold (Real d) |
| | set parameter irthreshold.
|
| |
| virtual SPxSolver::Status | solve () |
| |
| virtual Real | objValue () const |
| |
| virtual SPxSolver::Status | getPrimal (Vector &vector) const |
| |
| virtual SPxSolver::Status | getSlacks (Vector &vector) const |
| |
| virtual SPxSolver::Status | getDual (Vector &vector) const |
| |
| virtual SPxSolver::Status | getRedCost (Vector &vector) const |
| |
| SPxSolver::VarStatus | getBasisRowStatus (int row) const |
| | gets basis status for a single row.
|
| |
| SPxSolver::VarStatus | getBasisColStatus (int col) const |
| | gets basis status for a single column.
|
| |
| SPxSolver::Status | getBasis (SPxSolver::VarStatus rows[], SPxSolver::VarStatus cols[]) const |
| | get current basis, and return solver status.
|
| |
| const char * | getColName (int idx, const NameSet *cnames, char *buf) |
| |
| const char * | getRowName (int idx, const NameSet *rnames, char *buf) |
| |
| virtual SPxSolver::Status | getPrimalray (Vector &vector) const |
| |
| virtual SPxSolver::Status | getDualfarkas (Vector &vector) const |
| |
| virtual void | qualConstraintViolation (Real &maxviol, Real &sumviol) const |
| | get violation of constraints.
|
| |
| virtual void | qualBoundViolation (Real &maxviol, Real &sumviol) const |
| | get violations of bounds.
|
| |
| virtual Real | getFactorTime () const |
| | time spent in factorizations
|
| |
| virtual int | getFactorCount () const |
| | number of factorizations performed
|
| |
| virtual Real | getSolveTime () const |
| | time spent in solves
|
| |
| virtual int | getSolveCount () const |
| | number of solves performed
|
| |
| virtual int | iteration () const |
| |
| virtual bool | terminate () |
| |
| virtual SPxSolver::Status | status () const |
| | returns the current status
|
| |
| virtual bool | readBasisFile (const char *filename, const NameSet *rowNames, const NameSet *colNames) |
| |
| virtual bool | writeBasisFile (const char *filename, const NameSet *rowNames, const NameSet *colNames) |
| |
| virtual bool | writeState (const char *filename, const NameSet *rowNames=NULL, const NameSet *colNames=NULL) const |
| |
| std::string | statistics () const |
| | returns statistical information in form of a string.
|
| |
| int | nRows () const |
| | returns number of rows in LP.
|
| |
| int | nCols () const |
| | returns number of columns in LP.
|
| |
| int | nNzos () const |
| | number of nonzeros in LP.
|
| |
| Real | minAbsNzo () const |
| | absolute smallest non-zero element in LP.
|
| |
| Real | maxAbsNzo () const |
| | absolute biggest non-zero element in LP.
|
| |
| void | getRow (int i, LPRow &row) const |
| | gets i 'th row.
|
| |
| void | getRow (const SPxRowId &id, LPRow &row) const |
| | gets row with identifier id.
|
| |
| void | getRows (int start, int end, LPRowSet &set) const |
| | gets rows start, ... end.
|
| |
| const SVector & | rowVector (int i) const |
| | gets row vector of row i.
|
| |
| const SVector & | rowVector (const SPxRowId &id) const |
| | gets row vector of row with identifier id.
|
| |
| const Vector & | rhs () const |
| | returns right hand side vector.
|
| |
| Real | rhs (int i) const |
| |
| Real | rhs (const SPxRowId &id) const |
| | returns right hand side of row with identifier id.
|
| |
| const Vector & | lhs () const |
| | returns left hand side vector.
|
| |
| Real | lhs (int i) const |
| |
| Real | lhs (const SPxRowId &id) const |
| | returns left hand side of row with identifier id.
|
| |
| LPRow::Type | rowType (int i) const |
| | returns the inequality type of the i'th LPRow.
|
| |
| LPRow::Type | rowType (const SPxRowId &id) const |
| | returns the inequality type of the row with identifier key.
|
| |
| void | getCol (int i, LPCol &column) const |
| | gets i 'th column.
|
| |
| void | getCol (const SPxColId &id, LPCol &col) const |
| | gets column with identifier id.
|
| |
| void | getCols (int start, int end, LPColSet &set) const |
| | gets columns start, ..., end.
|
| |
| const SVector & | colVector (int i) const |
| | returns column vector of column i.
|
| |
| const SVector & | colVector (const SPxColId &id) const |
| | returns column vector of column with identifier id.
|
| |
| void | getObj (Vector &obj) const |
| | gets objective vector.
|
| |
| Real | obj (int i) const |
| | returns objective value of column i.
|
| |
| Real | obj (const SPxColId &id) const |
| | returns objective value of column with identifier id.
|
| |
| const Vector & | maxObj () const |
| | returns objective vector for maximization problem.
|
| |
| Real | maxObj (int i) const |
| | returns objective value of column i for maximization problem.
|
| |
| Real | maxObj (const SPxColId &id) const |
| | returns objective value of column with identifier id for maximization problem.
|
| |
| const Vector & | upper () const |
| | returns upper bound vector.
|
| |
| Real | upper (int i) const |
| | returns upper bound of column i.
|
| |
| Real | upper (const SPxColId &id) const |
| | returns upper bound of column with identifier id.
|
| |
| const Vector & | lower () const |
| | returns lower bound vector.
|
| |
| Real | lower (int i) const |
| | returns lower bound of column i.
|
| |
| Real | lower (const SPxColId &id) const |
| | returns lower bound of column with identifier id.
|
| |
| SPxSense | spxSense () const |
| | returns the optimization sense.
|
| |
| int | number (const SPxRowId &id) const |
| | returns the row number of the row with identifier id.
|
| |
| int | number (const SPxColId &id) const |
| | returns the column number of the column with identifier id.
|
| |
| int | number (const SPxId &id) const |
| | returns the row or column number for identifier id.
|
| |
| SPxRowId | rId (int n) const |
| | returns the row identifier for row n.
|
| |
| SPxColId | cId (int n) const |
| | returns the column identifier for column n.
|
| |
| virtual void | addRow (const LPRow &row) |
| |
| virtual void | addRow (SPxRowId &id, const LPRow &row) |
| | adds row to LPRowSet.
|
| |
| virtual void | addRows (const LPRowSet &pset) |
| |
| virtual void | addRows (SPxRowId id[], const LPRowSet &set) |
| | adds all LPRows of pset to LPRowSet.
|
| |
| virtual void | addCol (const LPCol &col) |
| |
| virtual void | addCol (SPxColId &id, const LPCol &col) |
| | adds col to LPColSet.
|
| |
| virtual void | addCols (const LPColSet &pset) |
| |
| virtual void | addCols (SPxColId id[], const LPColSet &set) |
| | adds all LPCols of set to LPColSet.
|
| |
| virtual void | removeRow (int i) |
| | removes i 'th row.
|
| |
| virtual void | removeRow (SPxRowId id) |
| | removes row with identifier id.
|
| |
| virtual void | removeRows (int perm[]) |
| | removes multiple rows.
|
| |
| virtual void | removeRows (SPxRowId id[], int n, int perm[]=0) |
| |
| virtual void | removeRows (int nums[], int n, int perm[]=0) |
| | removes n LPRows.
|
| |
| virtual void | removeRowRange (int start, int end, int perm[]=0) |
| | removes rows from start to end (including both).
|
| |
| virtual void | removeCol (int i) |
| | removes i 'th column.
|
| |
| virtual void | removeCol (SPxColId id) |
| | removes column with identifier id.
|
| |
| virtual void | removeCols (int perm[]) |
| | removes multiple columns.
|
| |
| virtual void | removeCols (SPxColId id[], int n, int perm[]=0) |
| |
| virtual void | removeCols (int nums[], int n, int perm[]=0) |
| | removes n LPCols.
|
| |
| virtual void | removeColRange (int start, int end, int perm[]=0) |
| | removes columns from start to end (including both).
|
| |
| virtual void | clear () |
| | clears the LP.
|
| |
| virtual bool | readLPF (std::istream &in, NameSet *rowNames=0, NameSet *colNames=0, DIdxSet *intVars=0) |
| | reads a file in LP format from in.
|
| |
| virtual bool | read (std::istream &in, NameSet *rowNames=0, NameSet *colNames=0, DIdxSet *intVars=0) |
| | reads a file from input stream in.
|
| |
| virtual bool | readFile (const char *filename, NameSet *rowNames=0, NameSet *colNames=0, DIdxSet *intVars=0) |
| | reads a file from a file.
|
| |
| virtual void | writeLPF (std::ostream &out, const NameSet *rowNames, const NameSet *colNames, const DIdxSet *p_intvars=0) const |
| | Write LP in "LPF File Format".
|
| |
| virtual void | writeFile (const char *filename, const NameSet *rowNames=0, const NameSet *colNames=0, const DIdxSet *p_intvars=0) const |
| | Write loaded LP to filename.
|
| |
| virtual bool | readMPS (std::istream &in, NameSet *rowNames=0, NameSet *colNames=0, DIdxSet *intVars=0) |
| | Reads a file in MPS format from in.
|
| |
| virtual void | writeMPS (std::ostream &out, const NameSet *rowNames, const NameSet *colNames, const DIdxSet *p_intvars=0) const |
| | Writes a file in MPS format to out.
|
| |
| virtual void | changeObj (const Vector &newObj) |
| | changes objective vector to newObj.
|
| |
| virtual void | changeObj (int i, Real newVal) |
| | changes i 'th objective vector element to newVal.
|
| |
| virtual void | changeObj (SPxColId id, Real newVal) |
| | change objective value of column with identifier id to newVal.
|
| |
| virtual void | changeLower (const Vector &newLower) |
| | changes vector of lower bounds to newLower.
|
| |
| virtual void | changeLower (int i, Real newLower) |
| | changes i 'th lower bound to newLower.
|
| |
| virtual void | changeLower (SPxColId id, Real newLower) |
| | changes lower bound of column with identifier id to newLower.
|
| |
| virtual void | changeUpper (const Vector &newUpper) |
| | changes vector of upper bounds to newUpper.
|
| |
| virtual void | changeUpper (int i, Real newUpper) |
| | changes i 'th upper bound to newUpper.
|
| |
| virtual void | changeUpper (SPxColId id, Real newUpper) |
| | changes upper bound of column with identifier id to newLower.
|
| |
| virtual void | changeBounds (const Vector &newLower, const Vector &newUpper) |
| | changes variable bounds to newLower and newUpper.
|
| |
| virtual void | changeBounds (int i, Real newLower, Real newUpper) |
| | changes bounds of column i to newLower and newUpper.
|
| |
| virtual void | changeBounds (SPxColId id, Real newLower, Real newUpper) |
| | changes bounds of column with identifier id.
|
| |
| virtual void | changeLhs (const Vector &newLhs) |
| | changes left hand side vector for constraints to newLhs.
|
| |
| virtual void | changeLhs (int i, Real newLhs) |
| | changes i 'th left hand side value to newLhs.
|
| |
| virtual void | changeLhs (SPxRowId id, Real newLhs) |
| | changes left hand side value for row with identifier id.
|
| |
| virtual void | changeRhs (const Vector &newRhs) |
| | changes right hand side vector for constraints to newRhs.
|
| |
| virtual void | changeRhs (int i, Real newRhs) |
| | changes i 'th right hand side value to newRhs.
|
| |
| virtual void | changeRhs (SPxRowId id, Real newRhs) |
| | changes right hand side value for row with identifier id.
|
| |
| virtual void | changeRange (const Vector &newLhs, const Vector &newRhs) |
| | changes left and right hand side vectors.
|
| |
| virtual void | changeRange (int i, Real newLhs, Real newRhs) |
| | changes left and right hand side of row i.
|
| |
| virtual void | changeRange (SPxRowId id, Real newLhs, Real newRhs) |
| | changes left and right hand side of row with identifier id.
|
| |
| virtual void | changeRow (int i, const LPRow &newRow) |
| | replaces i 'th row of LP with newRow.
|
| |
| virtual void | changeRow (SPxRowId id, const LPRow &newRow) |
| | replaces row with identifier id with newRow.
|
| |
| virtual void | changeCol (int i, const LPCol &newCol) |
| | replaces i 'th column of LP with newCol.
|
| |
| virtual void | changeCol (SPxColId id, const LPCol &newCol) |
| | replaces column with identifier id with newCol.
|
| |
| virtual void | changeElement (int i, int j, Real val) |
| | changes LP element (i, j) to val.
|
| |
| virtual void | changeElement (SPxRowId rid, SPxColId cid, Real val) |
| | changes LP element identified by (rid, cid) to val.
|
| |
| virtual void | changeSense (SPxSense sns) |
| | changes optimization sense to sns.
|
| |
| virtual DVector_exact | computePrimalActivity (const Vector_exact &primal) const |
| | compute activity of the rows for a given primal vector exactly.
|
| |
| virtual DVector_exact | computeDualActivity (const Vector_exact &dual) const |
| | compute "dual" activity of the columns for a given dual vector, i.e., y^T A, exactly
|
| |
| bool | isConsistent () const |
| | consistency check.
|
| |
| | SPxLP () |
| | default constructor.
|
| |
| virtual | ~SPxLP () |
| | destructor.
|
| |
| | SPxLP (const SPxLP &old) |
| | copy constructor.
|
| |
| SPxLP & | operator= (const SPxLP &old) |
| | assignment operator
|
| |
Public Member Functions inherited from