diff --git a/src/python/storm-core.cpp b/src/python/storm-core.cpp index b4381c240..60504d93e 100644 --- a/src/python/storm-core.cpp +++ b/src/python/storm-core.cpp @@ -79,8 +79,10 @@ BOOST_PYTHON_MODULE(_core) .add_property("nr_states", &storm::models::ModelBase::getNumberOfStates) .add_property("nr_transitions", &storm::models::ModelBase::getNumberOfTransitions) .add_property("model_type", &storm::models::ModelBase::getType) + .add_property("parametric", &storm::models::ModelBase::isParametric) .def("as_dtmc", &storm::models::ModelBase::as>) .def("as_pdtmc", &storm::models::ModelBase::as>) + .def("as_mdp", &storm::models::ModelBase::as>) .def("as_pmdp", &storm::models::ModelBase::as>) ;