From c9c2816e1807ec559dd44cad2924616488953af7 Mon Sep 17 00:00:00 2001
From: Jip Spel <jip.spel@cs.rwth-aachen.de>
Date: Tue, 25 Sep 2018 11:29:27 +0200
Subject: [PATCH] Add documentation

---
 .../storage/expressions/ValueTypeToExpression.h      | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

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<typename ValueType>
         class ValueTypeToExpression {
         public:
-            /*!
-             *
-             *
-             * @param manager The manager of the variables.
-             */
             ValueTypeToExpression(std::shared_ptr<ExpressionManager> manager);
 
             /*!
@@ -28,10 +23,10 @@ namespace storm {
             std::shared_ptr<ExpressionManager> 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