diff --git a/src/storm/storage/expressions/ValueTypeToExpression.h b/src/storm/storage/expressions/ValueTypeToExpression.h index d0748483d..cc8e594e6 100644 --- a/src/storm/storage/expressions/ValueTypeToExpression.h +++ b/src/storm/storage/expressions/ValueTypeToExpression.h @@ -13,11 +13,6 @@ namespace storm { template class ValueTypeToExpression { public: - /*! - * - * - * @param manager The manager of the variables. - */ ValueTypeToExpression(std::shared_ptr manager); /*! @@ -28,10 +23,10 @@ namespace storm { std::shared_ptr getManager(); /*! + * Transforms the function into an expression. * - * @param function - * @param manager - * @return + * @param function The function to transform + * @return The created expression. */ Expression toExpression(ValueType function); @@ -42,5 +37,4 @@ namespace storm { } } - #endif //STORM_VALUETYPETOEXPRESSION_H