From 039ae24cb6d7aa72f6d8d168a009b48aaf208be3 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Tue, 21 Jul 2020 16:42:58 -0700 Subject: [PATCH] missing expression operations for divide and modulo added --- src/storage/expressions.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/storage/expressions.cpp b/src/storage/expressions.cpp index a731af4..d55ede1 100644 --- a/src/storage/expressions.cpp +++ b/src/storage/expressions.cpp @@ -105,6 +105,7 @@ void define_expressions(py::module& m) { .def_static("Plus", [](Expression const& lhs, Expression const& rhs) {return lhs + rhs;}) .def_static("Minus", [](Expression const& lhs, Expression const& rhs) {return lhs - rhs;}) .def_static("Multiply", [](Expression const& lhs, Expression const& rhs) {return lhs * rhs;}) + .def_static("Divide", [](Expression const& lhs, Expression const& rhs) {return lhs / rhs;}) .def_static("And", [](Expression const& lhs, Expression const& rhs) {return lhs && rhs;}) .def_static("Or", [](Expression const& lhs, Expression const& rhs) {return lhs || rhs;}) .def_static("Geq", [](Expression const& lhs, Expression const& rhs) {return lhs >= rhs;}) @@ -113,6 +114,7 @@ void define_expressions(py::module& m) { .def_static("Greater", [](Expression const& lhs, Expression const& rhs) {return lhs > rhs;}) .def_static("Less", [](Expression const& lhs, Expression const& rhs) {return lhs < rhs;}) .def_static("Leq", [](Expression const& lhs, Expression const& rhs) {return lhs <= rhs;}) + .def_static("Modulo", [](Expression const& lhs, Expression const& rhs) {return storm::expressions::modulo(lhs, rhs);}) .def_static("Implies", [](Expression const& lhs, Expression const& rhs) {return storm::expressions::implies(lhs, rhs);}) .def_static("Iff", [](Expression const& lhs, Expression const& rhs) {return storm::expressions::iff(lhs, rhs);}) .def_static("Conjunction", [](std::vector const& expr) {return storm::expressions::conjunction(expr); })