mCRL2
|
#include <replace_capture_avoiding.h>
Public Member Functions | |
capture_avoiding_substitution_updater (Substitution &sigma_, data::set_identifier_generator &id_generator_) | |
variable | add_fresh_variable_assignment (const variable &v) |
void | remove_fresh_variable_assignment (const variable &v) |
template<typename VariableContainer > | |
variable_list | add_fresh_variable_assignments (const VariableContainer &variables) |
template<typename VariableContainer > | |
void | remove_fresh_variable_assignments (const VariableContainer &variables) |
data_expression | operator() (const variable &x) |
Public Attributes | |
Substitution & | sigma |
data::set_identifier_generator & | id_generator |
std::map< variable, std::list< variable > > | updates |
Definition at line 27 of file replace_capture_avoiding.h.
|
inline |
Definition at line 33 of file replace_capture_avoiding.h.
|
inline |
Definition at line 38 of file replace_capture_avoiding.h.
|
inline |
Definition at line 59 of file replace_capture_avoiding.h.
|
inline |
Definition at line 81 of file replace_capture_avoiding.h.
|
inline |
Definition at line 46 of file replace_capture_avoiding.h.
|
inline |
Definition at line 73 of file replace_capture_avoiding.h.
data::set_identifier_generator& mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution >::id_generator |
Definition at line 30 of file replace_capture_avoiding.h.
Substitution& mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution >::sigma |
Definition at line 29 of file replace_capture_avoiding.h.
std::map<variable, std::list<variable> > mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution >::updates |
Definition at line 31 of file replace_capture_avoiding.h.