mcrl2::data::detail::substitution_updater_with_an_identifier_generator

Include file:

#include "mcrl2/data/replace_capture_avoiding_with_an_identifier_generator.h

class mcrl2::data::detail::substitution_updater_with_an_identifier_generator

Protected attributes

IdentifierGenerator &mcrl2::data::detail::substitution_updater_with_an_identifier_generator::m_id_generator

Substitution &mcrl2::data::detail::substitution_updater_with_an_identifier_generator::m_sigma

std::vector<data::assignment> mcrl2::data::detail::substitution_updater_with_an_identifier_generator::m_undo

Public member functions

data::variable bind(const data::variable &v)

void pop(const data::variable&)

void pop(const VariableContainer &container)

data::variable push(const data::variable &v)

VariableContainer push(const VariableContainer &container)

Substitution &substitution()

substitution_updater_with_an_identifier_generator(Substitution &sigma, IdentifierGenerator &id_generator)