model to describe an optimization problem More...

#include <Solvers.h>

Inheritance diagram for limbo::solvers::LinearModel< T, V >:

Public Types
typedef T	coefficient_value_type
	T coefficient.
typedef V	variable_value_type
	V variable.
typedef LpParser::LpDataBase	base_type
	base class
typedef Variable< coefficient_value_type >	variable_type
	variable type
typedef LinearTerm< coefficient_value_type >	term_type
	term type
typedef LinearExpression< coefficient_value_type >	expression_type
	expression type
typedef LinearConstraint< coefficient_value_type >	constraint_type
	constraint type
typedef VariableProperty< variable_value_type >	property_type
	variable property type

Public Member Functions
	LinearModel ()
	constructor
	LinearModel (LinearModel const &rhs)
	copy constructor
LinearModel &	operator= (LinearModel const &rhs)
	assignment
	~LinearModel ()
	destructor
std::vector< constraint_type > const &	constraints () const
std::vector< constraint_type > &	constraints ()
bool	addConstraint (constraint_type const &constr, std::string name="")
	add a constraint
bool	emplaceConstraint (expression_type &expr, char sense, coefficient_value_type rhs, std::string name="")
	emplace a constraint
std::string const &	constraintName (constraint_type const &constr) const
std::vector< std::string > const &	constraintNames () const
std::vector< std::string > &	constraintNames ()
expression_type const &	objective () const
void	setObjective (expression_type const &expr)
	set objective
void	emplaceObjective (expression_type &expr)
	set objective by swaping with the expression
SolverProperty	optimizeType () const
void	setOptimizeType (SolverProperty optType)
std::vector< property_type > const &	variableProperties () const
std::vector< property_type > &	variableProperties ()
unsigned int	numVariables () const
variable_type	variable (unsigned int id) const
std::string	variableName (variable_type const &var) const
void	setVariableName (variable_type const &var, std::string const &name)
	set variable name
variable_value_type	variableLowerBound (variable_type const &var)
void	setVariableLowerBound (variable_type const &var, variable_value_type lb)
	set variable lower bound
void	updateVariableLowerBound (variable_type const &var, variable_value_type lb)
	update variable lower bound
variable_value_type	variableUpperBound (variable_type const &var)
void	setVariableUpperBound (variable_type const &var, variable_value_type ub)
	set variable upper bound
void	updateVariableUpperBound (variable_type const &var, variable_value_type ub)
	update variable upper bound
SolverProperty	variableNumericType (variable_type const &var)
void	setVariableNumericType (variable_type const &var, SolverProperty type)
	set numeric type of variable
variable_type	addVariable (variable_value_type lb, variable_value_type ub, SolverProperty nt, std::string name="")
	add one variable
std::vector< variable_value_type > const &	variableSolutions () const
std::vector< variable_value_type > &	variableSolutions ()
variable_value_type	variableSolution (variable_type const &var) const
void	setVariableSolution (variable_type const &var, variable_value_type v)
void	reserveVariables (unsigned int n)
	reserve space for variables
void	reserveConstraints (unsigned int n)
	reserve space for constraints
void	resizeConstraints (unsigned int n)
	resize constraints
void	scaleObjective (coefficient_value_type factor)
	scale objective
void	scaleConstraint (unsigned int id, coefficient_value_type factor)
	scaling a constraint
coefficient_value_type	evaluateExpression (expression_type const &expr, std::vector< variable_value_type > const &vVariableSol) const
	evaluate expression given solutions of variables
coefficient_value_type	evaluateObjective (std::vector< variable_value_type > const &vVariableSol) const
	evaluate objective
coefficient_value_type	evaluateObjective () const
	evaluate objective
coefficient_value_type	evaluateConstraint (constraint_type const &constr, std::vector< variable_value_type > const &vVariableSol) const
	evaluate slackness of a constraint given solutions of variables
coefficient_value_type	evaluateConstraint (constraint_type const &constr) const
	evaluate slackness of a constraint given solutions of variables
void	evaluateConstraint () const
	evaluate slackness of all constraints given solutions of variables and print to screen
void	read (std::string const &filename)
	read lp format
bool	print (std::string const &filename) const
	print problem in lp format to file
std::ostream &	print (std::ostream &os=std::cout) const
	print problem in lp format
std::ostream &	print (std::ostream &os, term_type const &term) const
	print expression
std::ostream &	print (std::ostream &os, expression_type const &expr) const
	print expression
std::ostream &	print (std::ostream &os, constraint_type const &constr) const
	print constraint
bool	printSolution (std::string const &filename) const
	print solutions to file
std::ostream &	printSolution (std::ostream &os=std::cout) const
	print solutions
required callback from @ref LpParser::LpDataBase
void	add_variable (std::string const &vname, double l=limbo::lowest< double >(), double r=std::numeric_limits< double >::max())
	add variable that l <= vname <= r.
void	add_constraint (std::string const &cname, LpParser::TermArray const &terms, char compare, double constant)
	add constraint that terms compare constant.
void	add_objective (bool minimize, LpParser::TermArray const &terms)
	add object terms
void	set_integer (std::string const &vname, bool binary)
	set integer variables
Public Member Functions inherited from LpParser::LpDataBase
virtual void	add_variable (string const &vname, double l=limbo::lowest< double >(), double r=std::numeric_limits< double >::max())=0
	add variable that l <= vname <= r.
virtual void	add_constraint (string const &cname, TermArray const &terms, char compare, double constant)=0
	add constraint that terms compare constant.
virtual void	set_integer (string const &vname, bool binary)=0
	set integer variables

Protected Member Functions
void	copy (LinearModel const &rhs)
	copy object

Protected Attributes
std::vector< constraint_type >	m_vConstraint
	constraints
expression_type	m_objective
	objective
std::vector< property_type >	m_vVariableProperty
	variable properties
SolverProperty	m_optType
	optimization objective
std::vector< std::string >	m_vConstraintName
	constraint names
std::vector< variable_value_type >	m_vVariableSol
	variable solutions, it can be either initial solution or final solution
std::map< std::string, variable_type >	m_mName2Variable
	mapping from variable name to variable, only used when reading from files

Detailed Description

template<typename T, typename V>
class limbo::solvers::LinearModel< T, V >

model to describe an optimization problem

Template Parameters

T	coefficient type
V	variable type

Definition at line 1160 of file Solvers.h.

Member Typedef Documentation

◆ base_type

template<typename T, typename V>

typedef LpParser::LpDataBase limbo::solvers::LinearModel< T, V >::base_type

base class

Definition at line 1168 of file Solvers.h.

◆ coefficient_value_type

template<typename T, typename V>

typedef T limbo::solvers::LinearModel< T, V >::coefficient_value_type

T coefficient.

Definition at line 1164 of file Solvers.h.

◆ constraint_type

template<typename T, typename V>

typedef LinearConstraint<coefficient_value_type> limbo::solvers::LinearModel< T, V >::constraint_type

constraint type

Definition at line 1176 of file Solvers.h.

◆ expression_type

template<typename T, typename V>

typedef LinearExpression<coefficient_value_type> limbo::solvers::LinearModel< T, V >::expression_type

expression type

Definition at line 1174 of file Solvers.h.

◆ property_type

template<typename T, typename V>

typedef VariableProperty<variable_value_type> limbo::solvers::LinearModel< T, V >::property_type

variable property type

Definition at line 1178 of file Solvers.h.

◆ term_type

template<typename T, typename V>

typedef LinearTerm<coefficient_value_type> limbo::solvers::LinearModel< T, V >::term_type

term type

Definition at line 1172 of file Solvers.h.

◆ variable_type

template<typename T, typename V>

typedef Variable<coefficient_value_type> limbo::solvers::LinearModel< T, V >::variable_type

variable type

Definition at line 1170 of file Solvers.h.

◆ variable_value_type

template<typename T, typename V>

typedef V limbo::solvers::LinearModel< T, V >::variable_value_type

V variable.

Definition at line 1166 of file Solvers.h.

Constructor & Destructor Documentation

◆ LinearModel() [1/2]

template<typename T, typename V>

limbo::solvers::LinearModel< T, V >::LinearModel ( )

inline

constructor

Definition at line 1181 of file Solvers.h.

◆ LinearModel() [2/2]

template<typename T, typename V>

limbo::solvers::LinearModel< T, V >::LinearModel ( LinearModel< T, V > const & rhs )

inline

copy constructor

Parameters

rhs	right hand side

Definition at line 1188 of file Solvers.h.

◆ ~LinearModel()

template<typename T, typename V>

limbo::solvers::LinearModel< T, V >::~LinearModel ( )

inline

destructor

Definition at line 1205 of file Solvers.h.

Member Function Documentation

◆ add_constraint()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::add_constraint	(	std::string const &	cname,
		LpParser::TermArray const &	terms,
		char	compare,
		double	constant )

inline

add constraint that terms compare constant.

Parameters

cname	constraint name
terms	array of terms in left hand side
compare	operator '<', '>', '='
constant	constant in the right hand side

Definition at line 1507 of file Solvers.h.

◆ add_objective()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::add_objective	(	bool	minimize,
		LpParser::TermArray const &	terms )

inlinevirtual

add object terms

Parameters

minimize	true denotes minimizing object, false denotes maximizing object
terms	array of terms

Implements LpParser::LpDataBase.

Definition at line 1521 of file Solvers.h.

◆ add_variable()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::add_variable	(	std::string const &	vname,
		double	l = limbo::lowest<double>(),
		double	r = std::numeric_limits<double>::max() )

inline

add variable that l <= vname <= r.

Parameters

vname	variable name
l	lower bound
r	upper bound

Definition at line 1474 of file Solvers.h.

◆ addConstraint()

template<typename T, typename V>

bool limbo::solvers::LinearModel< T, V >::addConstraint	(	constraint_type const &	constr,
		std::string	name = "" )

inline

add a constraint

Parameters

constr	constraint
name	constraint name

Returns: true if added

Definition at line 1217 of file Solvers.h.

◆ addVariable()

template<typename T, typename V>

variable_type limbo::solvers::LinearModel< T, V >::addVariable	(	variable_value_type	lb,
		variable_value_type	ub,
		SolverProperty	nt,
		std::string	name = "" )

inline

add one variable

Parameters

lb	lower bound
ub	upper bound
nt	numeric type
name	variable name

Returns: variable

Definition at line 1365 of file Solvers.h.

◆ constraintName()

template<typename T, typename V>

std::string const & limbo::solvers::LinearModel< T, V >::constraintName ( constraint_type const & constr ) const

inline

Parameters

constr constraint

Returns: constraint name

Definition at line 1286 of file Solvers.h.

◆ constraintNames() [1/2]

template<typename T, typename V>

std::vector< std::string > & limbo::solvers::LinearModel< T, V >::constraintNames ( )

inline

Returns: array of constraint names

Definition at line 1290 of file Solvers.h.

◆ constraintNames() [2/2]

template<typename T, typename V>

std::vector< std::string > const & limbo::solvers::LinearModel< T, V >::constraintNames ( ) const

inline

Returns: array of constraint names

Definition at line 1288 of file Solvers.h.

◆ constraints() [1/2]

template<typename T, typename V>

std::vector< constraint_type > & limbo::solvers::LinearModel< T, V >::constraints ( )

inline

Returns: array of constraints

Definition at line 1212 of file Solvers.h.

◆ constraints() [2/2]

template<typename T, typename V>

std::vector< constraint_type > const & limbo::solvers::LinearModel< T, V >::constraints ( ) const

inline

Returns: array of constraints

Definition at line 1210 of file Solvers.h.

◆ copy()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::copy ( LinearModel< T, V > const & rhs )

inlineprotected

copy object

Definition at line 1687 of file Solvers.h.

◆ emplaceConstraint()

template<typename T, typename V>

bool limbo::solvers::LinearModel< T, V >::emplaceConstraint	(	expression_type &	expr,
		char	sense,
		coefficient_value_type	rhs,
		std::string	name = "" )

inline

emplace a constraint

Parameters

expr	expression
sense	sense
rhs	right hand side
name	constraint name

Returns: true if added

Definition at line 1228 of file Solvers.h.

◆ emplaceObjective()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::emplaceObjective ( expression_type & expr )

inline

set objective by swaping with the expression

Parameters

expr objective

Definition at line 1302 of file Solvers.h.

◆ evaluateConstraint() [1/3]

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::evaluateConstraint ( ) const

inline

evaluate slackness of all constraints given solutions of variables and print to screen

Definition at line 1455 of file Solvers.h.

◆ evaluateConstraint() [2/3]

template<typename T, typename V>

coefficient_value_type limbo::solvers::LinearModel< T, V >::evaluateConstraint ( constraint_type const & constr ) const

inline

evaluate slackness of a constraint given solutions of variables

Parameters

constr constraint

Returns: slackness is computed as right hand side minum left hand side assuming sense is '<' or '='

Definition at line 1450 of file Solvers.h.

◆ evaluateConstraint() [3/3]

template<typename T, typename V>

coefficient_value_type limbo::solvers::LinearModel< T, V >::evaluateConstraint	(	constraint_type const &	constr,
		std::vector< variable_value_type > const &	vVariableSol ) const

inline

evaluate slackness of a constraint given solutions of variables

Parameters

constr	constraint
vVariableSol	variable solutions

Returns: slackness is computed as right hand side minum left hand side assuming sense is '<' or '='

Definition at line 1439 of file Solvers.h.

◆ evaluateExpression()

template<typename T, typename V>

coefficient_value_type limbo::solvers::LinearModel< T, V >::evaluateExpression	(	expression_type const &	expr,
		std::vector< variable_value_type > const &	vVariableSol ) const

inline

evaluate expression given solutions of variables

Parameters

expr	expression
vVariableSol	variable solutions

Returns: result of the expression after applying the solutions

Definition at line 1414 of file Solvers.h.

◆ evaluateObjective() [1/2]

template<typename T, typename V>

coefficient_value_type limbo::solvers::LinearModel< T, V >::evaluateObjective ( ) const

inline

evaluate objective

Returns: objective after applying the solution

Definition at line 1431 of file Solvers.h.

◆ evaluateObjective() [2/2]

template<typename T, typename V>

coefficient_value_type limbo::solvers::LinearModel< T, V >::evaluateObjective ( std::vector< variable_value_type > const & vVariableSol ) const

inline

evaluate objective

Parameters

vVariableSol variable solutions

Returns: objective after applying the solution

Definition at line 1425 of file Solvers.h.

◆ numVariables()

template<typename T, typename V>

unsigned int limbo::solvers::LinearModel< T, V >::numVariables ( ) const

inline

Returns: number of variables

Definition at line 1316 of file Solvers.h.

◆ objective()

template<typename T, typename V>

expression_type const & limbo::solvers::LinearModel< T, V >::objective ( ) const

inline

Returns: objective

Definition at line 1292 of file Solvers.h.

◆ operator=()

template<typename T, typename V>

LinearModel & limbo::solvers::LinearModel< T, V >::operator= ( LinearModel< T, V > const & rhs )

inline

assignment

Parameters

rhs	right hand side

Definition at line 1195 of file Solvers.h.

◆ optimizeType()

template<typename T, typename V>

SolverProperty limbo::solvers::LinearModel< T, V >::optimizeType ( ) const

inline

Returns: optimization objective, whether maximize or minimize the objective

Definition at line 1308 of file Solvers.h.

◆ print() [1/5]

template<typename T, typename V>

std::ostream & limbo::solvers::LinearModel< T, V >::print	(	std::ostream &	os,
		constraint_type const &	constr ) const

inline

print constraint

Parameters

os	output stream
constr	constraint

Returns: output stream

Definition at line 1655 of file Solvers.h.

◆ print() [2/5]

template<typename T, typename V>

std::ostream & limbo::solvers::LinearModel< T, V >::print	(	std::ostream &	os,
		expression_type const &	expr ) const

inline

print expression

Parameters

os	output stream
expr	expression

Returns: output stream

Definition at line 1638 of file Solvers.h.

◆ print() [3/5]

template<typename T, typename V>

std::ostream & limbo::solvers::LinearModel< T, V >::print	(	std::ostream &	os,
		term_type const &	term ) const

inline

print expression

Parameters

os	output stream
term	term

Returns: output stream

Definition at line 1629 of file Solvers.h.

◆ print() [4/5]

template<typename T, typename V>

std::ostream & limbo::solvers::LinearModel< T, V >::print ( std::ostream & os = std::cout ) const

inline

print problem in lp format

Parameters

os	output stream

Returns: output stream

Definition at line 1564 of file Solvers.h.

◆ print() [5/5]

template<typename T, typename V>

bool limbo::solvers::LinearModel< T, V >::print ( std::string const & filename ) const

inline

print problem in lp format to file

Parameters

filename output file name

Returns: true if succeed; otherwise false

Definition at line 1552 of file Solvers.h.

◆ printSolution() [1/2]

template<typename T, typename V>

std::ostream & limbo::solvers::LinearModel< T, V >::printSolution ( std::ostream & os = std::cout ) const

inline

print solutions

Parameters

os	output stream

Returns: output stream

Definition at line 1677 of file Solvers.h.

◆ printSolution() [2/2]

template<typename T, typename V>

bool limbo::solvers::LinearModel< T, V >::printSolution ( std::string const & filename ) const

inline

print solutions to file

Definition at line 1665 of file Solvers.h.

◆ read()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::read ( std::string const & filename )

inline

read lp format

Parameters

filename input file in lp format initializing graph

Definition at line 1464 of file Solvers.h.

◆ reserveConstraints()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::reserveConstraints ( unsigned int n )

inline

reserve space for constraints

Parameters

n	number of constraints to reserve

Definition at line 1389 of file Solvers.h.

◆ reserveVariables()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::reserveVariables ( unsigned int n )

inline

reserve space for variables

Parameters

n	number of variables to reserve

Definition at line 1382 of file Solvers.h.

◆ resizeConstraints()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::resizeConstraints ( unsigned int n )

inline

resize constraints

Parameters

n	number of constraints

Definition at line 1396 of file Solvers.h.

◆ scaleConstraint()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::scaleConstraint	(	unsigned int	id,
		coefficient_value_type	factor )

inline

scaling a constraint

Parameters

id	constraint index
factor	scaling factor

Definition at line 1409 of file Solvers.h.

◆ scaleObjective()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::scaleObjective ( coefficient_value_type factor )

inline

scale objective

Parameters

factor scaling factor

Definition at line 1405 of file Solvers.h.

◆ set_integer()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::set_integer	(	std::string const &	vname,
		bool	binary )

inline

set integer variables

Parameters

vname	integer variables
binary	denotes whether they are binary variables

Definition at line 1537 of file Solvers.h.

◆ setObjective()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::setObjective ( expression_type const & expr )

inline

set objective

Parameters

expr objective

Definition at line 1295 of file Solvers.h.

◆ setOptimizeType()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::setOptimizeType ( SolverProperty optType )

inline

Parameters

optType optimization objective

Definition at line 1310 of file Solvers.h.

◆ setVariableLowerBound()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::setVariableLowerBound	(	variable_type const &	var,
		variable_value_type	lb )

inline

set variable lower bound

Parameters

var	variable
lb	lower bound

Definition at line 1338 of file Solvers.h.

◆ setVariableName()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::setVariableName	(	variable_type const &	var,
		std::string const &	name )

inline

set variable name

Parameters

var	variable
name	name

Definition at line 1332 of file Solvers.h.

◆ setVariableNumericType()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::setVariableNumericType	(	variable_type const &	var,
		SolverProperty	type )

inline

set numeric type of variable

Parameters

var	variable
type	numeric type

Definition at line 1358 of file Solvers.h.

◆ setVariableSolution()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::setVariableSolution	(	variable_type const &	var,
		variable_value_type	v )

inline

Parameters

var	variable
v	initial solution

Definition at line 1379 of file Solvers.h.

◆ setVariableUpperBound()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::setVariableUpperBound	(	variable_type const &	var,
		variable_value_type	ub )

inline

set variable upper bound

Parameters

var	variable
ub	upper bound

Definition at line 1348 of file Solvers.h.

◆ updateVariableLowerBound()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::updateVariableLowerBound	(	variable_type const &	var,
		variable_value_type	lb )

inline

update variable lower bound

Parameters

var	variable
lb	lower bound

Definition at line 1342 of file Solvers.h.

◆ updateVariableUpperBound()

template<typename T, typename V>

void limbo::solvers::LinearModel< T, V >::updateVariableUpperBound	(	variable_type const &	var,
		variable_value_type	ub )

inline

update variable upper bound

Parameters

var	variable
ub	upper bound

Definition at line 1352 of file Solvers.h.

◆ variable()

template<typename T, typename V>

variable_type limbo::solvers::LinearModel< T, V >::variable ( unsigned int id ) const

inline

Returns: variable

Definition at line 1318 of file Solvers.h.

◆ variableLowerBound()

template<typename T, typename V>

variable_value_type limbo::solvers::LinearModel< T, V >::variableLowerBound ( variable_type const & var )

inline

Returns: lower bound of variables

Definition at line 1334 of file Solvers.h.

◆ variableName()

template<typename T, typename V>

std::string limbo::solvers::LinearModel< T, V >::variableName ( variable_type const & var ) const

inline

Returns: name of variables

Definition at line 1320 of file Solvers.h.

◆ variableNumericType()

template<typename T, typename V>

SolverProperty limbo::solvers::LinearModel< T, V >::variableNumericType ( variable_type const & var )

inline

Returns: numeric type of variable

Definition at line 1354 of file Solvers.h.

◆ variableProperties() [1/2]

template<typename T, typename V>

std::vector< property_type > & limbo::solvers::LinearModel< T, V >::variableProperties ( )

inline

Returns: array of variable properties

Definition at line 1314 of file Solvers.h.

◆ variableProperties() [2/2]

template<typename T, typename V>

std::vector< property_type > const & limbo::solvers::LinearModel< T, V >::variableProperties ( ) const

inline

Returns: array of variable properties

Definition at line 1312 of file Solvers.h.

◆ variableSolution()

template<typename T, typename V>

variable_value_type limbo::solvers::LinearModel< T, V >::variableSolution ( variable_type const & var ) const

inline

Returns: solution of a variable

Definition at line 1376 of file Solvers.h.

◆ variableSolutions() [1/2]

template<typename T, typename V>

std::vector< variable_value_type > & limbo::solvers::LinearModel< T, V >::variableSolutions ( )

inline

Returns: array of solution

Definition at line 1374 of file Solvers.h.

◆ variableSolutions() [2/2]

template<typename T, typename V>

std::vector< variable_value_type > const & limbo::solvers::LinearModel< T, V >::variableSolutions ( ) const

inline

Returns: array of solution

Definition at line 1372 of file Solvers.h.

◆ variableUpperBound()

template<typename T, typename V>

variable_value_type limbo::solvers::LinearModel< T, V >::variableUpperBound ( variable_type const & var )

inline

Returns: upper bound of variables

Definition at line 1344 of file Solvers.h.

Member Data Documentation

◆ m_mName2Variable

template<typename T, typename V>

std::map<std::string, variable_type> limbo::solvers::LinearModel< T, V >::m_mName2Variable

protected

mapping from variable name to variable, only used when reading from files

Definition at line 1707 of file Solvers.h.

◆ m_objective

template<typename T, typename V>

expression_type limbo::solvers::LinearModel< T, V >::m_objective

protected

objective

Definition at line 1700 of file Solvers.h.

◆ m_optType

template<typename T, typename V>

SolverProperty limbo::solvers::LinearModel< T, V >::m_optType

protected

optimization objective

Definition at line 1702 of file Solvers.h.

◆ m_vConstraint

template<typename T, typename V>

std::vector<constraint_type> limbo::solvers::LinearModel< T, V >::m_vConstraint

protected

constraints

Definition at line 1699 of file Solvers.h.

◆ m_vConstraintName

template<typename T, typename V>

std::vector<std::string> limbo::solvers::LinearModel< T, V >::m_vConstraintName

protected

constraint names

Definition at line 1703 of file Solvers.h.

◆ m_vVariableProperty

template<typename T, typename V>

std::vector<property_type> limbo::solvers::LinearModel< T, V >::m_vVariableProperty

protected

variable properties

Definition at line 1701 of file Solvers.h.

◆ m_vVariableSol

template<typename T, typename V>

std::vector<variable_value_type> limbo::solvers::LinearModel< T, V >::m_vVariableSol

protected

variable solutions, it can be either initial solution or final solution

Definition at line 1705 of file Solvers.h.

The documentation for this class was generated from the following file:

/home/abuild/rpmbuild/BUILD/limbo-3.5.4-build/limbo-3.5.4/limbo/solvers/Solvers.h

Public Types

Public Member Functions

Protected Member Functions

Protected Attributes

Detailed Description

Member Typedef Documentation

◆ base_type

◆ coefficient_value_type

◆ constraint_type

◆ expression_type

◆ property_type

◆ term_type

◆ variable_type

◆ variable_value_type

Constructor & Destructor Documentation

◆ LinearModel() [1/2]

◆ LinearModel() [2/2]

◆ ~LinearModel()

Member Function Documentation

◆ add_constraint()

◆ add_objective()

◆ add_variable()

◆ addConstraint()

◆ addVariable()

◆ constraintName()

◆ constraintNames() [1/2]

◆ constraintNames() [2/2]

◆ constraints() [1/2]

◆ constraints() [2/2]

◆ copy()

◆ emplaceConstraint()

◆ emplaceObjective()

◆ evaluateConstraint() [1/3]

◆ evaluateConstraint() [2/3]

◆ evaluateConstraint() [3/3]

◆ evaluateExpression()

◆ evaluateObjective() [1/2]

◆ evaluateObjective() [2/2]

◆ numVariables()

◆ objective()

◆ operator=()

◆ optimizeType()

◆ print() [1/5]

◆ print() [2/5]

◆ print() [3/5]

◆ print() [4/5]

◆ print() [5/5]

◆ printSolution() [1/2]

◆ printSolution() [2/2]

◆ read()

◆ reserveConstraints()

◆ reserveVariables()

◆ resizeConstraints()

◆ scaleConstraint()

◆ scaleObjective()

◆ set_integer()

◆ setObjective()

◆ setOptimizeType()

◆ setVariableLowerBound()

◆ setVariableName()

◆ setVariableNumericType()

◆ setVariableSolution()

◆ setVariableUpperBound()

◆ updateVariableLowerBound()

◆ updateVariableUpperBound()

◆ variable()

◆ variableLowerBound()

◆ variableName()

◆ variableNumericType()

◆ variableProperties() [1/2]

◆ variableProperties() [2/2]

◆ variableSolution()

◆ variableSolutions() [1/2]

◆ variableSolutions() [2/2]

◆ variableUpperBound()

Member Data Documentation

◆ m_mName2Variable

◆ m_objective

◆ m_optType

◆ m_vConstraint