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
	LabParser.cpp.
namespace	storm::utility
namespace	storm::utility::parametric

Typedefs
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.