# mcrl2/bes/find.h¶

Include file:

#include "mcrl2/bes/find.h"


## Classes¶

• mcrl2::bes::detail::find_boolean_variables_traverser

## Functions¶

std::set<boolean_variable> mcrl2::bes::find_boolean_variables(Container const &container)

Returns all variables that occur in a range of expressions.

Parameters:

• container a container with expressions

Returns: All variables that occur in the term t

void mcrl2::bes::find_boolean_variables(Container const &container, OutputIterator o)

Returns all boolean variables that occur in a range of expressions.

Parameters:

• container a container with expressions
• o an output iterator to which all variables occurring in t are added.

Returns: All variables that occur in the term t

bool mcrl2::bes::search_boolean_variable(Container const &container, const boolean_variable &v)

Returns true if the term has a given boolean variable as subterm.

Parameters:

• container an expression or container with expressions
• v a boolean variable

Returns: True if the term has a given boolean variable as subterm.

## Functions¶

find_boolean_variables_traverser<Traverser, OutputIterator> mcrl2::bes::detail::make_find_boolean_variables_traverser(OutputIterator out)