.. _bes2pbes.h:
  
mcrl2/bes/bes2pbes.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/bes/bes2pbes.h"

Contains functions to transfrom a BES into a PBES. 



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

.. cpp:function:: pbes_system::pbes_equation mcrl2::bes::bes2pbes(const boolean_equation &eq)
  
  Converts a boolean equation into a PBES equation. 

  
  
  **Parameters:**

  * **eq** A boolean equation 



.. cpp:function:: pbes_system::pbes mcrl2::bes::bes2pbes(const boolean_equation_system &x)
  
  Converts a BES into a PBES. 

  
  
  **Parameters:**

  * **x** A boolean expression 



.. cpp:function:: pbes_system::pbes_expression mcrl2::bes::bes2pbes(const boolean_expression &x)
  
  Converts a boolean expression into a PBES expression. 

  
  
  **Parameters:**

  * **x** A boolean expression 



.. cpp:function:: pbes_system::propositional_variable_instantiation mcrl2::bes::bes2pbes(const boolean_variable &v)
  
  Converts a boolean variable into a propositional variable. 

  
  
  **Parameters:**

  * **v** A boolean variable