SoplexLp Class Reference

Detailed Description

This class implements an interface for the SoPlex LP solver. The SoPlex library is an object oriented lp solver library developed at the Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB). You can find detailed information about it at the http://soplex.zib.de address.

#include <lemon/soplex.h>

Inheritance diagram for SoplexLp:

Public Member Functions
	SoplexLp ()
	SoplexLp (const SoplexLp &)
	~SoplexLp ()
virtual SoplexLp *	newSolver () const
virtual SoplexLp *	cloneSolver () const
Public Member Functions inherited from LpSolver
SolveExitStatus	solve ()
ProblemType	primalType () const
	The type of the primal problem.
ProblemType	dualType () const
	The type of the dual problem.
Value	primal (Col c) const
	Return the primal value of the column.
Value	primal (const Expr &e) const
	Return the primal value of the expression.
Value	primalRay (Col c) const
	Returns a component of the primal ray.
Value	dual (Row r) const
	Return the dual value of the row.
Value	dual (const DualExpr &e) const
	Return the dual value of the dual expression.
Value	dualRay (Row r) const
	Returns a component of the dual ray.
VarStatus	colStatus (Col c) const
	Return the basis status of the column.
VarStatus	rowStatus (Row r) const
	Return the basis status of the row.
Value	primal () const
	The value of the objective function.
Public Member Functions inherited from LpBase
virtual	~LpBase ()
	Virtual destructor.
const char *	solverName () const
	Gives back the name of the solver.
Col	addCol ()
	Add a new empty column (i.e a new variable) to the LP.
template<class T >
int	addColSet (T &t)
	Adds several new columns (i.e variables) at once.
void	col (Col c, const DualExpr &e)
	Set a column (i.e a dual constraint) of the LP.
DualExpr	col (Col c) const
	Get a column (i.e a dual constraint) of the LP.
Col	addCol (const DualExpr &e, Value o=0)
	Add a new column to the LP.
Row	addRow ()
	Add a new empty row (i.e a new constraint) to the LP.
template<class T >
int	addRowSet (T &t)
	Add several new rows (i.e constraints) at once.
void	row (Row r, Value l, const Expr &e, Value u)
	Set a row (i.e a constraint) of the LP.
void	row (Row r, const Constr &c)
	Set a row (i.e a constraint) of the LP.
Expr	row (Row r) const
	Get a row (i.e a constraint) of the LP.
Row	addRow (Value l, const Expr &e, Value u)
	Add a new row (i.e a new constraint) to the LP.
Row	addRow (const Constr &c)
	Add a new row (i.e a new constraint) to the LP.
void	erase (Col c)
	Erase a column (i.e a variable) from the LP.
void	erase (Row r)
	Erase a row (i.e a constraint) from the LP.
std::string	colName (Col c) const
	Get the name of a column.
void	colName (Col c, const std::string &name)
	Set the name of a column.
Col	colByName (const std::string &name) const
	Get the column by its name.
std::string	rowName (Row r) const
	Get the name of a row.
void	rowName (Row r, const std::string &name)
	Set the name of a row.
Row	rowByName (const std::string &name) const
	Get the row by its name.
void	coeff (Row r, Col c, Value val)
	Set an element of the coefficient matrix of the LP.
Value	coeff (Row r, Col c) const
	Get an element of the coefficient matrix of the LP.
void	colLowerBound (Col c, Value value)
	Set the lower bound of a column (i.e a variable)
Value	colLowerBound (Col c) const
	Get the lower bound of a column (i.e a variable)
template<class T >
void	colLowerBound (T &t, Value value)
	Set the lower bound of several columns (i.e variables) at once.
void	colUpperBound (Col c, Value value)
	Set the upper bound of a column (i.e a variable)
Value	colUpperBound (Col c) const
	Get the upper bound of a column (i.e a variable)
template<class T >
void	colUpperBound (T &t, Value value)
	Set the upper bound of several columns (i.e variables) at once.
void	colBounds (Col c, Value lower, Value upper)
	Set the lower and the upper bounds of a column (i.e a variable)
template<class T >
void	colBounds (T &t, Value lower, Value upper)
	Set the lower and the upper bound of several columns (i.e variables) at once.
void	rowLowerBound (Row r, Value value)
	Set the lower bound of a row (i.e a constraint)
Value	rowLowerBound (Row r) const
	Get the lower bound of a row (i.e a constraint)
void	rowUpperBound (Row r, Value value)
	Set the upper bound of a row (i.e a constraint)
Value	rowUpperBound (Row r) const
	Get the upper bound of a row (i.e a constraint)
void	objCoeff (Col c, Value v)
	Set an element of the objective function.
Value	objCoeff (Col c) const
	Get an element of the objective function.
void	obj (const Expr &e)
	Set the objective function.
Expr	obj () const
	Get the objective function.
void	sense (Sense sense)
	Set the direction of optimization.
Sense	sense () const
	Query the direction of the optimization.
void	max ()
	Set the sense to maximization.
void	min ()
	Set the sense to maximization.
void	clear ()
	Clears the problem.
void	messageLevel (MessageLevel level)
	Sets the message level of the solver.

Additional Inherited Members
Public Types inherited from LpSolver
enum	ProblemType {   UNDEFINED = 0, INFEASIBLE = 1, FEASIBLE = 2, OPTIMAL = 3,   UNBOUNDED = 4 }
	The problem types for primal and dual problems. More...
enum	VarStatus {   BASIC, FREE, LOWER, UPPER,   FIXED }
	The basis status of variables. More...
Static Public Member Functions inherited from LpBase
static int	id (const Col &col)
	Returns the ID of the column.
static Col	colFromId (int id)
	Returns the column with the given ID.
static int	id (const Row &row)
	Returns the ID of the row.
static Row	rowFromId (int id)
	Returns the row with the given ID.
Static Public Attributes inherited from LpBase
static const Value	INF
	The infinity constant.
static const Value	NaN
	The not a number constant.