|
MCRL2_EXPORT bool | init (rewriter_interface *i, RewriterCompilingJitty *this_rewriter) |
|
template<class REWRITE_TERM > |
static data_expression & | local_rewrite (const REWRITE_TERM &t) |
|
template<class REWRITE_TERM > |
static void | local_rewrite (data_expression &result, const REWRITE_TERM &t) |
|
static const data_expression & | local_rewrite (const data_expression &t) |
|
static void | local_rewrite (data_expression &result, const data_expression &t) |
|
static void | set_the_precompiled_rewrite_functions_in_a_lookup_table (RewriterCompilingJitty *this_rewriter) |
|
template<bool ARGUMENTS_IN_NORMAL_FORM> |
static void | rewrite_aux (data_expression &result, const data_expression &t, RewriterCompilingJitty *this_rewriter) |
|
static void | rewrite_abstraction_aux (data_expression &result, const abstraction &a, const data_expression &t, RewriterCompilingJitty *this_rewriter) |
|
static void | rewrite_with_arguments_in_normal_form (data_expression &result, const data_expression &t, RewriterCompilingJitty *this_rewriter) |
|
static data_expression | rewrite_with_arguments_in_normal_form (const data_expression &t, RewriterCompilingJitty *this_rewriter) |
|
static void | rewrite (data_expression &result, const data_expression &t, RewriterCompilingJitty *this_rewriter) |
|
static void | pass_on (data_expression &result, const data_expression &t) |
|
static assignment_expression_list | jittyc_local_push_front (assignment_expression_list l, const assignment &e) |
|
static std::size_t | get_index (const function_symbol &func) |
|
static RewriterCompilingJitty::substitution_type & | sigma (RewriterCompilingJitty *this_rewriter) |
|
static uintptr_t | uint_address (const atermpp::aterm &t) |
|
template<bool ARGUMENTS_IN_NORMAL_FORM> |
static rewriter_function | get_precompiled_rewrite_function (const function_symbol &f, const std::size_t arity, RewriterCompilingJitty *this_rewriter) |
|
static void | rewrite_appl_aux (data_expression &result, const application &t, RewriterCompilingJitty *this_rewriter) |
|
static void | rewrite_cleanup () |
|