mcrl2::data::detail::substitution_updater_with_an_identifier_generator
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/data/replace_capture_avoiding_with_an_identifier_generator.h

.. cpp:class:: mcrl2::data::detail::substitution_updater_with_an_identifier_generator

  

  

Protected attributes
-------------------------------------------------------------------------------

.. cpp:member:: IdentifierGenerator & mcrl2::data::detail::substitution_updater_with_an_identifier_generator::m_id_generator
  
  

  

.. cpp:member:: Substitution & mcrl2::data::detail::substitution_updater_with_an_identifier_generator::m_sigma
  
  

  

.. cpp:member:: std::vector< data::assignment > mcrl2::data::detail::substitution_updater_with_an_identifier_generator::m_undo
  
  

  

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: data::variable bind(const data::variable &v)
  
  

  

.. cpp:function:: void pop(const data::variable &)
  
  

  

.. cpp:function:: void pop(const VariableContainer &container)
  
  

  

.. cpp:function:: data::variable push(const data::variable &v)
  
  

  

.. cpp:function:: VariableContainer push(const VariableContainer &container)
  
  

  

.. cpp:function:: Substitution& substitution()
  
  

  

.. cpp:function:: substitution_updater_with_an_identifier_generator(Substitution &sigma, IdentifierGenerator &id_generator)