.. _normal_forms.h:
  
mcrl2/bes/normal_forms.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/bes/normal_forms.h"

add your file description here. 




Classes
-------

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

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

.. cpp:function:: void mcrl2::bes::make_standard_form(boolean_equation_system &eqn, bool recursive_form=false)
  
  Transforms a BES into standard form. 

  
  
  **Parameters:**

  * **eqn** A boolean equation system 

  * **recursive_form** Determines whether or not the result will be in standard recursive normal form 



Enumerated types
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::bes::detail::standard_form_type

  **Values:**

    * **standard_form_both** 

  * **standard_form_and** 

  * **standard_form_or** 


  
  

  

Typedefs
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::bes::detail::standard_form_pair

  typedef for :cpp:type:`std::pair\< boolean_expression, standard_form_type >`