mCRL2
|
#include <lpsparunfoldlib.h>
Public Types | |
typedef Binder< Builder, parunfold_replacement< Builder, Binder >, parunfold_replacement< Builder, Binder > > | super |
Public Member Functions | |
parunfold_replacement (const lpsparunfold::case_func_replacement &case_funcs, data::set_identifier_generator &id_generator) | |
template<class T > | |
void | apply (T &result, const data::application &x) |
void | apply_case_function (data::data_expression &result, const data::application &expr) |
data::data_expression | operator() (const data::variable &x) |
Public Attributes | |
data::detail::capture_avoiding_substitution_updater< parunfold_replacement< Builder, Binder > > | sigma1 |
lpsparunfold::case_func_replacement | case_funcs |
data::data_expression | current_replacement |
Definition at line 666 of file lpsparunfoldlib.h.
typedef Binder<Builder, parunfold_replacement<Builder, Binder>, parunfold_replacement<Builder, Binder> > mcrl2::lps::parunfold_replacement< Builder, Binder >::super |
Definition at line 669 of file lpsparunfoldlib.h.
|
inline |
Definition at line 679 of file lpsparunfoldlib.h.
|
inline |
Definition at line 688 of file lpsparunfoldlib.h.
|
inline |
Definition at line 702 of file lpsparunfoldlib.h.
|
inline |
Definition at line 737 of file lpsparunfoldlib.h.
lpsparunfold::case_func_replacement mcrl2::lps::parunfold_replacement< Builder, Binder >::case_funcs |
Definition at line 676 of file lpsparunfoldlib.h.
data::data_expression mcrl2::lps::parunfold_replacement< Builder, Binder >::current_replacement |
Definition at line 677 of file lpsparunfoldlib.h.
data::detail::capture_avoiding_substitution_updater<parunfold_replacement<Builder, Binder> > mcrl2::lps::parunfold_replacement< Builder, Binder >::sigma1 |
Definition at line 675 of file lpsparunfoldlib.h.