diff --git a/src/storage/expressions.cpp b/src/storage/expressions.cpp index f43f8ae..4acdbfb 100644 --- a/src/storage/expressions.cpp +++ b/src/storage/expressions.cpp @@ -39,6 +39,7 @@ void define_expressions(py::module& m) { // Expression py::class_>(m, "Expression", "Holds an expression") + .def(py::init(), "other_expression"_a) .def("contains_variables", &storm::expressions::Expression::containsVariables, "Check if the expression contains variables.") .def("contains_variable", &storm::expressions::Expression::containsVariable, "Check if the expression contains any of the given variables.", py::arg("variables")) .def("get_variables" , &storm::expressions::Expression::getVariables, "Get the variables")