mcrl2/pbes/find.h

Include file:

#include "mcrl2/pbes/find.h"

Search functions of the pbes library.

Classes

• mcrl2::pbes_system::detail::find_propositional_variables_traverser

Functions

std::set<data::variable> mcrl2::pbes_system::find_all_variables(const T &x)

brief Returns all variables that occur in an object param[in] x an object containing variables return All variables that occur in the object x

void mcrl2::pbes_system::find_all_variables(const T &x, OutputIterator o)

brief Returns all variables that occur in an object param[in] x an object containing variables param[in,out] o an output iterator to which all variables occurring in x are written. return All variables that occur in the term x

std::set<data::variable> mcrl2::pbes_system::find_free_variables(const T &x)

brief Returns all variables that occur in an object param[in] x an object containing variables return All free variables that occur in the object x

void mcrl2::pbes_system::find_free_variables(const T &x, OutputIterator o)

brief Returns all variables that occur in an object param[in] x an object containing variables param[in,out] o an output iterator to which all variables occurring in x are added. return All free variables that occur in the object x

void mcrl2::pbes_system::find_free_variables_with_bound(const T &x, OutputIterator o, const VariableContainer &bound)

brief Returns all variables that occur in an object param[in] x an object containing variables param[in,out] o an output iterator to which all variables occurring in x are written. param[in] bound a container of variables return All free variables that occur in the object x

std::set<data::variable> mcrl2::pbes_system::find_free_variables_with_bound(const T &x, VariableContainer const &bound)

brief Returns all variables that occur in an object param[in] x an object containing variables param[in] bound a bound a container of variables return All free variables that occur in the object x

std::set<data::function_symbol> mcrl2::pbes_system::find_function_symbols(const T &x)

brief Returns all function symbols that occur in an object param[in] x an object containing function symbols return All function symbols that occur in the object x

void mcrl2::pbes_system::find_function_symbols(const T &x, OutputIterator o)

brief Returns all function symbols that occur in an object param[in] x an object containing function symbols param[in,out] o an output iterator to which all function symbols occurring in x are written. return All function symbols that occur in the term x

std::set<core::identifier_string> mcrl2::pbes_system::find_identifiers(const T &x)

brief Returns all identifiers that occur in an object param[in] x an object containing identifiers return All identifiers that occur in the object x

void mcrl2::pbes_system::find_identifiers(const T &x, OutputIterator o)

brief Returns all identifiers that occur in an object param[in] x an object containing identifiers param[in,out] o an output iterator to which all identifiers occurring in x are written. return All identifiers that occur in the term x

std::set<propositional_variable_instantiation> mcrl2::pbes_system::find_propositional_variable_instantiations(Container const &container)

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

Parameters:

• container a container with expressions

Returns: All data variables that occur in the term t

void mcrl2::pbes_system::find_propositional_variable_instantiations(Container const &container, OutputIterator o)

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

Parameters:

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

Returns: All data variables that occur in the term t

std::set<data::sort_expression> mcrl2::pbes_system::find_sort_expressions(const T &x)

brief Returns all sort expressions that occur in an object param[in] x an object containing sort expressions return All sort expressions that occur in the object x

void mcrl2::pbes_system::find_sort_expressions(const T &x, OutputIterator o)

brief Returns all sort expressions that occur in an object param[in] x an object containing sort expressions param[in,out] o an output iterator to which all sort expressions occurring in x are written. return All sort expressions that occur in the term x

bool mcrl2::pbes_system::search_variable(const T &x, const data::variable &v)

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

Parameters:

• x an expression
• v a variable

Returns: True if v occurs in x.

Functions

find_propositional_variables_traverser<Traverser, OutputIterator> mcrl2::pbes_system::detail::make_find_propositional_variables_traverser(OutputIterator out)