.. _rewrite.h:
  
mcrl2/data/rewrite.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/data/rewrite.h"

add your file description here. 




Classes
-------

* :cpp:class:`mcrl2::data::detail::rewrite_data_expressions_builder`

* :cpp:class:`mcrl2::data::detail::rewrite_data_expressions_with_substitution_builder`

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

.. cpp:function:: T mcrl2::data::rewrite(const T &x, Rewriter R, const Substitution &sigma, typename std::enable_if< std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
  
  

  \brief Rewrites all embedded expressions in an object x, and applies a substitution to variables on the fly \param x an object containing expressions \param R a rewriter \param sigma a substitution \return the rewrite result 

.. cpp:function:: T mcrl2::data::rewrite(const T &x, Rewriter R, typename std::enable_if< std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
  
  

  \brief Rewrites all embedded expressions in an object x \param x an object containing expressions \param R a rewriter \return the rewrite result 

.. cpp:function:: void mcrl2::data::rewrite(T &x, Rewriter R, const Substitution &sigma, typename std::enable_if<!std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
  
  

  \brief Rewrites all embedded expressions in an object x, and applies a substitution to variables on the fly \param x an object containing expressions \param R a rewriter \param sigma a substitution 

.. cpp:function:: void mcrl2::data::rewrite(T &x, Rewriter R, typename std::enable_if<!std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
  
  

  \brief Rewrites all embedded expressions in an object x \param x an object containing expressions \param R a rewriter 

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

.. cpp:function:: rewrite_data_expressions_builder<Builder, Rewriter> mcrl2::data::detail::make_rewrite_data_expressions_builder(Rewriter R)
  
  

  

.. cpp:function:: rewrite_data_expressions_with_substitution_builder<Builder, Rewriter, Substitution> mcrl2::data::detail::make_rewrite_data_expressions_with_substitution_builder(Rewriter R, Substitution sigma)