.. _bdd_expression.h:
  
mcrl2/bes/bdd_expression.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/bes/bdd_expression.h"

add your file description here. 




Classes
-------

* :cpp:class:`mcrl2::bdd::bdd_expression`

* :cpp:class:`mcrl2::bdd::false_`

* :cpp:class:`mcrl2::bdd::if_`

* :cpp:class:`mcrl2::bdd::true_`

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

.. cpp:type:: mcrl2::bdd::bdd_expression_list

  typedef for :cpp:type:`atermpp::term_list\< bdd_expression >`
  
  list of bdd_expressions 

  

.. cpp:type:: mcrl2::bdd::bdd_expression_vector

  typedef for :cpp:type:`std::vector\< bdd_expression >`
  
  vector of bdd_expressions 

  

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

.. cpp:function:: bool mcrl2::bdd::is_bdd_expression(const atermpp::aterm_appl &x)
  
  Test for a bdd_expression expression. 

  
  
  **Parameters:**

  * **x** A term 


      
  **Returns:** True if x is a bdd_expression expression 

.. cpp:function:: bool is_false(const atermpp::aterm_appl &x)
  
  Test for a false expression. 

  
  
  **Parameters:**

  * **x** A term 


      
  **Returns:** True if x is a false expression 

.. cpp:function:: bool is_if(const atermpp::aterm_appl &x)
  
  Test for a if expression. 

  
  
  **Parameters:**

  * **x** A term 


      
  **Returns:** True if x is a if expression 

.. cpp:function:: bool is_true(const atermpp::aterm_appl &x)
  
  Test for a true expression. 

  
  
  **Parameters:**

  * **x** A term 


      
  **Returns:** True if x is a true expression 

.. cpp:function:: std::ostream& mcrl2::bdd::operator<<(std::ostream &out, const bdd_expression &x)
  
  Outputs the object to a stream. 

  
  
  **Parameters:**

  * **out** An output stream 

  * **x** Object x 


      
  **Returns:** The output stream 

.. cpp:function:: std::ostream& mcrl2::bdd::operator<<(std::ostream &out, const true_ &x)
  
  Outputs the object to a stream. 

  
  
  **Parameters:**

  * **out** An output stream 

  * **x** Object x 


      
  **Returns:** The output stream 

.. cpp:function:: std::ostream& mcrl2::bdd::operator<<(std::ostream &out, const false_ &x)
  
  Outputs the object to a stream. 

  
  
  **Parameters:**

  * **out** An output stream 

  * **x** Object x 


      
  **Returns:** The output stream 

.. cpp:function:: std::ostream& mcrl2::bdd::operator<<(std::ostream &out, const if_ &x)
  
  Outputs the object to a stream. 

  
  
  **Parameters:**

  * **out** An output stream 

  * **x** Object x 


      
  **Returns:** The output stream 

.. cpp:function:: std::string pp(const bdd_expression &x)
  
  

  

.. cpp:function:: std::string pp(const true_ &x)
  
  

  

.. cpp:function:: std::string pp(const false_ &x)
  
  

  

.. cpp:function:: std::string pp(const if_ &x)
  
  

  

.. cpp:function:: void mcrl2::bdd::swap(bdd_expression &t1, bdd_expression &t2)
  
  swap overload 

  

.. cpp:function:: void mcrl2::bdd::swap(true_ &t1, true_ &t2)
  
  swap overload 

  

.. cpp:function:: void mcrl2::bdd::swap(false_ &t1, false_ &t2)
  
  swap overload 

  

.. cpp:function:: void mcrl2::bdd::swap(if_ &t1, if_ &t2)
  
  swap overload