From 09a1fecdf3f27ad42ed54e58fae76b22872a11e8 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Sat, 16 Jan 2016 15:51:53 +0100
Subject: [PATCH] small changes to python interface

Former-commit-id: e5ebc43e3d12626c983d72a740335bad9e5b9e39
---
 src/python/storm-core.cpp | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/python/storm-core.cpp b/src/python/storm-core.cpp
index 169b6a574..b9ccb1909 100644
--- a/src/python/storm-core.cpp
+++ b/src/python/storm-core.cpp
@@ -44,10 +44,10 @@ BOOST_PYTHON_MODULE(_core)
     ////////////////////////////////////////////
     class_<storm::models::ModelBase, std::shared_ptr<storm::models::ModelBase>, boost::noncopyable>("ModelBase", no_init)
             .add_property("nrStates", &storm::models::ModelBase::getNumberOfStates)
-            .add_property("nrTransitions", &storm::models::ModelBase::getNumberOfTransitions)
-    class_<storm::models::sparse::Model<storm::RationalFunction>, std::shared_ptr<storm::models::sparse::Model<storm::RationalFunction>>, boost::noncopyable, bases<storm::models::ModelBase>>("SparseParametricModel", no_init);
+            .add_property("nrTransitions", &storm::models::ModelBase::getNumberOfTransitions);
+    class_<storm::models::sparse::Model<storm::RationalFunction>, std::shared_ptr<storm::models::sparse::Model<storm::RationalFunction> >, boost::noncopyable, bases<storm::models::ModelBase>>("SparseParametricModel", no_init);
     class_<storm::models::sparse::Model<double>, std::shared_ptr<storm::models::sparse::Model<double>>, boost::noncopyable, bases<storm::models::ModelBase>>("SparseModel", no_init);
-
+    class_<storm::models::sparse::Dtmc<storm::RationalFunction>, std::shared_ptr<storm::models::sparse::Dtmc<storm::RationalFunction>>, boost::noncopyable, bases<storm::models::sparse::Model<storm::RationalFunction>>>("SparseParamtricMc", no_init);
 
     def("parseFormulae", storm::parseFormulasForProgram);
     def("parseProgram", storm::parseProgram);
@@ -58,9 +58,9 @@ BOOST_PYTHON_MODULE(_core)
     //////////////////////////////////////////////
     // Model Checking
     //////////////////////////////////////////////
-    class_<storm::storage::ModelProgramPair>("ModelProgramPair", no_init)
-            .add_property("model", &storm::storage::ModelProgramPair::model)
-            .add_property("program", &storm::storage::ModelProgramPair::program)
+    class_<storm::storage::ModelFormulasPair>("ModelProgramPair", no_init)
+            .add_property("model", &storm::storage::ModelFormulasPair::model)
+            .add_property("program", &storm::storage::ModelFormulasPair::formulas)
     ;