B | |
Basic_alloc | |
Basic_blocks | string_of_typ t returns a name generated from the given t .
|
C | |
Calloc | |
E | |
Enabled [Instantiator_builder.Instantiator] |
Plugin option that allows to check whether the instantiator is enabled.
|
Enabled [Options] |
Instantiate transformation enabled
|
F | |
Free | |
G | |
Global_context |
The purpose of this module global definitions when it is needed by
instantiation modules.
|
Global_context [Instantiate] | |
H | |
Hashtbl [Instantiator_builder.Generator_sig] | Hashtbl module used by the Make_instantiator module to generate the
function cache.
|
Hashtbl [Instantiate.Instantiator_builder.Generator_sig] | Hashtbl module used by the Make_instantiator module to generate the
function cache.
|
I | |
Instantiate |
Builds a
Instantiator module (used by Transform ) from a Generator_sig
|
Instantiator_builder |
Builds a
Instantiator module (used by Transform ) from a Generator_sig
|
Instantiator_builder [Instantiate] | |
K | |
Key [Datatype.Hashtbl] |
Datatype for the keys of the hashtbl.
|
Kfs [Options] |
Set of kernel function provided for transformation
|
M | |
Make [Mem_utils] | |
Make [Datatype.Hashtbl] |
Build a datatype of the hashtbl according to the datatype of values in the
hashtbl.
|
Make_instantiator [Instantiator_builder] |
Generates a
Instantiator from a Generator_sig adding all necessary stuff for
cache and function definition generation, as well as specification
registration.
|
Malloc | |
Mem_utils |
receives the type of the lvalue and the types of the arguments received
for a call to the function and returns
true iff they are correct.
|
Memcmp | |
Memcpy | |
Memmove | |
Memset | |
N | |
NewInstantiator [Options] |
Used by
Instantiator_builder to generate options.
|
O | |
Options |
Instantiate transformation enabled
|
R | |
Register | |
T | |
Transform |
Module for AST transformation
|
Transform [Instantiate] |