From c7e9ff14b986f6ca40f0a529b2132d18f539fb19 Mon Sep 17 00:00:00 2001 From: Kevin Batz Date: Fri, 5 Jul 2019 14:36:21 +0200 Subject: [PATCH] binding for evaluate_as_rational (expressions) --- src/storage/expressions.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/storage/expressions.cpp b/src/storage/expressions.cpp index ab96006..354a2f8 100644 --- a/src/storage/expressions.cpp +++ b/src/storage/expressions.cpp @@ -92,6 +92,8 @@ void define_expressions(py::module& m) { {return expr.evaluateAsBool();}, "Get the boolean value this expression evaluates to") .def("evaluate_as_double", [](Expression const& expr) {return expr.evaluateAsDouble();}, "Get the double value this expression evaluates to") + .def("evaluate_as_rational", [](Expression const& expr) + {return expr.evaluateAsRational();}, "Get the rational number this expression evaluates to") .def("__str__", &storm::expressions::Expression::toString, "To string") .def_property_readonly("is_function_application", &storm::expressions::Expression::isFunctionApplication, "True iff the expression is a function application (of any sort") .def_property_readonly("operator", &storm::expressions::Expression::getOperator, "The operator of the expression (if it is a function application)")