From 777a24f29ea84c6ce3b25ab76e1a0c10b771db9c Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Mon, 18 Dec 2017 22:23:08 +0100
Subject: [PATCH] bindings for expression type

---
 src/storage/expressions.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/storage/expressions.cpp b/src/storage/expressions.cpp
index a12cdc9..f65d16f 100644
--- a/src/storage/expressions.cpp
+++ b/src/storage/expressions.cpp
@@ -38,4 +38,10 @@ void define_expressions(py::module& m) {
         .def("__str__", &streamToString<storm::expressions::Expression>)
     ;
 
+    py::class_<storm::expressions::Type>(m, "ExpressionType", "The type of an expression")
+            .def_property_readonly("is_boolean", &storm::expressions::Type::isBooleanType)
+            .def_property_readonly("is_integer", &storm::expressions::Type::isIntegerType)
+            .def_property_readonly("is_rational", &storm::expressions::Type::isRationalType)
+            .def("__str__", &storm::expressions::Type::getStringRepresentation);
+
 }
\ No newline at end of file