From 49101d906b6c3217a9c8adda802397adb123e044 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 26 Apr 2017 12:32:56 +0200
Subject: [PATCH] Jani Model Bindings

---
 src/core/input.cpp | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/core/input.cpp b/src/core/input.cpp
index ef13ff9..67be172 100644
--- a/src/core/input.cpp
+++ b/src/core/input.cpp
@@ -26,7 +26,14 @@ void define_input(py::module& m) {
         .value("MA", storm::prism::Program::ModelType::MA)
         .value("UNDEFINED", storm::prism::Program::ModelType::UNDEFINED)
     ;
-    
+
+    // Jani Model
+    py::class_<storm::jani::Model>(m, "JaniModel", "Jani Model")
+        .def_property_readonly("name", &storm::jani::Model::getName, "Name of the jani model")
+        .def_property_readonly("model_type", &storm::jani::Model::getModelType, "Model type");
+
+
+
     // PrismProgram
     py::class_<storm::prism::Program>(m, "PrismProgram", "Prism program")
         .def_property_readonly("nr_modules", &storm::prism::Program::getNumberOfModules, "Number of modules")