mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > Class Template Reference

#include <replace_capture_avoiding_with_an_identifier_generator.h>

Public Member Functions
	substitution_updater_with_an_identifier_generator (Substitution &sigma, IdentifierGenerator &id_generator)
Substitution &	substitution ()
data::variable	bind (const data::variable &v)
data::variable	push (const data::variable &v)
void	pop (const data::variable &)
template<typename VariableContainer >
VariableContainer	push (const VariableContainer &container)
template<typename VariableContainer >
void	pop (const VariableContainer &container)

Protected Attributes
Substitution &	m_sigma
IdentifierGenerator &	m_id_generator
std::vector< saved_assignment >	m_undo

Private Types
using	saved_assignment = std::pair< variable, data_expression >

Detailed Description

template<typename Substitution, typename IdentifierGenerator>
class mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >

Definition at line 28 of file replace_capture_avoiding_with_an_identifier_generator.h.

Member Typedef Documentation

saved_assignment

template<typename Substitution , typename IdentifierGenerator >

using mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >::saved_assignment = std::pair<variable,data_expression>

private

Definition at line 30 of file replace_capture_avoiding_with_an_identifier_generator.h.

Constructor & Destructor Documentation

substitution_updater_with_an_identifier_generator()

template<typename Substitution , typename IdentifierGenerator >

mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >::substitution_updater_with_an_identifier_generator ( Substitution &  sigma, IdentifierGenerator &  id_generator  )

inline

Definition at line 37 of file replace_capture_avoiding_with_an_identifier_generator.h.

Member Function Documentation

bind()

template<typename Substitution , typename IdentifierGenerator >

data::variable mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >::bind ( const data::variable &  v )

inline

Definition at line 46 of file replace_capture_avoiding_with_an_identifier_generator.h.

pop() [1/2]

template<typename Substitution , typename IdentifierGenerator >

void mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >::pop ( const data::variable &  )

inline

Definition at line 74 of file replace_capture_avoiding_with_an_identifier_generator.h.

pop() [2/2]

template<typename Substitution , typename IdentifierGenerator >

template<typename VariableContainer >

void mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >::pop ( const VariableContainer &  container )

inline

Definition at line 96 of file replace_capture_avoiding_with_an_identifier_generator.h.

push() [1/2]

template<typename Substitution , typename IdentifierGenerator >

data::variable mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >::push ( const data::variable &  v )

inline

Definition at line 69 of file replace_capture_avoiding_with_an_identifier_generator.h.

push() [2/2]

template<typename Substitution , typename IdentifierGenerator >

template<typename VariableContainer >

VariableContainer mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >::push ( const VariableContainer &  container )

inline

Definition at line 85 of file replace_capture_avoiding_with_an_identifier_generator.h.

substitution()

template<typename Substitution , typename IdentifierGenerator >

Substitution & mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >::substitution ( )

inline

Definition at line 41 of file replace_capture_avoiding_with_an_identifier_generator.h.

Member Data Documentation

m_id_generator

template<typename Substitution , typename IdentifierGenerator >

IdentifierGenerator& mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >::m_id_generator

protected

Definition at line 33 of file replace_capture_avoiding_with_an_identifier_generator.h.

m_sigma

template<typename Substitution , typename IdentifierGenerator >

Substitution& mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >::m_sigma

protected

Definition at line 32 of file replace_capture_avoiding_with_an_identifier_generator.h.

m_undo

template<typename Substitution , typename IdentifierGenerator >

std::vector<saved_assignment> mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >::m_undo

protected

Definition at line 34 of file replace_capture_avoiding_with_an_identifier_generator.h.

---

The documentation for this class was generated from the following file:

• data/include/mcrl2/data/replace_capture_avoiding_with_an_identifier_generator.h