mCRL2
|
#include <replace_capture_avoiding.h>
Public Types | |
typedef Binder< Builder, replace_capture_avoiding_variables_builder< Builder, Binder, Substitution >, Substitution > | super |
Public Member Functions | |
replace_capture_avoiding_variables_builder (capture_avoiding_substitution_updater< Substitution > &sigma) | |
Definition at line 107 of file replace_capture_avoiding.h.
typedef Binder<Builder, replace_capture_avoiding_variables_builder<Builder, Binder, Substitution>, Substitution> mcrl2::data::detail::replace_capture_avoiding_variables_builder< Builder, Binder, Substitution >::super |
Definition at line 109 of file replace_capture_avoiding.h.
|
inlineexplicit |
Definition at line 115 of file replace_capture_avoiding.h.