.. _replace.h:
  
mcrl2/bes/replace.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/bes/replace.h"

add your file description here. 




Classes
-------

* :cpp:class:`mcrl2::bes::boolean_variable_substitution`

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

.. cpp:function:: T mcrl2::bes::replace_all_boolean_variables(const T &x, Substitution sigma, typename std::enable_if< std::is_base_of< atermpp::aterm, T >::value >::type *=0)
  
  

  

.. cpp:function:: void mcrl2::bes::replace_all_boolean_variables(T &x, Substitution sigma, typename std::enable_if< !std::is_base_of< atermpp::aterm, T >::value >::type *=0)
  
  

  

.. cpp:function:: boolean_expression mcrl2::bes::replace_boolean_variables(const boolean_expression &x, Substitution sigma)
  
  Applies the substitution X := phi to the boolean expression t. 

  
  
  **Parameters:**

  * **x** A boolean variable 

  * **sigma** A substitution 


      
  **Returns:** The result of the substitution.