mCRL2
Loading...
Searching...
No Matches
mcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > Member List

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_generatormcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >protected
m_sigmamcrl2::data::detail::substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >protected
m_undomcrl2::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