mdp instantiation

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");
+}