15template<
typename FunctionType>
23template<
typename FunctionType>
34 typedef storm::RationalFunctionCoefficient
type;
37template<
typename FunctionType>
43template<
typename ReturnType,
typename FunctionType>
49template<
typename FunctionType>
55template<
typename FunctionType>
61template<
typename FunctionType>
67template<
typename FunctionType>
bool isMultiLinearPolynomial(FunctionType const &function)
Checks whether the function is a multilinear polynomial, i.e., a polynomial which only considers vari...
bool isLinear(FunctionType const &function)
Checks whether the function is linear (in one parameter)
FunctionType substitute(FunctionType const &function, Valuation< FunctionType > const &valuation)
Evaluates the given function wrt.
std::map< typename VariableType< FunctionType >::type, typename CoefficientType< FunctionType >::type > Valuation
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.
double evaluate(storm::RationalFunction const &function, Valuation< storm::RationalFunction > const &valuation)
carl::Variable RationalFunctionVariable
storm::RationalFunctionCoefficient type
Acess the type of coefficients from a given function type.
storm::RationalFunctionVariable type
Access the type of variables from a given function type.