mCRL2
|
#include <replace_capture_avoiding.h>
Public Types | |
typedef Builder< Derived > | super |
Public Member Functions | |
add_capture_avoiding_replacement (capture_avoiding_substitution_updater< Substitution > &sigma_) | |
template<class T > | |
void | apply (atermpp::term_list< T > &result, const assignment_list &x) |
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 | |
capture_avoiding_substitution_updater< Substitution > & | sigma |
Definition at line 128 of file replace_capture_avoiding.h.
typedef Builder<Derived> mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::super |
Definition at line 130 of file replace_capture_avoiding.h.
|
inlineexplicit |
Definition at line 138 of file replace_capture_avoiding.h.
|
inline |
Definition at line 144 of file replace_capture_avoiding.h.
|
inline |
Definition at line 224 of file replace_capture_avoiding.h.
|
inline |
Definition at line 204 of file replace_capture_avoiding.h.
|
inline |
Definition at line 194 of file replace_capture_avoiding.h.
|
inline |
Definition at line 214 of file replace_capture_avoiding.h.
|
inline |
Definition at line 163 of file replace_capture_avoiding.h.
|
inline |
Definition at line 157 of file replace_capture_avoiding.h.
capture_avoiding_substitution_updater<Substitution>& mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::sigma |
Definition at line 136 of file replace_capture_avoiding.h.