parametric.h

Go to the documentation of this file.

#ifndef STORM_UTILITY_PARAMETRIC_H
#define STORM_UTILITY_PARAMETRIC_H
 
#include "storm/adapters/RationalFunctionForward.h"
 
#include <map>
#include <set>
 
namespace storm {
namespace utility {
namespace parametric {
 
template<typename FunctionType>
struct VariableType {
    typedef void type;
};
 
template<typename FunctionType>
struct CoefficientType {
    typedef void type;
};
 
#ifdef STORM_HAVE_CARL
template<>
struct VariableType<storm::RationalFunction> {
    typedef storm::RationalFunctionVariable type;
};
template<>
struct CoefficientType<storm::RationalFunction> {
    typedef storm::RationalFunctionCoefficient type;
};
#endif
 
template<typename FunctionType>
using Valuation = std::map<typename VariableType<FunctionType>::type, typename CoefficientType<FunctionType>::type>;
 
template<typename FunctionType>
typename CoefficientType<FunctionType>::type evaluate(FunctionType const& function, Valuation<FunctionType> const& valuation);
 
template<typename FunctionType>
FunctionType substitute(FunctionType const& function, Valuation<FunctionType> const& valuation);
 
template<typename FunctionType>
void gatherOccurringVariables(FunctionType const& function, std::set<typename VariableType<FunctionType>::type>& variableSet);
 
template<typename FunctionType>
bool isLinear(FunctionType const& function);
 
template<typename FunctionType>
bool isMultiLinearPolynomial(FunctionType const& function);
 
}  // namespace parametric
 
}  // namespace utility
}  // namespace storm
 
#endif /* STORM_UTILITY_PARAMETRIC_H */