RationalFunctionToExpression.h

Go to the documentation of this file.

#pragma once
 
#include "storm/storage/expressions/Expression.h"
#include "storm/storage/expressions/ExpressionManager.h"
 
namespace storm {
namespace expressions {
template<typename ValueType>
class RationalFunctionToExpression {
   public:
    RationalFunctionToExpression(std::shared_ptr<ExpressionManager> manager);
 
    std::shared_ptr<ExpressionManager> getManager();
 
    Expression toExpression(ValueType function);
 
   private:
    // The manager responsible for the variables of this valuation.
    std::shared_ptr<ExpressionManager> manager;
};
}  // namespace expressions
}  // namespace storm