parametric.h

Go to the documentation of this file.

#pragma once
 
#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;
};
 
template<>
struct VariableType<storm::RationalFunction> {
    typedef storm::RationalFunctionVariable type;
};
template<>
struct CoefficientType<storm::RationalFunction> {
    typedef storm::RationalFunctionCoefficient type;
};
 
template<typename FunctionType>
using Valuation = std::map<typename VariableType<FunctionType>::type, typename CoefficientType<FunctionType>::type>;
 
template<typename ReturnType, typename FunctionType>
ReturnType 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