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) ; + py::class_(m, "ExpressionParser", "Parser for storm-expressions") + .def(py::init(), "Expression Manager to use", py::arg("expression_manager")) + .def("parse", &storm::parser::ExpressionParser::parseFromString, "parse"); + py::class_(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)