mcrl2/bes/find.h¶
Include file:
#include "mcrl2/bes/find.h"
add your file description here.
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.
