storm::utility::parametric Namespace Reference

Classes
struct	CoefficientType
	Acess the type of coefficients from a given function type. More...
struct	VariableType
	Access the type of variables from a given function type. More...

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

Functions
template<typename FunctionType >
CoefficientType< FunctionType >::type	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

Valuation

template<typename FunctionType >

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

Definition at line 41 of file parametric.h.

Function Documentation

evaluate()

template<typename FunctionType >

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

Evaluates the given function wrt.

the given valuation

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.

isLinear()

template<typename FunctionType >

bool storm::utility::parametric::isLinear

(

FunctionType const &

function

)

Checks whether the function is linear (in one parameter)

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.

substitute()

template<typename FunctionType >

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

Evaluates the given function wrt.

the given valuation