.. _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<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 

.. 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<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 

.. 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<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 

.. cpp:function:: 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 

.. 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<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 

.. 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<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 

.. 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<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 

.. 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<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 

.. 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<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 

.. cpp:function:: 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 

.. 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<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 

.. 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<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 

.. 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<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 

.. 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<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 

.. 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<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 

.. 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<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 

.. 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<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 

.. cpp:function:: 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 

.. 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<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 

.. 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<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 

.. 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<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 



.. cpp:function:: 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 

.. 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<Traverser, Binder, OutputIterator> mcrl2::state_formulas::detail::make_find_free_state_variables_traverser(OutputIterator out)
  
  

  

.. cpp:function:: find_free_state_variables_traverser<Traverser, Binder, OutputIterator> mcrl2::state_formulas::detail::make_find_free_state_variables_traverser(OutputIterator out, const VariableContainer &v)
  
  

  

.. cpp:function:: find_state_variables_traverser<Traverser, OutputIterator> mcrl2::state_formulas::detail::make_find_state_variables_traverser(OutputIterator out)