Everything should be within this namespace. More...

Classes
class	Array
	Safe arrays of arbitrary types.Class Array provides safe arrays of arbitrary type. Array elements are accessed just like ordinary C++ array elements by means of the index operator[](). Safety is provided by. More...

class	CLUFactor
	Implementation of sparse LU factorization.This class implements a sparse LU factorization with either FOREST-TOMLIN or ETA updates, using dynamic Markowitz pivoting. More...

class	DataArray
	Safe arrays of data objects.Class DataArray provides safe arrays of Data Objects. For general C++ objects (in contrast to data objects) class Array is provided which manages memory in a C++ compliant way. More...

class	DataHashTable
	Generic hash table for data objects.Class DataHashTable provides a generic hash table for Data Objects, i.e., a map that maps arguments called HashItems to values called Infos. HashItem and Info types are passed as template arguments. HashItems must provide a comparison operator==(). Furthermore, both the HashItem and Info must be data objects in the sense that the assignment operator is equivalent to a `memcpy()` of the structure and no destructor is required. More...

class	DataKey
	Entry identifier class for items of a DataSet.Every item in a DataSet is assigned a DataKey by which it can be accessed (using DataSet::operator[]()). A DataKey consists of an integer member idx, which is a positive number for any valid DataKey. No idx of an element in a DataSet may exceed the sets max(). This property may be used to build arrays with additional information to the elements of a DataSet. More...

class	DataSet
	Set of data objects.Class DataSet manages of sets of data objects of a template type DATA. For constructing a DataSet the maximum number of entries must be given. The current maximum number may be inquired with method max(). More...

class	DIdxSet
	Dynamic index set.Class DIdxSet provides dynamic IdxSet in the sense, that no restrictions are posed on the use of methods add(). However, method indexMem() has been moved to the private members. This is because DIdxSet adds its own memory management to class IdxSet and the user must not interfere with it. More...

class	DSVector
	Dynamic sparse vectors.Class DSVector implements dynamic sparse vectors, i.e. SVectors with an automatic memory management. This allows the user to freely add() as many nonzeros to a DSVector as desired, without any precautions. For saving memory method setMax() allows to reduce memory consumption to the amount really required. More...

class	DVector
	Dynamic vectors.Class DVector is a derived class of Vector adding automatic memory management to such objects. This allows to implement maths operations operator+() and operator-(). Further, it is possible to reset the dimension of a DVector via method reDim(). However, this may render all references to values of a reDim()ed DVector invalid. More...

class	DVector_exact
	Dynamic vectors of MpqReal.Class DVector_exact is a copy of class DVector replacing the floating point type Real with the exact MpqReal. More...

class	SPxException
	Exception base class.This class implements a base class for our SoPlex exceptions We provide a what() function which returns the exception message. More...

class	SPxMemoryException
	Exception class for out of memory exceptions.This class is derived from the SoPlex exception base class. It does not provide any new functionality. More...

class	SPxStatusException
	Exception class for status exceptions during the computationsThis class is derived from the SoPlex exception base class. It does not provide any new functionality. More...

class	SPxInternalCodeException
	Exception class for things that should NEVER happen.This class is derived from the SoPlex exception base class. It does not provide any new functionality. Most often it is used to replace assert(false) terms in earlier code. More...

class	SPxInterfaceException
	Exception class for incorrect usage of interface methods. More...

class	IdElement
	Elements for IdLists.IdElements are derived from the template parameter class T and can hence be used as such. The additional methods next() and prev() provide access to the links for the list. They may freely be used by the programmer as long as an IdElement is not member of a IdList. In this case, the IdList controls members next() and prev(). However, IdList should provide enough functionality for the user not to require any modification to these members. More...

class	IdList
	Generic Real linked list.Class IdList implements an intrusive Real linked list as a template class. As such, the list elements must provide the links themselfs. For conveniance, we also provide class IdElement that adds both links to an arbitrary class as template parameter. More...

class	IdxSet
	Set of indices.Class IdxSet provides a set of indices. At construction it must be given an array of int where to store the indice and its length. The array will from then on be managed by the IdxSet. More...

class	IsElement
	Elements for IsLists.Class IsElement allows to easily construct list elements for an intrusive single linked list IsList out of a template class T. It adds a next pointer to each element. An instance of IdElement<T> a can be used just like an instance of T itself, except that method next() has been added (thereby overriding any method next() defined in T). More...

class	IsList
	Generic single linked list.Class IsList implements an intrusive single linked list of elements of a template class T. As an intrusive list, the objects of type T must provide methods next() for setting and inquiring a pointer to the next element in a list. The user is responsible for not modifying the next() pointer of elements currently residing in a list, which may destroy the lists integrity. For this, class IsList provides enough methods for modifying a list in a save way. See the method list for a description. More...

class	LPCol
	LP column.Class LPCol provides a datatype for storing the column of an LP a the form similar to $\begin{array}{rl} \hbox{max} & c^T x \\ \hbox{s.t.} & Ax \le b \\ & l \le x \le u \end{array}$ Hence, an LPCol consists of an objective value, a column DSVector and an upper and lower bound to the corresponding variable, which may include $\pm\infty$ . However, it depends on the LP code to use, what values are actually treated as $\infty$ . More...

class	LPColSet
	Set of LP columns.Class LPColSet implements a set of LPCols. Unless for memory limitations, any number of LPCols may be added to an LPColSet. Single or multiple LPCols may be added to an LPColSet, where each method add() comes with two different signatures. One with and one without a parameter, used for returning the DataKeys assigned to the new LPCols by the set. See DataKey for a more detailed description of the concept of keys. For the concept of renumbering LPCols within an LPColSet after removal of some LPCols, see DataSet. More...

class	LPRow
	(In)equality for LPs.Class LPRow provides constraints for linear programs in the form $l \le a^Tx \le r,$ where a is a DSVector. l is referred to as left hand side, r as right hand side and a as row vector or the constraint vector. l and r may also take values $\pm$ infinity. This static member is predefined, but may be overridden to meet the needs of the LP solver to be used. More...

class	LPRowSet
	Set of LP rows.Class LPRowSet implements a set of LPRows. Unless for memory limitations, any number of LPRows may be added to an LPRowSet. Single or multiple LPRows may be added to an LPRowSet, where each method add() comes with two different signatures. One with and one without a parameter, used for returning the Keys assigned to the new LPRows by the set. See DataKey for a more detailed description of the concept of keys. For the concept of renumbering LPRows within an LPRowSet after removal of some LPRows see DataSet. More...

class	MPSInput

class	NameSet
	Set of strings.Class NameSet implements a symbol or name table. It allows to store or remove names (i.e., `char*`), but does not provide means for manipulating stored names. More...

class	Random
	Random numbers.Class Random provides random Real variables, i.e. a value variable that gives another value each time it is accessed. It may be used just like an ordinary Real by means of an overloaded cast operator Real()%. More...

class	SLinSolver
	Sparse Linear Solver virtual base class.Class SLinSolver provides a class for solving sparse linear systems with a matrix and arbitrary right-hand side vectors. For doing so, the matrix must be first loaded to an SLinSolver object as an array of pointers to the column SVectors of this matrix. More...

class	SLUFactor
	Implementation of Sparse Linear Solver.This class implements a SLinSolver interface by using the sparse LU factorization implementet in CLUFactor. More...

class	SoPlex
	Preconfigured SoPlex LP-solver. More...

class	SPxBasis
	Simplex basis.Consider the linear program as provided from class SPxLP: $\begin{array}{rl} \hbox{max} & c^T x \\ \hbox{s.t.} & l_r \le Ax \le u_r \\ & l_c \le x \le u_c \end{array}$ where $c, l_c, u_c, x \in {\bf R}^n$ , $l_r, u_r \in {\bf R}^m$ and $A \in {\bf R}^{m \times n}$ . Solving this LP with the simplex algorithm requires the definition of a basis. Such can be defined as a set of column vectors or a set of row vectors building a nonsingular matrix. We will refer to the first case as the columnwise representation and the latter case will be called the rowwise representation. In both cases, a basis is a set of vectors forming a nonsigular matrix. The dimension of the vectors is refered to as the basis' dimension, whereas the number of vectors belonging to the LP is called the basis' codimension. More...

class	SPxBoundFlippingRT
	Bound flipping ratio test ("long step dual") for SoPlex.Class SPxBoundFlippingRT provides an implementation of the bound flipping ratio test as a derived class of SPxRatioTester. Dual step length is increased beyond some breakpoints and corresponding primal nonbasic variables are set to their other bound to handle the resulting dual infeasibility. More...

class	SPxDantzigPR
	Dantzig pricer.Class SPxDantzigPR is an implementation class of an SPxPricer implementing Dantzig's default pricing strategy, i.e., maximal/minimal reduced cost or maximally violated constraint. More...

class	SPxDefaultRT
	Textbook ratio test for SoPlex.Class SPxDefaultRT provides an implementation of the textbook ratio test as a derived class of SPxRatioTester. This class is not intended for reliably solving LPs (even though it does the job for ``numerically simple'' LPs). Instead, it should serve as a demonstration of how to write ratio tester classes. More...

class	Param

class	SPxDevexPR
	Devex pricer.The Devex Pricer for SoPlex implements an approximate steepest edge pricing, that does without solving an extra linear system and computing the scalar products. More...

class	SPxEquiliSC
	Equilibrium row/column scaling.This SPxScaler implementation performs equilibrium scaling of the LPs rows and columns. More...

class	SPxFastRT
	Fast shifting ratio test.Class SPxFastRT is an implementation class of SPxRatioTester providing fast and stable ratio test. Stability is achieved by allowing some infeasibility to ensure numerical stability such as the Harris procedure. Performance is achieved by skipping the second phase if the first phase already shows a stable enough pivot. More...

class	SPxGeometSC
	Geometric mean row/column scaling.This SPxScaler implementation performs geometric mean scaling of the LPs rows and columns. More...

class	SPxHarrisRT
	Harris pricing with shifting.Class SPxHarrisRT is a stable implementation of a SPxRatioTester class along the lines of Harris' two phase algorithm. Additionally it uses shifting of bounds in order to avoid cycling. More...

class	SPxHybridPR
	Hybrid pricer.The hybrid pricer for SoPlex tries to guess the best pricing strategy to use for pricing the loaded LP with the loaded algorithm type and basis representation. Currently it does so by switching between SPxSteepPR, SPxDevexPR and SPxParMultPR. More...

class	SPxColId
	Ids for LP columns.Class SPxColId provides DataKeys for the column indices of an SPxLP. More...

class	SPxRowId
	Ids for LP rows.Class SPxRowId provides DataKeys for the row indices of an SPxLP. More...

class	SPxId
	Generic Ids for LP rows or columns.Both SPxColIds and SPxRowIds may be treated uniformly as SPxIds: More...

class	SPxLP
	Saving LPs in a form suitable for SoPlex.Class SPxLP provides the data structures required for saving a linear program in the form $\begin{array}{rl} \hbox{max} & c^T x \\ \hbox{s.t.} & l_r \le Ax \le u_r \\ & l_c \le x \le u_c \end{array}$ suitable for solving with SoPlex. This includes: More...

class	SPxMainSM
	LP simplifier for removing uneccessary row/columns.This SPxSimplifier is mainly based on the paper "Presolving in linear programming" by E. Andersen and K. Andersen (Mathematical Programming, 1995). It implements all proposed methods and some other preprocessing techniques for removing redundant rows and columns and bounds. Also infeasibility and unboundness may be detected. More...

class	SPxOut
	Wrapper for several output streams. A verbosity level is used to decide which stream to use and whether to really print a given message. Regardless of whether the verbosity level is set via a manipulator or via the member function, it is persistent until a new value is set. More...

class	SPxParMultPR
	Partial multiple pricing.Class SPxParMultPr is an implementation class for SPxPricer implementing Dantzig's default pricing strategy with partial multiple pricing. Partial multiple pricing applies to the entering Simplex only. A set of partialSize eligible pivot indices is selected (partial pricing). In the following Simplex iterations pricing is restricted to these indices (multiple pricing) until no more eliiable pivots are available. Partial multiple pricing significantly reduces the computation time for computing the matrix-vector-product in the Simplex algorithm. More...

class	SPxPricer
	Abstract pricer base class.Class SPxPricer is a pure virtual class defining the interface for pricer classes to be used by SoPlex. The pricer's task is to select a vector to enter or leave the simplex basis, depending on the chosen simplex type. More...

class	SPxRatioTester
	Abstract ratio test base class.Class SPxRatioTester is the virtual base class for computing the ratio test within the Simplex algorithm driven by SoPlex. After a SoPlex solver has been load()ed to an SPxRatioTester, the solver calls selectLeave() for computing the ratio test for the entering simplex and selectEnter() for computing the ratio test in leaving simplex. More...

class	SPxScaler
	LP scaler abstract base class.Instances of classes derived from SPxScaler may be loaded to SoPlex in order to scale LPs before solving them. SoPlex will load() itself to the SPxScaler and then call scale(). Generally any SPxLP can be loaded to a SPxScaler for scale()ing it. The scaling can be undone by calling unscale(). More...

class	SPxSimplifier
	LP simplification abstract base class.Instances of classes derived from SPxSimplifier may be loaded to SoPlex in order to simplify LPs before solving them. SoPlex will call simplify() on itself. Generally any SPxLP can be given to a SPxSimplifier for simplify()ing it. The simplification cannot be undone, but given an primal/dual solution for the simplified SPxLP, the simplifier can reconstruct the primal/dual solution of the unsimplified LP. More...

class	SPxSolver
	Sequential object-oriented SimPlex.SPxSolver is an LP solver class using the revised Simplex algorithm. It provids two basis representations, namely a column basis and a row basis (see Representation). For both representations, a primal and dual algorithm is available (see Type). More...

class	SPxStarter
	SoPlex start basis generation base class.SPxStarter is the virtual base class for classes generating a starter basis for the Simplex solver SoPlex. When a SPxStarter object has been loaded to a SoPlex solver, the latter will call method generate() in order to have a start basis generated. Implementations of method generate() must terminate by loading the generated basis to SoPlex. Loaded bases must be nonsingular. More...

class	SPxSteepExPR
	Steepest edge pricer.Class SPxSteepExPR implements a steepest edge pricer to be used with SoPlex. Exact initialization of weights is used. More...

class	SPxSteepPR
	Steepest edge pricer.Class SPxSteepPR implements a steepest edge pricer to be used with SoPlex. More...

class	SPxSumST
	Simple heuristic SPxStarter.Testing version of an SPxVectorST using a very simplistic heuristic to build up an approximated solution vector. More...

class	SPxVectorST
	Solution vector based start basis.This version of SPxWeightST can be used to construct a starting basis for an LP to be solved with SoPlex if an approximate solution vector or dual vector (possibly optained by a heuristic) is available. This is done by setting up weights for the SPxWeightST it is derived from. More...

class	SPxWeightPR
	Weighted pricing.Class SPxWeightPR is an implemantation class of SPxPricer that uses weights for columns and rows for selecting the Simplex pivots. The weights are computed by methods computeCP() and computeRP() which may be overridden by derived classes. More...

struct	Compare
	Compare class for row weights, used for sorting. More...

class	SPxWeightST
	Weighted start basis.Class SPxWeightST is an implementation of a SPxStarter for generating a Simplex starting basis. Using method setupWeights() it sets up arrays weight and coWeight, or equivalently rowWeight and colWeight. (rowWeight and colWeight are just pointers initialized to weight and coWeight according to the representation of SoPlex `base` passed to method generate().) More...

class	SSVector
	Semi sparse vector.This class implements Semi Sparse Vectors. Such are DVectors where the indices of its nonzero elements can be stored in an extra IdxSet. Only elements with absolute value > epsilon are considered to be nonzero. Since really storing the nonzeros is not always convenient, an SSVector provides two different stati: setup and not setup. An SSVector being setup means that the nonzero indices are available, otherwise an SSVector is just an ordinary Vector with an empty IdxSet. Note that due to arithmetic operation, zeros can slip in, i.e., it is only guaranteed that at least every non-zero is in the IdxSet. More...

class	SVector
	Sparse vectors.Class SVector provides packed sparse vectors. Such are a sparse vectors, with a storage scheme that keeps all data in one contiguous block of memory. This is best suited for using them for parallel computing on a distributed memory multiprocessor. More...

class	SVSet
	sparse vector set.Class SVSet provides a set of sparse vectors SVector. All SVectors in a SVSet share one big memory block for their nonzeros. This memory is reffered to as the nonzero memory. The SVectors themselfs are saved in another memory block refered to as the vector memory. Both memory blocks will grow automatically if required, when adding more SVectors to the set or enlarging SVectors within the set. For controlling memory consumption, methods are provided to inquire and reset the size of the memory blocks used for vectors and nonzeros. More...

class	Timer
	Wrapper for the system time query methods. More...

class	TraceMethod
	Helper class to trace the calling of methods. More...

class	UnitVector
	Sparse vector .A UnitVector is an SVector that can take only one nonzero value with value 1 but arbitrary index. More...

class	UpdateVector
	Dense vector with semi-sparse vector for updatesIn many algorithms vectors are updated in every iteration, by adding a multiple of another vector to it, i.e., given a vector `x`, a scalar $\alpha$ and another vector $\delta$ , the update to `x` constists of substituting it by $x \leftarrow x + \alpha\cdot\delta$ . More...

class	Vector
	Dense vectorClass Vector provides dense linear algebra vectors. It does not provide memory management for the array of values. Instead, the constructor requires a pointer to a memory block large enough to fit the desired dimension of Real values. More...

class	Vector_exact
	Dense vector of MpqReal.Class Vector_exact is a copy of class Vector replacing the floating point type Real with the exact MpqReal. More...

Typedefs
typedef Real	MpqReal
	Wrapper for GMP type mpq_class.We wrap mpq_class so that we can replace it by SoPlex's normal Real type if GMP is not available.

typedef double	Real

typedef std::ifstream	spxifstream

typedef DataArray < SVector::Element >	SVSetBase

Functions
static void	changeLowerStatus (SPxBasis::Desc::Status &stat, Real newLower, Real upper, const SPxBasis &basis, int i)

static void	changeUpperStatus (SPxBasis::Desc::Status &stat, Real newUpper, Real lower, const SPxBasis &basis, int i)

static void	changeLhsStatus (SPxBasis::Desc::Status &stat, Real newLhs, Real rhs, const SPxBasis &basis, int i)

static void	changeRhsStatus (SPxBasis::Desc::Status &stat, Real newRhs, Real lhs, const SPxBasis &basis, int i)

static void	enQueueMax (int heap, int size, int elem)

static int	deQueueMax (int heap, int size)

static void	enQueueMin (int heap, int size, int elem)

static int	deQueueMin (int heap, int size)

DVector	operator+ (const Vector &v, const Vector &w)

DVector	operator+ (const Vector &v, const SVector &w)

DVector	operator- (const Vector &vec)

DVector	operator- (const Vector &v, const Vector &w)

DVector	operator- (const Vector &v, const SVector &w)

DVector	operator- (const SVector &v, const Vector &w)

DVector	operator* (const Vector &v, Real x)

std::istream &	operator>> (std::istream &s, DVector &vec)

Real	get_d (const MpqReal &q)
	cast MpqReal to Real

MpqReal	abs (const MpqReal &q)
	return maximal absolute value

static void	clear_from (char *buf, int pos)
	fill the line from `pos` up to column 80 with blanks.

static void	patch_field (char *buf, int beg, int end)
	change all blanks inside a field to PATCH_CHAR.

static int	NameSetNameHashFunction (const NameSet::Name *str)
	returns the hash value of the name.

std::ostream &	operator<< (std::ostream &s, const NameSet &nset)

static Real	betterThreshold (Real th)

template<class T , class COMPARATOR >
static void	sorter_qsort (T *t, int end, COMPARATOR &compare, int start=0)
	Generic QuickSort implementation.

template<class T , class COMPARATOR >
static int	sorter_qsortPart (T *t, COMPARATOR &compare, int start, int end, int size, int start2=0, int end2=0)
	Generic implementation of Partial QuickSort.

static const char *	getRowName (const SPxLP lp, int idx, const NameSet rnames, char *buf)

static const char *	getColName (const SPxLP lp, int idx, const NameSet cnames, char *buf)

std::ostream &	operator<< (std::ostream &os, const SPxBasis::SPxStatus &status)
	Pretty-printing of basis status.

static SPxBasis::Desc::Status	primalColStatus (int i, const SPxLP *theLP)

bool	msginconsistent (const char name, const char file, int line)

static Real	maxAbs (Real a, Real b)
	returns max(\|a\|,\|b\|)

static Real	relDiff (Real a, Real b)
	returns (a-b) / max(\|a\|,\|b\|,1.0)

bool	EQ (Real a, Real b, Real eps=Param::epsilon())
	returns `true` iff \|a-b\| <= eps

bool	NE (Real a, Real b, Real eps=Param::epsilon())
	returns `true` iff \|a-b\| > eps

bool	LT (Real a, Real b, Real eps=Param::epsilon())
	returns `true` iff a < b + eps

bool	LE (Real a, Real b, Real eps=Param::epsilon())
	returns `true` iff a <= b + eps

bool	GT (Real a, Real b, Real eps=Param::epsilon())
	returns `true` iff a > b + eps

bool	GE (Real a, Real b, Real eps=Param::epsilon())
	returns `true` iff a >= b + eps

bool	isZero (Real a, Real eps=Param::epsilon())
	returns `true` iff \|a\| <= eps

bool	isNotZero (Real a, Real eps=Param::epsilon())
	returns `true` iff \|a\| > eps

bool	EQrel (Real a, Real b, Real eps=Param::epsilon())
	returns `true` iff \|relDiff(a,b)\| <= eps

bool	NErel (Real a, Real b, Real eps=Param::epsilon())
	returns `true` iff \|relDiff(a,b)\| > eps

bool	LTrel (Real a, Real b, Real eps=Param::epsilon())
	returns `true` iff relDiff(a,b) <= -eps

bool	LErel (Real a, Real b, Real eps=Param::epsilon())
	returns `true` iff relDiff(a,b) <= eps

bool	GTrel (Real a, Real b, Real eps=Param::epsilon())
	returns `true` iff relDiff(a,b) > eps

bool	GErel (Real a, Real b, Real eps=Param::epsilon())
	returns `true` iff relDiff(a,b) > -eps

std::ostream &	operator<< (std::ostream &os, const SPxBasis::Desc::Status &stat)

static const char *	makename (bool doBoth)

const char *	getGitHash ()

std::ostream &	operator<< (std::ostream &os, const SPxId &id)

static bool	isSpace (int c)
	Is `c` a `space`, `tab`, `nl` or `cr` ?

static bool	isValue (const char *s)
	Is there a number at the beginning of `s` ?

static bool	isColName (const char *s)
	Is there a possible column name at the beginning of `s` ?

static bool	isSense (const char *s)
	Is there a comparison operator at the beginning of `s` ?

static bool	isInfinity (const char *s)

static bool	isFree (const char *s)

static Real	readValue (char *&pos)
	Read the next number and advance `pos`.

static int	readColName (char &pos, NameSet colnames, LPColSet &colset, const LPCol *emptycol)
	Read the next column name from the input.

static int	readSense (char *&pos)
	Read the next <,>,=,==,<=,=<,>=,=> and advance `pos`.

static bool	hasKeyword (char &pos, const char keyword)
	Is the `keyword` present in `buf` ? If yes, advance `pos`.

static bool	hasRowName (char &pos, NameSet rownames)
	If `buf` start with "name:" store the name in `rownames` and advance `pos`.

static Real	readInfinity (char *&pos)

static void	readName (MPSInput &mps)
	Process NAME section.

static void	readObjsen (MPSInput &mps)
	Process OBJSEN section. This Section is an ILOG extension.

static void	readObjname (MPSInput &mps)
	Process OBJNAME section. This Section is an ILOG extension.

static void	readRows (MPSInput &mps, LPRowSet &rset, NameSet &rnames)
	Process ROWS section.

static void	readCols (MPSInput &mps, const LPRowSet &rset, const NameSet &rnames, LPColSet &cset, NameSet &cnames, DIdxSet *intvars)
	Process COLUMNS section.

static void	readRhs (MPSInput &mps, LPRowSet &rset, const NameSet &rnames)
	Process RHS section.

static void	readRanges (MPSInput &mps, LPRowSet &rset, const NameSet &rnames)
	Process RANGES section.

static void	readBounds (MPSInput &mps, LPColSet &cset, const NameSet &cnames, DIdxSet *intvars)
	Process BOUNDS section.

static void	writeRecord (std::ostream &os, const char indicator, const char name, const char name1=0, const Real value1=0.0, const char name2=0, const Real value2=0.0)

static Real	getRHS (Real left, Real right)

static const char *	getRowName (const SPxLP &lp, int idx, const NameSet rnames, char buf)

static const char *	getColName (const SPxLP &lp, int idx, const NameSet cnames, char buf)

std::ostream &	operator<< (std::ostream &s, const SPxScaler &sc)

std::ostream &	operator<< (std::ostream &os, const SPxSolver::VarStatus &status)
	Pretty-printing of variable status.

std::ostream &	operator<< (std::ostream &os, const SPxSolver::Status &status)
	Pretty-printing of solver status.

std::ostream &	operator<< (std::ostream &os, const SPxSolver::Type &status)
	Pretty-printing of algorithm.

std::ostream &	operator<< (std::ostream &os, const SPxSolver::Representation &status)
	Pretty-printing of representation.

static void	setDualStatus (SPxBasis::Desc &desc, const SPxSolver &base, const SPxId &id)

static void	initPrefs (DataArray< SPxId > &pref, const SPxSolver &base, const DataArray< Real > &rowWeight, const DataArray< Real > &colWeight)

std::ostream &	operator<< (std::ostream &os, const SVector &v)

std::ostream &	operator<< (std::ostream &s, const Vector &vec)

bool	operator== (const Vector_exact &vec1, const Vector_exact &vec2)

std::ostream &	operator<< (std::ostream &s, const Vector_exact &vec)

Memory allocation routines
Here we have cover functions for malloc/realloc/free, to make sure that we allays succeed. Otherwise an exception is thrown. We use templates to get the types right, otherwise casts would have been neccessary.
template<class T >
void	spx_alloc (T &p, int n)
	Allocate memory.

template<class T >
void	spx_realloc (T &p, int n)
	Change amount of allocated memory.

template<class T >
void	spx_free (T &p)
	Release memory.

Verbosity manipulator
Manipulators are implemented in a similar way as done for `setw()`, `setprecision()`, etc. in the standard library file iomanip. For instance, the non-member function verb(v) returns a struct struct_Severity which contains only the verbosity level. Calling SPxOut spxout; spxout << verb( SPxOut::ERROR ) << "This is an error!" << std::endl; passes such a struct to the output operator defined below, which extracts the verbosity level from the struct and passes it to the member function SPxOut::setVerbosity().
SPxOut::struct_Verbosity	verb (const SPxOut::Verbosity &v)
	manipulator to be used in an output statement

SPxOut &	operator<< (SPxOut &stream, const SPxOut::struct_Verbosity &verbosity)
	output operator with verbosity level struct

Output of standard manipulators and other types
We have to define an output operator for many kinds of numeric types here because they can all be more or less casted into each other. When using only a template type, it is not clear what the compiler makes out of it (according to lint).
SPxOut &	operator<< (SPxOut &_spxout, std::ostream &(*manip)(std::ostream &))
	Passes standard manipulators without arguments, like `std::endl` or `std::ios::right` to the current stream.

template<typename T >
SPxOut &	operator<< (SPxOut &_spxout, T t)
	Passes everything else to the current stream. In particular, this includes structs corresponding to manipulators with arguments, such as the struct `_Setw` for the `setw()` manipulator.

Variables
static const Real	verySparseFactor = 0.001

static const Real	verySparseFactor4right = 0.2

static const Real	verySparseFactor4left = 0.1

static const Real	reject_leave_tol = 1e-10

const Real	infinity = DEFAULT_INFINITY

long	iterationInterval = 100
	Interval for displaying iteration information.

static const Real	shortProductFactor = 0.5

Global instance
SPxOut	spxout

Detailed Description

Everything should be within this namespace.

We have put the whole class library in the namespace soplex. If anything here is defined outside, this is a mistake and should be reported.

Typedef Documentation

typedef double Real

Definition at line 208 of file spxdefines.h.

typedef std::ifstream spxifstream

Definition at line 43 of file spxfileio.h.

typedef DataArray< SVector::Element > SVSetBase

Definition at line 34 of file svset.h.

Function Documentation

MpqReal abs ( const MpqReal & q )

return maximal absolute value

Definition at line 50 of file mpqreal.cpp.

Referenced by Vector_exact::maxAbs(), and Vector_exact::minAbs().

static Real soplex::betterThreshold ( Real th )

static

Definition at line 923 of file slufactor.cpp.

References LT(), and REAL.

Referenced by SLUFactor::load().

static void soplex::changeLhsStatus	(	SPxBasis::Desc::Status &	stat,
		Real	newLhs,
		Real	rhs,
		const SPxBasis &	basis,
		int	i
	)

static

Todo:: Change Lhs/Rhs Status the same way as changeBounds

Definition at line 862 of file changesoplex.cpp.

References SPxBasis::Desc::D_FREE, SPxBasis::Desc::D_ON_BOTH, SPxBasis::Desc::D_ON_LOWER, SPxBasis::Desc::D_ON_UPPER, SPxBasis::Desc::D_UNDEFINED, SPxBasis::dualRowStatus(), infinity, MSG_DEBUG, SPxBasis::Desc::P_FIXED, SPxBasis::Desc::P_FREE, SPxBasis::Desc::P_ON_LOWER, SPxBasis::Desc::P_ON_UPPER, and spxout.

Referenced by SPxSolver::changeLhs(), and SPxSolver::changeRange().

static void soplex::changeLowerStatus	(	SPxBasis::Desc::Status &	stat,
		Real	newLower,
		Real	upper,
		const SPxBasis &	basis,
		int	i
	)

static

Definition at line 694 of file changesoplex.cpp.

References SPxBasis::Desc::D_FREE, SPxBasis::Desc::D_ON_BOTH, SPxBasis::Desc::D_ON_LOWER, SPxBasis::Desc::D_ON_UPPER, SPxBasis::Desc::D_UNDEFINED, SPxBasis::dualColStatus(), infinity, MSG_DEBUG, SPxBasis::Desc::P_FIXED, SPxBasis::Desc::P_FREE, SPxBasis::Desc::P_ON_LOWER, SPxBasis::Desc::P_ON_UPPER, and spxout.

Referenced by SPxSolver::changeLower().

static void soplex::changeRhsStatus	(	SPxBasis::Desc::Status &	stat,
		Real	newRhs,
		Real	lhs,
		const SPxBasis &	basis,
		int	i
	)

static

Definition at line 932 of file changesoplex.cpp.

References SPxBasis::Desc::D_FREE, SPxBasis::Desc::D_ON_BOTH, SPxBasis::Desc::D_ON_LOWER, SPxBasis::Desc::D_ON_UPPER, SPxBasis::Desc::D_UNDEFINED, SPxBasis::dualRowStatus(), infinity, MSG_DEBUG, SPxBasis::Desc::P_FIXED, SPxBasis::Desc::P_FREE, SPxBasis::Desc::P_ON_LOWER, SPxBasis::Desc::P_ON_UPPER, and spxout.

Referenced by SPxSolver::changeRange(), and SPxSolver::changeRhs().

static void soplex::changeUpperStatus	(	SPxBasis::Desc::Status &	stat,
		Real	newUpper,
		Real	lower,
		const SPxBasis &	basis,
		int	i
	)

static

Definition at line 770 of file changesoplex.cpp.

References SPxBasis::Desc::D_FREE, SPxBasis::Desc::D_ON_BOTH, SPxBasis::Desc::D_ON_LOWER, SPxBasis::Desc::D_ON_UPPER, SPxBasis::Desc::D_UNDEFINED, SPxBasis::dualColStatus(), infinity, MSG_DEBUG, SPxBasis::Desc::P_FIXED, SPxBasis::Desc::P_FREE, SPxBasis::Desc::P_ON_LOWER, SPxBasis::Desc::P_ON_UPPER, and spxout.

Referenced by SPxSolver::changeUpper().

static void soplex::clear_from	(	char *	buf,
		int	pos
	)

static

fill the line from pos up to column 80 with blanks.

Definition at line 36 of file mpsinput.cpp.

References BLANK.

Referenced by MPSInput::readLine().

static int soplex::deQueueMax	(	int *	heap,
		int *	size
	)

static

Definition at line 67 of file clufactor.cpp.

Referenced by CLUFactor::solveLleft(), CLUFactor::vSolveUright(), CLUFactor::vSolveUright2(), and CLUFactor::vSolveUrightNoNZ().

static int soplex::deQueueMin	(	int *	heap,
		int *	size
	)

static

Definition at line 151 of file clufactor.cpp.

Referenced by CLUFactor::forestUpdate(), CLUFactor::solveUleft(), and CLUFactor::solveUleftNoNZ().

static void soplex::enQueueMax	(	int *	heap,
		int *	size,
		int	elem
	)

static

Definition at line 37 of file clufactor.cpp.

Referenced by CLUFactor::solveLleft(), CLUFactor::vSolveRight4update(), CLUFactor::vSolveRight4update2(), CLUFactor::vSolveRight4update3(), CLUFactor::vSolveRightNoNZ(), CLUFactor::vSolveUright(), CLUFactor::vSolveUright2(), and CLUFactor::vSolveUrightNoNZ().

static void soplex::enQueueMin	(	int *	heap,
		int *	size,
		int	elem
	)

static

Definition at line 121 of file clufactor.cpp.

Referenced by CLUFactor::forestUpdate(), CLUFactor::solveUleft(), and CLUFactor::solveUleftNoNZ().

bool soplex::EQ	(	Real	a,
		Real	b,
		Real	eps = `Param::epsilon()`
	)

returns true iff |a-b| <= eps

Definition at line 307 of file spxdefines.h.

Referenced by SPxSolver::getEnterVals(), SLUFactor::load(), SPxMainSM::ElementCompare::operator()(), SPxMainSM::IdxCompare::operator()(), and SPxLP::readLPF().

bool soplex::EQrel	(	Real	a,
		Real	b,
		Real	eps = `Param::epsilon()`
	)

returns true iff |relDiff(a,b)| <= eps

Definition at line 355 of file spxdefines.h.

References relDiff().

Referenced by SPxMainSM::duplicateCols(), SPxMainSM::duplicateRows(), SPxMainSM::RowSingletonPS::execute(), SPxMainSM::ForceConstraintPS::execute(), SPxMainSM::FixVariablePS::execute(), SPxMainSM::ZeroObjColSingletonPS::execute(), SPxMainSM::DuplicateColsPS::execute(), SPxMainSM::FixBoundsPS::FixBoundsPS(), SPxMainSM::fixColumn(), SPxMainSM::simplifyCols(), SPxMainSM::simplifyDual(), and SPxMainSM::simplifyRows().

bool soplex::GE	(	Real	a,
		Real	b,
		Real	eps = `Param::epsilon()`
	)

returns true iff a >= b + eps

Definition at line 337 of file spxdefines.h.

bool soplex::GErel	(	Real	a,
		Real	b,
		Real	eps = `Param::epsilon()`
	)

returns true iff relDiff(a,b) > -eps

Definition at line 385 of file spxdefines.h.

References relDiff().

Referenced by SPxMainSM::duplicateCols(), SPxMainSM::ZeroObjColSingletonPS::execute(), SPxMainSM::DuplicateColsPS::execute(), and SPxMainSM::simplifyRows().

Real get_d ( const MpqReal & q )

cast MpqReal to Real

Definition at line 44 of file mpqreal.cpp.

Referenced by Vector::operator=().

static const char* soplex::getColName	(	const SPxLP &	lp,
		int	idx,
		const NameSet *	cnames,
		char *	buf
	)

static

Definition at line 99 of file spxmpswrite.cpp.

References SPxLP::cId(), NameSet::has(), and SPxLP::nCols().

static const char* soplex::getColName	(	const SPxLP *	lp,
		int	idx,
		const NameSet *	cnames,
		char *	buf
	)

static

Definition at line 555 of file spxbasis.cpp.

References SPxLP::cId(), and NameSet::has().

Referenced by SPxBasis::writeBasis(), and SPxLP::writeMPS().

const char * getGitHash ( )

returns the current git hash of SoPlex

Definition at line 23 of file spxgithash.cpp.

References SPX_GITHASH.

Referenced by print_version_info().

static Real soplex::getRHS	(	Real	left,
		Real	right
	)

static

This includes ranges

Definition at line 63 of file spxmpswrite.cpp.

References infinity.

Referenced by SPxLP::writeMPS().

static const char* soplex::getRowName	(	const SPxLP &	lp,
		int	idx,
		const NameSet *	rnames,
		char *	buf
	)

static

Definition at line 77 of file spxmpswrite.cpp.

References NameSet::has(), SPxLP::nRows(), and SPxLP::rId().

static const char* soplex::getRowName	(	const SPxLP *	lp,
		int	idx,
		const NameSet *	rnames,
		char *	buf
	)

static

Definition at line 529 of file spxbasis.cpp.

References NameSet::has(), and SPxLP::rId().

Referenced by SPxBasis::writeBasis(), and SPxLP::writeMPS().

bool soplex::GT	(	Real	a,
		Real	b,
		Real	eps = `Param::epsilon()`
	)

returns true iff a > b + eps

Definition at line 331 of file spxdefines.h.

Referenced by SPxSolver::fpsolve(), SPxMainSM::removeEmpty(), SPxMainSM::removeRowSingleton(), SPxMainSM::simplifyCols(), and SPxMainSM::simplifyRows().

bool soplex::GTrel	(	Real	a,
		Real	b,
		Real	eps = `Param::epsilon()`
	)

returns true iff relDiff(a,b) > eps

Definition at line 379 of file spxdefines.h.

References relDiff().

Referenced by SPxMainSM::removeRowSingleton(), SPxMainSM::simplifyCols(), SPxMainSM::simplifyDual(), and SPxMainSM::simplifyRows().

static bool soplex::hasKeyword	(	char *&	pos,
		const char *	keyword
	)

static

Is the keyword present in buf ? If yes, advance pos.

keyword should be lower case. It can contain optional sections which are enclosed in '[' ']' like "min[imize]".

Definition at line 239 of file spxlpfread.cpp.

References isSense(), isSpace(), MSG_DEBUG, and spxout.

Referenced by readInfinity(), and SPxLP::readLPF().

static bool soplex::hasRowName	(	char *&	pos,
		NameSet *	rownames
	)

static

If buf start with "name:" store the name in rownames and advance pos.

Definition at line 284 of file spxlpfread.cpp.

References NameSet::add(), and MAX_LINE_LEN.

Referenced by SPxLP::readLPF().

static void soplex::initPrefs	(	DataArray< SPxId > &	pref,
		const SPxSolver &	base,
		const DataArray< Real > &	rowWeight,
		const DataArray< Real > &	colWeight
	)

static

The following method initializes pref such that it contains the set of SPxIds ordered following rowWeight and colWeight. For the sorting we take the following approach: first we sort the rows, then the columns. Finally we perform a mergesort of both.

Definition at line 158 of file spxweightst.cpp.

References SPxLP::cId(), DataArray< T >::get_const_ptr(), SPxLP::nCols(), SPxLP::nRows(), SPxLP::rId(), DataArray< T >::size(), sorter_qsort(), and Compare::weight.

Referenced by SPxWeightST::generate().

static bool soplex::isColName ( const char * s )

static

Is there a possible column name at the beginning of s ?

Definition at line 52 of file spxlpfread.cpp.

Referenced by readColName(), and SPxLP::readLPF().

static bool soplex::isFree ( const char * s )

static

Definition at line 77 of file spxlpfread.cpp.

Referenced by SPxLP::readLPF().

static bool soplex::isInfinity ( const char * s )

static

Definition at line 69 of file spxlpfread.cpp.

Referenced by readInfinity(), and SPxLP::readLPF().

bool soplex::isNotZero	(	Real	a,
		Real	eps = `Param::epsilon()`
	)

returns true iff |a| > eps

Definition at line 349 of file spxdefines.h.

Referenced by SSVector::assign2product(), SSVector::assign2productAndSetup(), SSVector::assign2productShort(), SPxMainSM::duplicateCols(), SPxMainSM::duplicateRows(), SPxMainSM::ZeroObjColSingletonPS::execute(), SPxMainSM::DoubletonEquationPS::execute(), SPxMainSM::DuplicateRowsPS::execute(), SPxMainSM::DuplicateColsPS::execute(), SPxMainSM::fixColumn(), CLUFactor::forestUpdate(), SPxMainSM::FreeZeroObjVariablePS::FreeZeroObjVariablePS(), CLUFactor::initFactorMatrix(), SSVector::multAdd(), SSVector::operator=(), print_solution_and_status(), SSVector::setup_and_assign(), SSVector::setValue(), SPxMainSM::simplifyCols(), SPxMainSM::simplifyDual(), SPxMainSM::simplifyRows(), CLUFactor::solveLleft(), CLUFactor::solveLleftEps(), CLUFactor::solveLleftForest(), CLUFactor::solveUleft(), CLUFactor::solveUleftNoNZ(), CLUFactor::solveUpdateLeft(), CLUFactor::solveUright2eps(), CLUFactor::solveUrightEps(), CLUFactor::updateRow(), CLUFactor::vSolveLright(), CLUFactor::vSolveLright2(), CLUFactor::vSolveLright3(), CLUFactor::vSolveRight4update(), CLUFactor::vSolveRight4update2(), CLUFactor::vSolveRight4update3(), CLUFactor::vSolveUpdateRight(), CLUFactor::vSolveUright(), CLUFactor::vSolveUright2(), CLUFactor::vSolveUrightNoNZ(), and SPxLP::writeMPS().

static bool soplex::isSense ( const char * s )

static

Is there a comparison operator at the beginning of s ?

Definition at line 64 of file spxlpfread.cpp.

Referenced by hasKeyword(), SPxLP::readLPF(), and readSense().

static bool soplex::isSpace ( int c )

static

Is c a space, tab, nl or cr ?

Definition at line 39 of file spxlpfread.cpp.

Referenced by hasKeyword(), readColName(), SPxLP::readLPF(), readSense(), and readValue().

static bool soplex::isValue ( const char * s )

static

Is there a number at the beginning of s ?

Definition at line 45 of file spxlpfread.cpp.

Referenced by SPxLP::readLPF(), and readValue().

bool soplex::isZero	(	Real	a,
		Real	eps = `Param::epsilon()`
	)

bool soplex::LE	(	Real	a,
		Real	b,
		Real	eps = `Param::epsilon()`
	)

returns true iff a <= b + eps

Definition at line 325 of file spxdefines.h.

bool soplex::LErel	(	Real	a,
		Real	b,
		Real	eps = `Param::epsilon()`
	)

returns true iff relDiff(a,b) <= eps

Definition at line 373 of file spxdefines.h.

References relDiff().

Referenced by SPxMainSM::duplicateCols(), SPxMainSM::ZeroObjColSingletonPS::execute(), SPxMainSM::DuplicateColsPS::execute(), and SPxMainSM::simplifyRows().

bool soplex::LT	(	Real	a,
		Real	b,
		Real	eps = `Param::epsilon()`
	)

returns true iff a < b + eps

Definition at line 319 of file spxdefines.h.

Referenced by betterThreshold(), SPxSolver::fpsolve(), SPxMainSM::removeEmpty(), SPxMainSM::removeRowSingleton(), SPxMainSM::simplifyCols(), and SPxMainSM::simplifyRows().

bool soplex::LTrel	(	Real	a,
		Real	b,
		Real	eps = `Param::epsilon()`
	)

returns true iff relDiff(a,b) <= -eps

Definition at line 367 of file spxdefines.h.

References relDiff().

Referenced by SPxMainSM::duplicateRows(), SPxMainSM::DuplicateColsPS::execute(), SPxMainSM::removeRowSingleton(), SPxMainSM::simplifyCols(), SPxMainSM::simplifyDual(), and SPxMainSM::simplifyRows().

static const char* soplex::makename ( bool doBoth )

static

Definition at line 26 of file spxequilisc.cpp.

static Real soplex::maxAbs	(	Real	a,
		Real	b
	)

static

returns max(|a|,|b|)

Definition at line 292 of file spxdefines.h.

Referenced by SPxMainSM::FreeZeroObjVariablePS::execute(), SPxMainSM::ZeroObjColSingletonPS::execute(), SPxMainSM::FreeColSingletonPS::execute(), SPxMainSM::DuplicateColsPS::execute(), SPxMainSM::fixColumn(), relDiff(), SPxMainSM::simplifyCols(), and SPxMainSM::simplifyRows().

bool msginconsistent	(	const char *	name,
		const char *	file,
		int	line
	)

Definition at line 33 of file spxdefines.cpp.

References MSG_ERROR, and spxout.

static int soplex::NameSetNameHashFunction ( const NameSet::Name * str )

static

returns the hash value of the name.

Definition at line 184 of file nameset.cpp.

References NameSet::Name::name.

bool soplex::NE	(	Real	a,
		Real	b,
		Real	eps = `Param::epsilon()`
	)

returns true iff |a-b| > eps

Definition at line 313 of file spxdefines.h.

Referenced by SPxMainSM::fixColumn(), SPxMainSM::handleExtremes(), and SPxLP::readLPF().

bool soplex::NErel	(	Real	a,
		Real	b,
		Real	eps = `Param::epsilon()`
	)

returns true iff |relDiff(a,b)| > eps

Definition at line 361 of file spxdefines.h.

References relDiff().

Referenced by SPxMainSM::duplicateCols(), SPxMainSM::duplicateRows(), SPxMainSM::simplifyCols(), and SPxMainSM::simplifyRows().

DVector soplex::operator*	(	const Vector &	v,
		Real	x
	)

Definition at line 72 of file dvector.cpp.

References Vector::dim().

DVector soplex::operator+	(	const Vector &	v,
		const Vector &	w
	)

Definition at line 25 of file dvector.cpp.

References Vector::dim().

DVector soplex::operator+	(	const Vector &	v,
		const SVector &	w
	)

Definition at line 34 of file dvector.cpp.

DVector soplex::operator- ( const Vector & vec )

Definition at line 41 of file dvector.cpp.

References Vector::dim().

DVector soplex::operator-	(	const Vector &	v,
		const Vector &	w
	)

Definition at line 49 of file dvector.cpp.

References Vector::dim().

DVector soplex::operator-	(	const Vector &	v,
		const SVector &	w
	)

Definition at line 58 of file dvector.cpp.

DVector soplex::operator-	(	const SVector &	v,
		const Vector &	w
	)

Definition at line 65 of file dvector.cpp.

std::ostream& soplex::operator<<	(	std::ostream &	s,
		const SPxScaler &	sc
	)

Definition at line 28 of file spxscaler.cpp.

References SPxScaler::getName(), SPxScaler::m_colscale, SPxScaler::m_rowscale, and DataArray< T >::size().

std::ostream& soplex::operator<<	(	std::ostream &	os,
		const SPxId &	id
	)

Definition at line 52 of file spxid.cpp.

References SPxId::COL_ID, SPxId::INVALID, and SPxId::ROW_ID.

std::ostream& soplex::operator<<	(	std::ostream &	os,
		const SPxBasis::Desc::Status &	stat
	)

Definition at line 148 of file spxdesc.cpp.

References SPxBasis::Desc::D_FREE, SPxBasis::Desc::D_ON_BOTH, SPxBasis::Desc::D_ON_LOWER, SPxBasis::Desc::D_ON_UPPER, SPxBasis::Desc::D_UNDEFINED, SPxBasis::Desc::P_FIXED, SPxBasis::Desc::P_FREE, SPxBasis::Desc::P_ON_LOWER, and SPxBasis::Desc::P_ON_UPPER.

std::ostream& soplex::operator<<	(	std::ostream &	s,
		const Vector &	vec
	)

Definition at line 176 of file vector.cpp.

References Vector::dim().

SPxOut& soplex::operator<<	(	SPxOut &	stream,
		const SPxOut::struct_Verbosity &	verbosity
	)

output operator with verbosity level struct

Definition at line 217 of file spxout.h.

References SPxOut::setVerbosity(), and SPxOut::struct_Verbosity::v_.

std::ostream& soplex::operator<<	(	std::ostream &	s,
		const Vector_exact &	vec
	)

Definition at line 231 of file vector_exact.cpp.

References Vector_exact::dim().

std::ostream& soplex::operator<<	(	std::ostream &	os,
		const SVector &	v
	)

Definition at line 236 of file svector.cpp.

References SVector::index(), SVector::size(), and SVector::value().

SPxOut& soplex::operator<<	(	SPxOut &	_spxout,
		std::ostream &(*)(std::ostream &)	manip
	)

Passes standard manipulators without arguments, like std::endl or std::ios::right to the current stream.

Definition at line 261 of file spxout.h.

References PASS_TO_CURRENT_OSTREAM.

SPxOut& soplex::operator<<	(	SPxOut &	_spxout,
		T	t
	)

Passes everything else to the current stream. In particular, this includes structs corresponding to manipulators with arguments, such as the struct _Setw for the setw() manipulator.

Definition at line 271 of file spxout.h.

References PASS_TO_CURRENT_OSTREAM.

std::ostream & operator<<	(	std::ostream &	s,
		const NameSet &	nset
	)

Definition at line 287 of file nameset.cpp.

References DataKey::idx, DataKey::info, NameSet::key(), and NameSet::num().

std::ostream & operator<<	(	std::ostream &	os,
		const SPxBasis::SPxStatus &	status
	)

Pretty-printing of basis status.

Definition at line 1137 of file spxbasis.cpp.

References SPxBasis::DUAL, SPxBasis::INFEASIBLE, SPxBasis::NO_PROBLEM, SPxBasis::OPTIMAL, SPxBasis::PRIMAL, SPxBasis::REGULAR, SPxBasis::SINGULAR, and SPxBasis::UNBOUNDED.

std::ostream & operator<<	(	std::ostream &	os,
		const SPxSolver::VarStatus &	status
	)

Pretty-printing of variable status.

Definition at line 1659 of file spxsolver.cpp.

References SPxSolver::BASIC, SPxSolver::FIXED, SPxSolver::ON_LOWER, SPxSolver::ON_UPPER, SPxSolver::UNDEFINED, and SPxSolver::ZERO.

std::ostream & operator<<	(	std::ostream &	os,
		const SPxSolver::Status &	status
	)

Pretty-printing of solver status.

Definition at line 1690 of file spxsolver.cpp.

References SPxSolver::ABORT_CYCLING, SPxSolver::ABORT_ITER, SPxSolver::ABORT_TIME, SPxSolver::ABORT_VALUE, SPxSolver::ERROR, SPxSolver::INFEASIBLE, SPxSolver::NO_PRICER, SPxSolver::NO_PROBLEM, SPxSolver::NO_RATIOTESTER, SPxSolver::NO_SOLVER, SPxSolver::NOT_INIT, SPxSolver::OPTIMAL, SPxSolver::REGULAR, SPxSolver::RUNNING, SPxSolver::SINGULAR, SPxSolver::UNBOUNDED, and SPxSolver::UNKNOWN.

std::ostream & operator<<	(	std::ostream &	os,
		const SPxSolver::Type &	status
	)

Pretty-printing of algorithm.

Definition at line 1754 of file spxsolver.cpp.

References SPxSolver::ENTER, and SPxSolver::LEAVE.

std::ostream & operator<<	(	std::ostream &	os,
		const SPxSolver::Representation &	status
	)

Pretty-printing of representation.

Definition at line 1773 of file spxsolver.cpp.

References SPxSolver::COLUMN, and SPxSolver::ROW.

bool soplex::operator==	(	const Vector_exact &	vec1,
		const Vector_exact &	vec2
	)

Definition at line 43 of file vector_exact.cpp.

References Vector_exact::dim().

std::istream& soplex::operator>>	(	std::istream &	s,
		DVector &	vec
	)

Definition at line 113 of file dvector.cpp.

References Vector::dim(), and DVector::reDim().

static void soplex::patch_field	(	char *	buf,
		int	beg,
		int	end
	)

static

change all blanks inside a field to PATCH_CHAR.

Definition at line 44 of file mpsinput.cpp.

References BLANK, and PATCH_CHAR.

Referenced by MPSInput::readLine().

static SPxBasis::Desc::Status soplex::primalColStatus	(	int	i,
		const SPxLP *	theLP
	)

static

Definition at line 231 of file spxchangebasis.cpp.

References infinity, SPxLP::lower(), SPxLP::maxObj(), SPxBasis::Desc::P_FIXED, SPxBasis::Desc::P_FREE, SPxBasis::Desc::P_ON_LOWER, SPxBasis::Desc::P_ON_UPPER, and SPxLP::upper().

Referenced by SPxBasis::addedCols(), and SPxBasis::restoreInitialBasis().

static void soplex::readBounds	(	MPSInput &	mps,
		LPColSet &	cset,
		const NameSet &	cnames,
		DIdxSet *	intvars
	)

static

Process BOUNDS section.

Definition at line 485 of file spxmpsread.cpp.

References DIdxSet::addIdx(), MPSInput::ENDATA, MPSInput::entryIgnored(), MPSInput::field0(), MPSInput::field1(), MPSInput::field2(), MPSInput::field3(), MPSInput::field4(), infinity, MPSInput::insertName(), LPColSet::lower_w(), MPSInput::MAX_LINE_LEN, MSG_INFO2, NameSet::number(), MPSInput::readLine(), MPSInput::setSection(), spxout, MPSInput::syntaxError(), and LPColSet::upper_w().

Referenced by SPxLP::readMPS().

static int soplex::readColName	(	char *&	pos,
		NameSet *	colnames,
		LPColSet &	colset,
		const LPCol *	emptycol
	)

static

Read the next column name from the input.

The name read is looked up and if not found emptycol is added to colset. pos is advanced behind the name.

Returns: The Index of the named column.

Definition at line 173 of file spxlpfread.cpp.

References LPColSet::add(), NameSet::add(), isColName(), isSpace(), MAX_LINE_LEN, MSG_DEBUG, MSG_WARNING, NameSet::num(), NameSet::number(), and spxout.

Referenced by SPxLP::readLPF().

static void soplex::readCols	(	MPSInput &	mps,
		const LPRowSet &	rset,
		const NameSet &	rnames,
		LPColSet &	cset,
		NameSet &	cnames,
		DIdxSet *	intvars
	)

static

Process COLUMNS section.

Definition at line 192 of file spxmpsread.cpp.

References LPColSet::add(), NameSet::add(), DIdxSet::addIdx(), SVector::clear(), MPSInput::entryIgnored(), MPSInput::field0(), MPSInput::field1(), MPSInput::field2(), MPSInput::field3(), MPSInput::field4(), MPSInput::field5(), infinity, MPSInput::isInteger(), MPSInput::MAX_LINE_LEN, LPRowSet::num(), LPColSet::num(), NameSet::number(), MPSInput::objName(), MPSInput::readLine(), MPSInput::RHS, MPSInput::setSection(), and MPSInput::syntaxError().

Referenced by SPxLP::readMPS().

static Real soplex::readInfinity ( char *& pos )

static

Definition at line 330 of file spxlpfread.cpp.

References hasKeyword(), infinity, and isInfinity().

Referenced by SPxLP::readLPF().

static void soplex::readName ( MPSInput & mps )

static

Process NAME section.

Definition at line 37 of file spxmpsread.cpp.

References MPSInput::field0(), MPSInput::field1(), MSG_INFO2, MPSInput::OBJNAME, MPSInput::OBJSEN, MPSInput::probName(), MPSInput::readLine(), MPSInput::ROWS, MPSInput::setProbName(), MPSInput::setSection(), spxout, and MPSInput::syntaxError().

Referenced by SPxLP::readMPS().

static void soplex::readObjname ( MPSInput & mps )

static

Process OBJNAME section. This Section is an ILOG extension.

Definition at line 107 of file spxmpsread.cpp.

References MPSInput::field0(), MPSInput::field1(), MPSInput::readLine(), MPSInput::ROWS, MPSInput::setObjName(), MPSInput::setSection(), and MPSInput::syntaxError().

Referenced by SPxLP::readMPS().

static void soplex::readObjsen ( MPSInput & mps )

static

Process OBJSEN section. This Section is an ILOG extension.

Definition at line 73 of file spxmpsread.cpp.

References MPSInput::field0(), MPSInput::field1(), SPxLP::MAXIMIZE, SPxLP::MINIMIZE, MPSInput::OBJNAME, MPSInput::readLine(), MPSInput::ROWS, MPSInput::setObjSense(), MPSInput::setSection(), and MPSInput::syntaxError().

Referenced by SPxLP::readMPS().

static void soplex::readRanges	(	MPSInput &	mps,
		LPRowSet &	rset,
		const NameSet &	rnames
	)

static

Process RANGES section.

Definition at line 375 of file spxmpsread.cpp.

References MPSInput::BOUNDS, MPSInput::ENDATA, MPSInput::entryIgnored(), MPSInput::field0(), MPSInput::field1(), MPSInput::field2(), MPSInput::field3(), MPSInput::field4(), MPSInput::field5(), infinity, MPSInput::insertName(), LPRowSet::lhs(), LPRowSet::lhs_w(), MPSInput::MAX_LINE_LEN, MSG_INFO2, NameSet::number(), MPSInput::readLine(), LPRowSet::rhs(), LPRowSet::rhs_w(), MPSInput::setSection(), spxout, and MPSInput::syntaxError().

Referenced by SPxLP::readMPS().

static void soplex::readRhs	(	MPSInput &	mps,
		LPRowSet &	rset,
		const NameSet &	rnames
	)

static

Process RHS section.

Definition at line 290 of file spxmpsread.cpp.

References MPSInput::BOUNDS, MPSInput::ENDATA, MPSInput::entryIgnored(), MPSInput::field0(), MPSInput::field1(), MPSInput::field2(), MPSInput::field3(), MPSInput::field4(), MPSInput::field5(), infinity, MPSInput::insertName(), LPRowSet::lhs(), LPRowSet::lhs_w(), MPSInput::MAX_LINE_LEN, MSG_INFO2, MSG_INFO3, NameSet::number(), MPSInput::RANGES, MPSInput::readLine(), LPRowSet::rhs(), LPRowSet::rhs_w(), MPSInput::setSection(), spxout, and MPSInput::syntaxError().

Referenced by SPxLP::readMPS().

static void soplex::readRows	(	MPSInput &	mps,
		LPRowSet &	rset,
		NameSet &	rnames
	)

static

Process ROWS section.

Definition at line 133 of file spxmpsread.cpp.

References LPRowSet::add(), NameSet::add(), MPSInput::COLUMNS, MPSInput::field0(), MPSInput::field1(), MPSInput::field2(), NameSet::has(), infinity, MSG_INFO2, LPRowSet::num(), NameSet::number(), MPSInput::objName(), MPSInput::readLine(), LPRow::setLhs(), MPSInput::setObjName(), LPRow::setRhs(), MPSInput::setSection(), spxout, and MPSInput::syntaxError().

Referenced by SPxLP::readMPS().

static int soplex::readSense ( char *& pos )

static

Read the next <,>,=,==,<=,=<,>=,=> and advance pos.

Definition at line 215 of file spxlpfread.cpp.

References isSense(), isSpace(), MSG_DEBUG, and spxout.

Referenced by SPxLP::readLPF().

static Real soplex::readValue ( char *& pos )

static

Read the next number and advance pos.

If only a sign is encountered, the number is assumed to be sign * 1.0. This routine will not catch malformatted numbers like .e10 !

Definition at line 90 of file spxlpfread.cpp.

References isSpace(), isValue(), MAX_LINE_LEN, MSG_DEBUG, MSG_WARNING, and spxout.

Referenced by SPxLP::readLPF().

static Real soplex::relDiff	(	Real	a,
		Real	b
	)

static

returns (a-b) / max(|a|,|b|,1.0)

Definition at line 301 of file spxdefines.h.

References maxAbs().

Referenced by EQrel(), GErel(), GTrel(), LErel(), LTrel(), and NErel().

static void soplex::setDualStatus	(	SPxBasis::Desc &	desc,
		const SPxSolver &	base,
		const SPxId &	id
	)

static

Definition at line 116 of file spxweightst.cpp.

References SPxSolver::basis(), SPxBasis::Desc::colStatus(), SPxBasis::dualColStatus(), SPxBasis::dualRowStatus(), SPxLP::number(), and SPxBasis::Desc::rowStatus().

Referenced by SPxWeightST::generate().

static void soplex::sorter_qsort	(	T *	t,
		int	end,
		COMPARATOR &	compare,
		int	start = `0`
	)

static

Generic QuickSort implementation.

This template function sorts an array t holding n elements of type T using compare for comparisons. Class COMPARATOR must provide an overloaded operator()(const T& t1,const T& t2) which returns

< 0, if t1 is to appear before t2,
= 0, if t1 and t2 can appear in any order, or
> 0, if t1 is to appear after t2.

Definition at line 37 of file sorter.h.

Referenced by SPxMainSM::duplicateCols(), SPxMainSM::duplicateRows(), initPrefs(), SPxMainSM::simplifyCols(), and sorter_qsortPart().

static int soplex::sorter_qsortPart	(	T *	t,
		COMPARATOR &	compare,
		int	start,
		int	end,
		int	size,
		int	start2 = `0`,
		int	end2 = `0`
	)

static

Generic implementation of Partial QuickSort.

This template function sorts an array t holding n elements of type T partially using compare for comparisons, i.e. ensures that the size smallest elements are sorted to the front.

Class COMPARATOR must provide an overloaded operator()(const T& t1,const T& t2) which returns

< 0, if t1 is to appear before t2,
= 0, if t1 and t2 can appear in any order, or
> 0, if t1 is to appear after t2.

Parameters

t	array of elements to be sorted between index start and end
compare	comparator
start	index of first element in range to be sorted
end	index of last element in range to be sorted, plus 1
size	guaranteed number of sorted elements
start2	auxiliary start index of sub range used for recursive call
end2	auxiliary end index of sub range used for recursive call

Definition at line 104 of file sorter.h.

References sorter_qsort().

Referenced by SPxBoundFlippingRT::selectEnter().

void soplex::spx_alloc	(	T &	p,
		int	n
	)

Allocate memory.

Parameters

p	some pointer
n	the number of elements `p` will point to.

Exceptions

SPxMemoryException if memory could not be allocated.

Definition at line 48 of file spxalloc.h.

References MSG_ERROR, and spxout.

Referenced by DSVector::allocMem(), SLUFactor::assign(), SLUFactor::clear(), DataArray< Real >::DataArray(), DataSet< soplex::SVSet::DLPSV >::DataSet(), DIdxSet::DIdxSet(), SPxMainSM::duplicateCols(), SPxMainSM::duplicateRows(), DVector::DVector(), IdxSet::IdxSet(), CLUFactor::initFactorRings(), NameSet::memPack(), NameSet::NameSet(), IdxSet::operator=(), DataArray< Real >::reMax(), CLUFactor::setupColVals(), CLUFactor::setupRowVals(), SLUFactor::SLUFactor(), and SSVector::SSVector().

void soplex::spx_free ( T & p )

void soplex::spx_realloc	(	T &	p,
		int	n
	)

Change amount of allocated memory.

Parameters

p	some pointer
n	the number of elements p should point to.

Exceptions

SPxMemoryException if memory could not be allocated.

Definition at line 72 of file spxalloc.h.

References MSG_ERROR, and spxout.

Referenced by CLUFactor::forestMinColMem(), CLUFactor::Temp::init(), SLUFactor::load(), CLUFactor::makeLvec(), NameSet::memRemax(), CLUFactor::minColMem(), CLUFactor::minLMem(), CLUFactor::minRowMem(), DataArray< Real >::reMax(), DataSet< soplex::SVSet::DLPSV >::reMax(), DVector::reSize(), SSVector::setMax(), DIdxSet::setMax(), and DSVector::setMax().

SPxOut::struct_Verbosity soplex::verb ( const SPxOut::Verbosity & v )

manipulator to be used in an output statement

Definition at line 208 of file spxout.h.

References SPxOut::struct_Verbosity::v_.

static void soplex::writeRecord	(	std::ostream &	os,
		const char *	indicator,
		const char *	name,
		const char *	name1 = `0`,
		const Real	value1 = `0.0`,
		const char *	name2 = `0`,
		const Real	value2 = `0.0`
	)