B | |
Basic_alloc | |
Basic_blocks | |
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 | |
Global_context [Instantiate] | |
H | |
Hashtbl [Instantiator_builder.Generator_sig] |
|
Hashtbl [Instantiate.Instantiator_builder.Generator_sig] |
|
I | |
Instantiate | |
Instantiator_builder | |
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 |
Malloc | |
Mem_utils | |
Memcmp | |
Memcpy | |
Memmove | |
Memset | |
N | |
NewInstantiator [Options] | Used by |
O | |
Options | |
R | |
Register | |
T | |
Transform | Module for AST transformation |
Transform [Instantiate] |