.. _find.h:
  
mcrl2/bes/find.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/bes/find.h"

add your file description here. 




Classes
-------

* :cpp:class:`mcrl2::bes::detail::find_boolean_variables_traverser`

Functions
-------------------------------------------------------------------------------

.. cpp:function:: void mcrl2::bes::find_boolean_variables(Container const &container, OutputIterator o)
  
  Returns all boolean variables that occur in a range of expressions. 

  
  
  **Parameters:**

  * **container** a container with expressions 

  * **o** an output iterator to which all variables occurring in t are added. 


      
  **Returns:** All variables that occur in the term t 

.. cpp:function:: std::set<boolean_variable> mcrl2::bes::find_boolean_variables(Container const &container)
  
  Returns all variables that occur in a range of expressions. 

  
  
  **Parameters:**

  * **container** a container with expressions 


      
  **Returns:** All variables that occur in the term t 

.. cpp:function:: bool mcrl2::bes::search_boolean_variable(Container const &container, const boolean_variable &v)
  
  Returns true if the term has a given boolean variable as subterm. 

  
  
  **Parameters:**

  * **container** an expression or container with expressions 

  * **v** a boolean variable 


      
  **Returns:** True if the term has a given boolean variable as subterm. 

Functions
-------------------------------------------------------------------------------

.. cpp:function:: find_boolean_variables_traverser<Traverser, OutputIterator> mcrl2::bes::detail::make_find_boolean_variables_traverser(OutputIterator out)