From 8993523719fdb03b00b6e540e9364daf1d0f2fa1 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Fri, 17 Jul 2020 09:20:55 -0700 Subject: [PATCH] variable from expression manager by name --- src/storage/expressions.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/storage/expressions.cpp b/src/storage/expressions.cpp index a42aa2b..a731af4 100644 --- a/src/storage/expressions.cpp +++ b/src/storage/expressions.cpp @@ -25,10 +25,9 @@ void define_expressions(py::module& m) { .def("create_boolean_variable", &storm::expressions::ExpressionManager::declareBooleanVariable, "create Boolean variable", py::arg("name"), py::arg("auxiliary") = false) .def("create_integer_variable", &storm::expressions::ExpressionManager::declareIntegerVariable, "create Integer variable", py::arg("name"), py::arg("auxiliary") = false) .def("create_rational_variable", &storm::expressions::ExpressionManager::declareRationalVariable, "create Rational variable", py::arg("name"), py::arg("auxiliary") = false) + .def("get_variable", &storm::expressions::ExpressionManager::getVariable, "get variably by name", py::arg("name")) ; - - // Variable py::class_>(m, "Variable", "Represents a variable") .def_property_readonly("name", &storm::expressions::Variable::getName, "Variable name")