This is the complete list of members for mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >, including all inherited members.
bind(const data::variable &v) | mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > | inline |
m_id_generator | mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > | protected |
m_sigma | mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > | protected |
m_undo | mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > | protected |
pop(const data::variable &) | mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > | inline |
pop(const VariableContainer &container) | mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > | inline |
push(const data::variable &v) | mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > | inline |
push(const VariableContainer &container) | mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > | inline |
substitution() | mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > | inline |
substitution_updater_with_an_identifier_generator(Substitution &sigma, IdentifierGenerator &id_generator) | mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > | inline |