mCRL2
|
#include <replace_capture_avoiding_with_an_identifier_generator.h>
Public Types | |
typedef data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator > | super |
![]() | |
typedef Builder< Derived > | super |
Public Member Functions | |
template<class T > | |
void | apply (T &result, const forall &x) |
template<class T > | |
void | apply (T &result, const exists &x) |
void | update (pbes_equation &x) |
void | update (pbes &x) |
add_capture_avoiding_replacement_with_an_identifier_generator (Substitution &sigma, IdentifierGenerator &id_generator) | |
template<class T > | |
void | apply (T &result, const variable &v) |
template<class T > | |
void | apply (T &result, const data::where_clause &x) |
template<class T > | |
void | apply (T &result, const data::forall &x) |
template<class T > | |
void | apply (T &result, const data::exists &x) |
template<class T > | |
void | apply (T &result, const data::lambda &x) |
template<class T > | |
void | apply (T &, data_equation &) |
![]() | |
add_capture_avoiding_replacement_with_an_identifier_generator (Substitution &sigma_, IdentifierGenerator &id_generator_) | |
template<class T > | |
void | apply (T &result, const variable &v) |
template<class T > | |
void | apply (T &result, const data::where_clause &x) |
template<class T > | |
void | apply (T &result, const data::forall &x) |
template<class T > | |
void | apply (T &result, const data::exists &x) |
template<class T > | |
void | apply (T &result, const data::lambda &x) |
template<class T > | |
void | apply (T &, data_equation &) |
Public Attributes | |
substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > | update_sigma |
Additional Inherited Members | |
![]() | |
substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > | update_sigma |
Definition at line 28 of file replace_capture_avoiding_with_an_identifier_generator.h.
typedef data::detail::add_capture_avoiding_replacement_with_an_identifier_generator<Builder, Derived, Substitution, IdentifierGenerator> mcrl2::pbes_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::super |
Definition at line 31 of file replace_capture_avoiding_with_an_identifier_generator.h.
|
inline |
Definition at line 76 of file replace_capture_avoiding_with_an_identifier_generator.h.
|
inline |
Definition at line 242 of file replace_capture_avoiding_with_an_identifier_generator.h.
|
inline |
Definition at line 222 of file replace_capture_avoiding_with_an_identifier_generator.h.
|
inline |
Definition at line 212 of file replace_capture_avoiding_with_an_identifier_generator.h.
|
inline |
Definition at line 232 of file replace_capture_avoiding_with_an_identifier_generator.h.
|
inline |
Definition at line 184 of file replace_capture_avoiding_with_an_identifier_generator.h.
|
inline |
Definition at line 49 of file replace_capture_avoiding_with_an_identifier_generator.h.
|
inline |
Definition at line 39 of file replace_capture_avoiding_with_an_identifier_generator.h.
|
inline |
Definition at line 178 of file replace_capture_avoiding_with_an_identifier_generator.h.
|
inline |
Definition at line 68 of file replace_capture_avoiding_with_an_identifier_generator.h.
|
inline |
Definition at line 58 of file replace_capture_avoiding_with_an_identifier_generator.h.
substitution_updater_with_an_identifier_generator<Substitution, IdentifierGenerator> mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::update_sigma |
Definition at line 168 of file replace_capture_avoiding_with_an_identifier_generator.h.