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>(), "parametric model"_a) .def("instantiate", &storm::utility::ModelInstantiator, storm::models::sparse::Dtmc>::instantiate, "Instantiate model with given parameter values"); -} + py::class_,storm::models::sparse::Mdp>>(m, "PdtmcInstantiator", "Instantiate PDTMCs to MDPs") + .def(py::init>(), "parametric model"_a) + .def("instantiate", &storm::utility::ModelInstantiator, storm::models::sparse::Mdp>::instantiate, "Instantiate model with given parameter values"); +} \ No newline at end of file