mcrl2/lps/find.h¶
Include file:
#include "mcrl2/lps/find.h"
Functions¶
-
void
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
-
std::set<process::action_label>
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
-
void
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
-
std::set<data::variable>
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
-
void
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
-
std::set<data::variable>
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
-
void
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
-
std::set<data::variable>
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
-
void
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
-
std::set<data::function_symbol>
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
-
void
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
-
std::set<core::identifier_string>
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
-
void
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
-
std::set<data::sort_expression>
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
