mcrl2/data/find.h

Include file:

#include "mcrl2/data/find.h"

Search functions of the data library.

Functions

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

Returns all variables that occur in an object.

Parameters:

  • x an object containing variables
  • o an output iterator to which all variables occurring in x are written.

Returns: All variables that occur in the term x

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

Returns all variables that occur in an object.

Parameters:

  • x an object containing variables

Returns: All variables 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::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_free_variables(const T &x, OutputIterator o)

Returns all variables that occur in an object.

Parameters:

  • x an object containing variables
  • o an output iterator to which all variables occurring in x are added.

Returns: All free variables that occur in the object x

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

Returns all variables that occur in an object.

Parameters:

  • x an object containing variables

Returns: 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)

Returns all variables that occur in an object.

Parameters:

  • x an object containing variables
  • o an output iterator to which all variables occurring in x are written.
  • bound a container of variables

Returns: 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)

Returns all variables that occur in an object.

Parameters:

  • x an object containing variables
  • bound a bound a container of variables

Returns: All free variables that occur in the object x

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

Returns all function symbols that occur in an object.

Parameters:

  • x an object containing function symbols
  • o an output iterator to which all function symbols occurring in x are written.

Returns: All function symbols that occur in the term x

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

Returns all function symbols that occur in an object.

Parameters:

  • x an object containing function symbols

Returns: All function symbols that occur in the object x

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

Returns all identifiers that occur in an object.

Parameters:

  • x an object containing identifiers
  • o an output iterator to which all identifiers occurring in x are written.

Returns: All identifiers that occur in the term x

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

Returns all identifiers that occur in an object.

Parameters:

  • x an object containing identifiers

Returns: All identifiers that occur in the object x

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

Returns all sort expressions that occur in an object.

Parameters:

  • x an object containing sort expressions
  • o an output iterator to which all sort expressions occurring in x are written.

Returns: All sort expressions that occur in the term x

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

Returns all sort expressions that occur in an object.

Parameters:

  • x an object containing sort expressions

Returns: All sort expressions that occur in the object 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.

bool mcrl2::data::search_variable(const T &x, const 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.