parametric.h File Reference

#include "storm/adapters/RationalFunctionForward.h"
#include <map>
#include <set>

Include dependency graph for parametric.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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

Namespaces
namespace	storm
namespace	storm::utility
namespace	storm::utility::parametric

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

Functions
template<typename ReturnType, typename FunctionType>
ReturnType	storm::utility::parametric::evaluate (FunctionType const &function, Valuation< FunctionType > const &valuation)
	Evaluates the given function wrt.
template<typename FunctionType>
FunctionType	storm::utility::parametric::substitute (FunctionType const &function, Valuation< FunctionType > const &valuation)
	Evaluates the given function wrt.
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.
template<typename FunctionType>
bool	storm::utility::parametric::isLinear (FunctionType const &function)
	Checks whether the function is linear (in one parameter).
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.