.. _bdd_operations.h:
  
mcrl2/bes/bdd_operations.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/bes/bdd_operations.h"

Operations on BDDs. 



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

.. cpp:function:: bdd_expression mcrl2::bdd::ordered_and(const bdd_expression &l, const bdd_expression &r)
  
  

  

.. cpp:function:: bdd_expression mcrl2::bdd::ordered_or(const bdd_expression &l, const bdd_expression &r)