Include file:
#include "mcrl2/lps/find.h"
mcrl2::lps::
find_action_labels
(const T &x, OutputIterator o)¶Returns all action labels that occur in an object.
Parameters:
x an object containing action labels
o an output iterator to which all action labels occurring in x are written.
Returns: All action labels that occur in the term x
mcrl2::lps::
find_action_labels
(const T &x)¶Returns all action labels that occur in an object.
Parameters:
x an object containing action labels
Returns: All action labels that occur in the object x
mcrl2::lps::
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
mcrl2::lps::
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
mcrl2::lps::
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
mcrl2::lps::
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
mcrl2::lps::
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
mcrl2::lps::
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
mcrl2::lps::
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
mcrl2::lps::
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
mcrl2::lps::
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
mcrl2::lps::
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
mcrl2::lps::
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
mcrl2::lps::
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