From 3ff915c1112548d68d72d9b308ce4d48fccb6811 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Tue, 26 Jan 2016 23:03:33 +0100
Subject: [PATCH] checking whether model is parametric and as_mdp added

Former-commit-id: 4cf557b1ea0111ce5994c9019da2110984d2619f
---
 src/python/storm-core.cpp | 2 ++
 1 file changed, 2 insertions(+)

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<storm::models::sparse::Dtmc<double>>)
         .def("as_pdtmc", &storm::models::ModelBase::as<storm::models::sparse::Dtmc<storm::RationalFunction>>)
+        .def("as_mdp", &storm::models::ModelBase::as<storm::models::sparse::Mdp<double>>)
         .def("as_pmdp", &storm::models::ModelBase::as<storm::models::sparse::Mdp<storm::RationalFunction>>)
     ;