mCRL2
Loading...
Searching...
No Matches
jittycpreamble.h File Reference

Go to the source code of this file.

Classes

class  term_not_in_normal_form
 
class  delayed_abstraction< TERM_TO_BE_REWRITTEN >
 
struct  rewrite_functor
 

Typedefs

typedef void(* rewriter_function) (data_expression &, const application &, RewriterCompilingJitty *)
 

Functions

MCRL2_EXPORT bool init (rewriter_interface *i, RewriterCompilingJitty *this_rewriter)
 
template<class REWRITE_TERM >
static data_expressionlocal_rewrite (const REWRITE_TERM &t)
 
template<class REWRITE_TERM >
static void local_rewrite (data_expression &result, const REWRITE_TERM &t)
 
static const data_expressionlocal_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 ()
 

Typedef Documentation

◆ rewriter_function

typedef void(* rewriter_function) (data_expression &, const application &, RewriterCompilingJitty *)

Definition at line 89 of file jittycpreamble.h.

Function Documentation

◆ get_index()

static std::size_t get_index ( const function_symbol func)
inlinestatic

Definition at line 187 of file jittycpreamble.h.

◆ get_precompiled_rewrite_function()

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 
)
inlinestatic

Definition at line 209 of file jittycpreamble.h.

◆ init()

bool init ( rewriter_interface *  i,
RewriterCompilingJitty *  this_rewriter 
)

Definition at line 415 of file jittycpreamble.h.

◆ jittyc_local_push_front()

static assignment_expression_list jittyc_local_push_front ( assignment_expression_list  l,
const assignment e 
)
inlinestatic

Definition at line 180 of file jittycpreamble.h.

◆ local_rewrite() [1/4]

static const data_expression & local_rewrite ( const data_expression t)
static

Definition at line 45 of file jittycpreamble.h.

◆ local_rewrite() [2/4]

template<class REWRITE_TERM >
static data_expression & local_rewrite ( const REWRITE_TERM &  t)
static

Definition at line 34 of file jittycpreamble.h.

◆ local_rewrite() [3/4]

static void local_rewrite ( data_expression result,
const data_expression t 
)
static

Definition at line 50 of file jittycpreamble.h.

◆ local_rewrite() [4/4]

template<class REWRITE_TERM >
static void local_rewrite ( data_expression result,
const REWRITE_TERM &  t 
)
static

Definition at line 40 of file jittycpreamble.h.

◆ pass_on()

static void pass_on ( data_expression result,
const data_expression t 
)
inlinestatic

Definition at line 174 of file jittycpreamble.h.

◆ rewrite()

static void rewrite ( data_expression result,
const data_expression t,
RewriterCompilingJitty *  this_rewriter 
)
static

Definition at line 80 of file jittycpreamble.h.

◆ rewrite_abstraction_aux()

static void rewrite_abstraction_aux ( data_expression result,
const abstraction a,
const data_expression t,
RewriterCompilingJitty *  this_rewriter 
)
inlinestatic

Definition at line 232 of file jittycpreamble.h.

◆ rewrite_appl_aux()

static void rewrite_appl_aux ( data_expression result,
const application t,
RewriterCompilingJitty *  this_rewriter 
)
inlinestatic

Definition at line 255 of file jittycpreamble.h.

◆ rewrite_aux()

template<bool ARGUMENTS_IN_NORMAL_FORM>
static void rewrite_aux ( data_expression result,
const data_expression t,
RewriterCompilingJitty *  this_rewriter 
)
inlinestatic

Definition at line 323 of file jittycpreamble.h.

◆ rewrite_cleanup()

static void rewrite_cleanup ( )
static

Definition at line 411 of file jittycpreamble.h.

◆ rewrite_with_arguments_in_normal_form() [1/2]

static data_expression rewrite_with_arguments_in_normal_form ( const data_expression t,
RewriterCompilingJitty *  this_rewriter 
)
static

Definition at line 73 of file jittycpreamble.h.

◆ rewrite_with_arguments_in_normal_form() [2/2]

static void rewrite_with_arguments_in_normal_form ( data_expression result,
const data_expression t,
RewriterCompilingJitty *  this_rewriter 
)
static

Definition at line 64 of file jittycpreamble.h.

◆ set_the_precompiled_rewrite_functions_in_a_lookup_table()

static void set_the_precompiled_rewrite_functions_in_a_lookup_table ( RewriterCompilingJitty *  this_rewriter)
static

◆ sigma()

static RewriterCompilingJitty::substitution_type & sigma ( RewriterCompilingJitty *  this_rewriter)
inlinestatic

Definition at line 193 of file jittycpreamble.h.

◆ uint_address()

static uintptr_t uint_address ( const atermpp::aterm t)
inlinestatic

Definition at line 199 of file jittycpreamble.h.