From a365ce7a0b4c1d8b35d94d73c7f0f09d4b9e994e Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 14 Jan 2016 17:25:25 +0100
Subject: [PATCH] further work on python api

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

diff --git a/src/python/storm-core.cpp b/src/python/storm-core.cpp
index e02d76b2d..6d7a4c75a 100644
--- a/src/python/storm-core.cpp
+++ b/src/python/storm-core.cpp
@@ -51,6 +51,12 @@ BOOST_PYTHON_MODULE(_core)
     def("parseProgram", storm::parseProgram);
 
     def("buildModelFromPrismProgram", storm::buildSymbolicModel<double>);
+    def("buildParametricModelFromPrismProgram", storm::buildSymbolicModel<storm::RationalFunction>);
 
+    //////////////////////////////////////////////
+    // Model Checking
+    //////////////////////////////////////////////
 
+
+    def("performStateElimination", storm::verifySparseModel<storm::RationalFunction>);
 }
\ No newline at end of file