parametric.cpp File Reference

#include "storm-pars/utility/parametric.h"
#include <string>
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/exceptions/IllegalArgumentException.h"
#include "storm/exceptions/NotImplementedException.h"
#include "storm/utility/constants.h"
#include "storm/utility/macros.h"

Include dependency graph for parametric.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::utility
namespace	storm::utility::parametric

Functions
template<typename ReturnType >
ReturnType	storm::utility::parametric::evaluateRationalFunction (storm::RationalFunction const &function, Valuation< storm::RationalFunction > const &valuation)
template<>
double	storm::utility::parametric::evaluate (storm::RationalFunction const &function, Valuation< storm::RationalFunction > const &valuation)
template<>
storm::RationalFunction	storm::utility::parametric::substitute< storm::RationalFunction > (storm::RationalFunction const &function, Valuation< storm::RationalFunction > const &valuation)
template<>
void	storm::utility::parametric::gatherOccurringVariables< storm::RationalFunction > (storm::RationalFunction const &function, std::set< typename VariableType< storm::RationalFunction >::type > &variableSet)
template<>
bool	storm::utility::parametric::isLinear< storm::RationalFunction > (storm::RationalFunction const &function)
template<>
bool	storm::utility::parametric::isMultiLinearPolynomial< storm::RationalFunction > (storm::RationalFunction const &function)