mCRL2
|
#include <jittycpreamble.h>
Public Member Functions | |
rewrite_functor (RewriterCompilingJitty *tr) | |
data_expression | operator() (const data_expression &arg) const |
Public Attributes | |
RewriterCompilingJitty * | this_rewriter |
Definition at line 154 of file jittycpreamble.h.
|
inline |
Definition at line 158 of file jittycpreamble.h.
|
inline |
Definition at line 162 of file jittycpreamble.h.
RewriterCompilingJitty* rewrite_functor::this_rewriter |
Definition at line 156 of file jittycpreamble.h.