mcrl2/data/find.h¶
Include file:
#include "mcrl2/data/find.h"
Search functions of the data library.
Functions¶
-
std::set<data::variable>
mcrl2::data::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::data::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::data_expression>
mcrl2::data::find_data_expressions(const T &x)¶ Returns all data expressions that occur in an object.
Parameters:
- x an object containing data expressions
Returns: All data expressions that occur in the object x
-
void
mcrl2::data::find_data_expressions(const T &x, OutputIterator o)¶ Returns all data expressions that occur in an object.
Parameters:
- x an object containing data expressions
- o an output iterator to which all data expressions occurring in x are written.
Returns: All data expressions that occur in the term x
-
std::set<data::variable>
mcrl2::data::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::data::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::data::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::data::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::data::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::data::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::data::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::data::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<data::sort_expression>
mcrl2::data::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::data::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::data::search_data_expression(Container const &container, const data_expression &s)¶ Returns true if the term has a given data expression as subterm.
Parameters:
- container an expression or container of expressions
- s A data expression
Returns: True if the term has a given data expression as subterm.
-
bool
mcrl2::data::search_free_variable(const T &x, const variable &v)¶ Returns true if the term has a given free variable as subterm.
Parameters:
- x an expression
- v a variable
Returns: True if v occurs free in x.
-
bool
mcrl2::data::search_sort_expression(Container const &container, const sort_expression &s)¶ Returns true if the term has a given sort expression as subterm.
Parameters:
- container an expression or container of expressions
- s A sort expression
Returns: True if the term has a given sort expression as subterm.
