storm::solver::RawLpConstraint< ValueType > Struct Template Reference

#include <LpSolver.h>

Public Types
using	VariableIndexType = uint64_t

Public Member Functions
	RawLpConstraint (storm::expressions::RelationType relationType, ValueType const &rhs={}, uint64_t reservedSize=0)
	Creates a RawLpConstraint which represents a linear (in)equality of the form a_1*x_1 + ... + a_n*x_n ~ b.
void	addToLhs (VariableIndexType const &variable, ValueType const &coefficient)
	Adds the summand 'coefficient * variable' to the left hand side.

Public Attributes
std::vector< VariableIndexType >	lhsVariableIndices
std::vector< ValueType >	lhsCoefficients
storm::expressions::RelationType	relationType
ValueType	rhs

Detailed Description

template<typename ValueType>
struct storm::solver::RawLpConstraint< ValueType >

Definition at line 22 of file LpSolver.h.

Member Typedef Documentation

VariableIndexType

template<typename ValueType>

using storm::solver::RawLpConstraint< ValueType >::VariableIndexType = uint64_t

Definition at line 23 of file LpSolver.h.

Constructor & Destructor Documentation

RawLpConstraint()

template<typename ValueType>

storm::solver::RawLpConstraint< ValueType >::RawLpConstraint	(	storm::expressions::RelationType	relationType,
		ValueType const &	rhs = {},
		uint64_t	reservedSize = 0 )

Creates a RawLpConstraint which represents a linear (in)equality of the form a_1*x_1 + ... + a_n*x_n ~ b.

Parameters

relationType	The relation ~ in the (in)equality
rhs	The right-hand side b of the inequality
reservedSize	An estimate of the number of terms n in the left hand side. Doesn't need to be accurate but helps reserving appropriate memory

Definition at line 12 of file LpSolver.cpp.

Member Function Documentation

addToLhs()

template<typename ValueType>

void storm::solver::RawLpConstraint< ValueType >::addToLhs	(	VariableIndexType const &	variable,
		ValueType const &	coefficient )

Adds the summand 'coefficient * variable' to the left hand side.

Parameters

variable
coefficient

Definition at line 19 of file LpSolver.cpp.

Member Data Documentation

lhsCoefficients

template<typename ValueType>

std::vector<ValueType> storm::solver::RawLpConstraint< ValueType >::lhsCoefficients

Definition at line 41 of file LpSolver.h.

lhsVariableIndices

template<typename ValueType>

std::vector<VariableIndexType> storm::solver::RawLpConstraint< ValueType >::lhsVariableIndices

Definition at line 40 of file LpSolver.h.

relationType

template<typename ValueType>

storm::expressions::RelationType storm::solver::RawLpConstraint< ValueType >::relationType

Definition at line 42 of file LpSolver.h.

rhs

template<typename ValueType>

ValueType storm::solver::RawLpConstraint< ValueType >::rhs

Definition at line 43 of file LpSolver.h.

---

The documentation for this struct was generated from the following files:

• src/storm/solver/LpSolver.h
• src/storm/solver/LpSolver.cpp