.. _find.h: mcrl2/modal_formula/find.h =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/modal_formula/find.h" add your file description here. Classes ------- * :cpp:class:`mcrl2::state_formulas::detail::find_free_state_variables_traverser` * :cpp:class:`mcrl2::state_formulas::detail::find_state_variables_traverser` * :cpp:class:`mcrl2::state_formulas::detail::state_variable_name_traverser` Functions ------------------------------------------------------------------------------- .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 Functions ------------------------------------------------------------------------------- .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 Functions ------------------------------------------------------------------------------- .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 .. cpp:function:: std::set 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 .. cpp:function:: std::set 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 .. cpp:function:: 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 Functions ------------------------------------------------------------------------------- .. cpp:function:: find_free_state_variables_traverser mcrl2::state_formulas::detail::make_find_free_state_variables_traverser(OutputIterator out) .. cpp:function:: find_free_state_variables_traverser mcrl2::state_formulas::detail::make_find_free_state_variables_traverser(OutputIterator out, const VariableContainer &v) .. cpp:function:: find_state_variables_traverser mcrl2::state_formulas::detail::make_find_state_variables_traverser(OutputIterator out)