# mcrl2/modal_formula/find.h¶

Include file:

#include "mcrl2/modal_formula/find.h"


## Classes¶

• mcrl2::state_formulas::detail::find_free_state_variables_traverser
• mcrl2::state_formulas::detail::find_state_variables_traverser
• mcrl2::state_formulas::detail::state_variable_name_traverser

## Functions¶

void mcrl2::action_formulas::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::action_formulas::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::action_formulas::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::action_formulas::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::action_formulas::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::action_formulas::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::action_formulas::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::action_formulas::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::action_formulas::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::action_formulas::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::action_formulas::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::action_formulas::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

## Functions¶

void mcrl2::regular_formulas::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::regular_formulas::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::regular_formulas::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::regular_formulas::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::regular_formulas::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::regular_formulas::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::regular_formulas::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::regular_formulas::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::regular_formulas::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::regular_formulas::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::regular_formulas::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::regular_formulas::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

## Functions¶

void mcrl2::state_formulas::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::state_formulas::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::state_formulas::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::state_formulas::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::state_formulas::find_free_state_variables(const T &x, OutputIterator o)

Returns all free state variables that occur in an object.

Parameters:

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

Returns: All free state variables that occur in the object x

std::set<state_formulas::variable> mcrl2::state_formulas::find_free_state_variables(const T &x)

Returns all free state variables that occur in an object.

Parameters:

• x an object containing variables

Returns: All state variables that occur in the object x

void mcrl2::state_formulas::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::state_formulas::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::state_formulas::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::state_formulas::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::state_formulas::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::state_formulas::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::state_formulas::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::state_formulas::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::state_formulas::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::state_formulas::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

std::set<core::identifier_string> mcrl2::state_formulas::find_state_variable_names(const state_formula &x)

Returns the names of the state variables that occur in x.

Parameters:

• x A state formula
void mcrl2::state_formulas::find_state_variables(const T &x, OutputIterator o)

Returns all state variables that occur in an object.

Parameters:

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

Returns: All variables that occur in the term x

std::set<state_formulas::variable> mcrl2::state_formulas::find_state_variables(const T &x)

Returns all state variables that occur in an object.

Parameters:

• x an object containing variables

Returns: All state variables that occur in the object x

## Functions¶

find_free_state_variables_traverser<Traverser, Binder, OutputIterator> mcrl2::state_formulas::detail::make_find_free_state_variables_traverser(OutputIterator out)
find_free_state_variables_traverser<Traverser, Binder, OutputIterator> mcrl2::state_formulas::detail::make_find_free_state_variables_traverser(OutputIterator out, const VariableContainer &v)
find_state_variables_traverser<Traverser, OutputIterator> mcrl2::state_formulas::detail::make_find_state_variables_traverser(OutputIterator out)