storm::utility::parametric Namespace Reference

Classes
struct	VariableType
	Access the type of variables from a given function type. More...
struct	CoefficientType
	Acess the type of coefficients from a given function type. More...
struct	VariableType< storm::RationalFunction >
struct	CoefficientType< storm::RationalFunction >

Typedefs
template<typename FunctionType>
using	VariableType_t = typename VariableType<FunctionType>::type
template<typename FunctionType>
using	CoefficientType_t = typename CoefficientType<FunctionType>::type
template<typename FunctionType>
using	Valuation = std::map<typename VariableType<FunctionType>::type, typename CoefficientType<FunctionType>::type>

Functions
template<typename ReturnType>
ReturnType	evaluateRationalFunction (storm::RationalFunction const &function, Valuation< storm::RationalFunction > const &valuation)
template<>
double	evaluate (storm::RationalFunction const &function, Valuation< storm::RationalFunction > const &valuation)
template<>
storm::RationalFunction	substitute< storm::RationalFunction > (storm::RationalFunction const &function, Valuation< storm::RationalFunction > const &valuation)
template<>
void	gatherOccurringVariables< storm::RationalFunction > (storm::RationalFunction const &function, std::set< typename VariableType< storm::RationalFunction >::type > &variableSet)
template<>
bool	isLinear< storm::RationalFunction > (storm::RationalFunction const &function)
template<>
bool	isMultiLinearPolynomial< storm::RationalFunction > (storm::RationalFunction const &function)
template<typename ReturnType, typename FunctionType>
ReturnType	evaluate (FunctionType const &function, Valuation< FunctionType > const &valuation)
	Evaluates the given function wrt.
template<typename FunctionType>
FunctionType	substitute (FunctionType const &function, Valuation< FunctionType > const &valuation)
	Evaluates the given function wrt.
template<typename FunctionType>
void	gatherOccurringVariables (FunctionType const &function, std::set< typename VariableType< FunctionType >::type > &variableSet)
	Add all variables that occur in the given function to the the given set.
template<typename FunctionType>
bool	isLinear (FunctionType const &function)
	Checks whether the function is linear (in one parameter).
template<typename FunctionType>
bool	isMultiLinearPolynomial (FunctionType const &function)
	Checks whether the function is a multilinear polynomial, i.e., a polynomial which only considers variables with exponent at most 1.

Typedef Documentation

CoefficientType_t

template<typename FunctionType>

using storm::utility::parametric::CoefficientType_t = typename CoefficientType<FunctionType>::type

Definition at line 40 of file parametric.h.

Valuation

template<typename FunctionType>

using storm::utility::parametric::Valuation = std::map<typename VariableType<FunctionType>::type, typename CoefficientType<FunctionType>::type>

Definition at line 43 of file parametric.h.

VariableType_t

template<typename FunctionType>

using storm::utility::parametric::VariableType_t = typename VariableType<FunctionType>::type

Definition at line 38 of file parametric.h.

Function Documentation

evaluate() [1/2]

template<typename ReturnType, typename FunctionType>

ReturnType storm::utility::parametric::evaluate	(	FunctionType const &	function,
		Valuation< FunctionType > const &	valuation )

Evaluates the given function wrt.

the given valuation and returns the required type.

evaluate() [2/2]

template<>

double storm::utility::parametric::evaluate	(	storm::RationalFunction const &	function,
		Valuation< storm::RationalFunction > const &	valuation )

Definition at line 21 of file parametric.cpp.

evaluateRationalFunction()

template<typename ReturnType>

ReturnType storm::utility::parametric::evaluateRationalFunction	(	storm::RationalFunction const &	function,
		Valuation< storm::RationalFunction > const &	valuation )

Definition at line 12 of file parametric.cpp.

gatherOccurringVariables()

template<typename FunctionType>

void storm::utility::parametric::gatherOccurringVariables	(	FunctionType const &	function,
		std::set< typename VariableType< FunctionType >::type > &	variableSet )

Add all variables that occur in the given function to the the given set.

gatherOccurringVariables< storm::RationalFunction >()

template<>

void storm::utility::parametric::gatherOccurringVariables< storm::RationalFunction >	(	storm::RationalFunction const &	function,
		std::set< typename VariableType< storm::RationalFunction >::type > &	variableSet )

Definition at line 46 of file parametric.cpp.

isLinear()

template<typename FunctionType>

bool storm::utility::parametric::isLinear

(

FunctionType const &

function

)

Checks whether the function is linear (in one parameter).

isLinear< storm::RationalFunction >()

template<>

bool storm::utility::parametric::isLinear< storm::RationalFunction >

(

storm::RationalFunction const &

function

)

Definition at line 52 of file parametric.cpp.

isMultiLinearPolynomial()

template<typename FunctionType>

bool storm::utility::parametric::isMultiLinearPolynomial

(

FunctionType const &

function

)

Checks whether the function is a multilinear polynomial, i.e., a polynomial which only considers variables with exponent at most 1.

isMultiLinearPolynomial< storm::RationalFunction >()

template<>

bool storm::utility::parametric::isMultiLinearPolynomial< storm::RationalFunction >

(

storm::RationalFunction const &

function

)

Definition at line 57 of file parametric.cpp.

substitute()

template<typename FunctionType>

FunctionType storm::utility::parametric::substitute	(	FunctionType const &	function,
		Valuation< FunctionType > const &	valuation )

Evaluates the given function wrt.

the given valuation

substitute< storm::RationalFunction >()

template<>

storm::RationalFunction storm::utility::parametric::substitute< storm::RationalFunction >	(	storm::RationalFunction const &	function,
		Valuation< storm::RationalFunction > const &	valuation )

Definition at line 40 of file parametric.cpp.