From 3c1a2082e5212242e0d09048035eb4a544a16fc5 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 12 Jan 2017 18:50:28 +0100
Subject: [PATCH] mdp instantiation

---
 src/storage/model.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/storage/model.cpp b/src/storage/model.cpp
index ae067eb..791b6f4 100644
--- a/src/storage/model.cpp
+++ b/src/storage/model.cpp
@@ -94,4 +94,7 @@ void define_model_instantiator(py::module& m) {
             .def(py::init<storm::models::sparse::Dtmc<storm::RationalFunction>>(), "parametric model"_a)
             .def("instantiate", &storm::utility::ModelInstantiator<storm::models::sparse::Dtmc<storm::RationalFunction>, storm::models::sparse::Dtmc<double>>::instantiate, "Instantiate model with given parameter values");
 
-}
+    py::class_<storm::utility::ModelInstantiator<storm::models::sparse::Mdp<storm::RationalFunction>,storm::models::sparse::Mdp<double>>>(m, "PdtmcInstantiator", "Instantiate PDTMCs to MDPs")
+            .def(py::init<storm::models::sparse::Mdp<storm::RationalFunction>>(), "parametric model"_a)
+    .def("instantiate", &storm::utility::ModelInstantiator<storm::models::sparse::Mdp<storm::RationalFunction>, storm::models::sparse::Mdp<double>>::instantiate, "Instantiate model with given parameter values");
+}
\ No newline at end of file