From 5b16b6075e8d09c84214e9876cf0231941ad98a1 Mon Sep 17 00:00:00 2001
From: hannah <hannah.mertens@rwth-aachen.de>
Date: Sat, 30 May 2020 00:22:27 +0200
Subject: [PATCH] added constructors

---
 src/storage/modelcomponents.cpp | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/storage/modelcomponents.cpp b/src/storage/modelcomponents.cpp
index 83c4ec5..53ecb76 100644
--- a/src/storage/modelcomponents.cpp
+++ b/src/storage/modelcomponents.cpp
@@ -22,10 +22,8 @@ template<typename ValueType> using ModelComponents = storm::storage::sparse::Mod
 // <storm::RationalNumber>
 // <double, storm::models::sparse::StandardRewardModel<storm::Interval>>
 
-// todo
-//  1. create constructor for sparseModels double in models.h using model comp.
-//  2. write tests
-// 3. rationalfct
+// todo write tests
+// Parametric models, Valuetype: <storm::RationalFunction> todo
 
 void define_model_components(py::module& m) {