diff --git a/src/storage/expressions.cpp b/src/storage/expressions.cpp index 8f9dc34..3e564ab 100644 --- a/src/storage/expressions.cpp +++ b/src/storage/expressions.cpp @@ -32,6 +32,7 @@ void define_expressions(py::module& m) { // Expression py::class_>(m, "Expression", "Holds an expression") .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("is_literal", &storm::expressions::Expression::isLiteral, "Check if the expression is a literal") .def("has_boolean_type", &storm::expressions::Expression::hasBooleanType, "Check if the expression is a boolean") .def("has_integer_type", &storm::expressions::Expression::hasIntegerType, "Check if the expression is an integer")