mCRL2
|
#include <algorithm.h>
Public Types | |
typedef Builder< bottom_up_replace_aterm_builder< Builder, ReplaceFunction > > | super |
Public Member Functions | |
bottom_up_replace_aterm_builder (ReplaceFunction f_) | |
template<class T > | |
void | apply (T &result, const aterm &x) |
Public Attributes | |
ReplaceFunction | f |
Definition at line 101 of file algorithm.h.
typedef Builder<bottom_up_replace_aterm_builder<Builder, ReplaceFunction> > atermpp::detail::bottom_up_replace_aterm_builder< Builder, ReplaceFunction >::super |
Definition at line 103 of file algorithm.h.
|
inline |
Definition at line 111 of file algorithm.h.
|
inline |
Definition at line 116 of file algorithm.h.
ReplaceFunction atermpp::detail::bottom_up_replace_aterm_builder< Builder, ReplaceFunction >::f |
Definition at line 109 of file algorithm.h.