.. _replace_capture_avoiding.h:
  
mcrl2/data/replace_capture_avoiding.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/data/replace_capture_avoiding.h"

add your file description here. 




Classes
-------

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

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

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

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

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

  \brief Applies sigma as a capture avoiding substitution to x. \param x The object to which the substiution is applied. \param sigma A substitution. \param id_generator An identifier generator that generates names that do not appear in x and sigma 

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

  \brief Applies sigma as a capture avoiding substitution to x. \param x The object to which the substiution is applied. \param sigma A substitution. 

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

  \brief Applies sigma as a capture avoiding substitution to x. \param x The object to which the subsitution is applied. \param sigma A substitution. \param id_generator An identifier generator that generates names that do not appear in x and sigma 

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

  \brief Applies sigma as a capture avoiding substitution to x. \param x The object to which the subsitution is applied. \param sigma A substitution. 

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

.. cpp:function:: replace_capture_avoiding_variables_builder<Builder, Binder, Substitution> mcrl2::data::detail::apply_replace_capture_avoiding_variables_builder(capture_avoiding_substitution_updater< Substitution > &sigma)
  
  

  

.. cpp:function:: std::ostream& mcrl2::data::detail::operator<<(std::ostream &out, const capture_avoiding_substitution_updater< Substitution > &sigma)