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) ; + 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) + .def_property_readonly("is_rational", &storm::expressions::Type::isRationalType) + .def("__str__", &storm::expressions::Type::getStringRepresentation); + } \ No newline at end of file