From 3cb99627af4ed6b86156a6098c3fad1d3f01e209 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Tue, 26 Jan 2016 19:26:53 +0100
Subject: [PATCH] bisim via python

Former-commit-id: 3a1128303f07768375f10a6f3f17e0ae4cd9414f
---
 src/python/storm-core.cpp | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/python/storm-core.cpp b/src/python/storm-core.cpp
index c74323b4b..6d89b623d 100644
--- a/src/python/storm-core.cpp
+++ b/src/python/storm-core.cpp
@@ -99,6 +99,17 @@ BOOST_PYTHON_MODULE(_core)
     defineClass<std::vector<std::shared_ptr<storm::logic::Formula>>, void, void>("FormulaVec", "Vector of formulas")
         .def(vector_indexing_suite<std::vector<std::shared_ptr<storm::logic::Formula>>, true>())
     ;
+    
+    ////////////////////////////////////////////
+    // Bisimulation
+    ////////////////////////////////////////////  
+    enum_<storm::storage::BisimulationType>("BisimulationType")
+        .value("STRONG", storm::storage::BisimulationType::Strong)
+        .value("WEAK", storm::storage::BisimulationType::Weak)
+    ;
+    def("perform_bisimulation_parametric", static_cast<std::shared_ptr<storm::models::sparse::Model<storm::RationalFunction>> (*)(std::shared_ptr<storm::models::sparse::Model<storm::RationalFunction>>, std::vector<std::shared_ptr<storm::logic::Formula>> const&, storm::storage::BisimulationType)>(&storm::performBisimulationMinimization<storm::models::sparse::Model<storm::RationalFunction>>));
+    
+    
 
     def("parse_formulae", storm::parseFormulasForProgram);
     def("parse_program", storm::parseProgram);