From 5c1f29bca6058570d2f311afddd18fe03f070444 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Tue, 19 Dec 2017 08:57:10 +0100
Subject: [PATCH] expression handling (wip)

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

diff --git a/src/storage/expressions.cpp b/src/storage/expressions.cpp
index f65d16f..1a4db7b 100644
--- a/src/storage/expressions.cpp
+++ b/src/storage/expressions.cpp
@@ -3,6 +3,7 @@
 
 #include "storm/storage/expressions/ExpressionManager.h"
 #include "storm/storage/expressions/Expression.h"
+#include "storm/parser/ExpressionParser.h"
 
 //Define python bindings
 void define_expressions(py::module& m) {
@@ -38,6 +39,10 @@ void define_expressions(py::module& m) {
         .def("__str__", &streamToString<storm::expressions::Expression>)
     ;
 
+    py::class_<storm::parser::ExpressionParser>(m, "ExpressionParser", "Parser for storm-expressions")
+            .def(py::init<storm::expressions::ExpressionManager const&>(), "Expression Manager to use", py::arg("expression_manager"))
+            .def("parse", &storm::parser::ExpressionParser::parseFromString, "parse");
+
     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)