contains variable

src/storage/expressions.cpp

@@ -32,6 +32,7 @@ void define_expressions(py::module& m) {
     // Expression
     py::class_<storm::expressions::Expression, std::shared_ptr<storm::expressions::Expression>>(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")