.. _to_bdd.h:
  
mcrl2/bes/to_bdd.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/bes/to_bdd.h"

Convert a BES to BDD. 



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

.. cpp:function:: bool mcrl2::bes::bdd_equal(const boolean_expression &x, const boolean_expression &y)
  
  

  

.. cpp:function:: static mcrl2::bdd::bdd_expression mcrl2::bes::to_bdd(const boolean_expression &b)