Up
Index of values
A
add
[
State_builder.Hashtbl
]
Add a new binding.
all_status
[
Generator
]
annotate_kf
[
Visit
]
annotations
[
Rte
]
C
check_compute
[
Visit
]
clear
[
State_builder.Hashtbl
]
Clear the table.
compute
[
Visit
]
copy
[
Datatype.S
]
Deep copy: no possible sharing between
x
and
copy x
.
D
div_mod_status
[
Generator
]
divmod_assertion
[
Rte
]
do_all_rte
[
Visit
]
do_exp_annotations
[
Visit
]
do_precond
[
Visit
]
do_rte
[
Visit
]
do_stmt_annotations
[
Visit
]
downcast_status
[
Generator
]
E
emitter
[
Generator
]
F
find
[
State_builder.Hashtbl
]
Return the current binding of the given key.
find_all
[
State_builder.Hashtbl
]
Return the list of all data associated with the given key.
find_term_to_replace
[
Visit
]
float_to_int_assertion
[
Rte
]
float_to_int_status
[
Generator
]
fold
[
State_builder.Hashtbl
]
fold_sorted
[
State_builder.Hashtbl
]
G
generated_annotations
[
Rte
]
get_annotations
[
Visit
]
get_expr_val
[
Rte
]
H
help_msg
[
Options
]
I
is_computed
[
Generator.S
]
is_computed
[
Generator.Make
]
iter
[
State_builder.Hashtbl
]
iter_sorted
[
State_builder.Hashtbl
]
J
journal_register
[
Register
]
L
length
[
State_builder.Hashtbl
]
Length of the table.
local_printer
[
Rte
]
lval_assertion
[
Rte
]
M
main
[
Register
]
make_type
[
Datatype.Hashtbl
]
mem
[
State_builder.Hashtbl
]
mem_access_status
[
Generator
]
memo
[
Datatype.Hashtbl
]
memo tbl k f
returns the binding of
k
in
tbl
.
memo
[
State_builder.Hashtbl
]
Memoization.
mult_sub_add_assertion
[
Rte
]
N
nojournal_register
[
Register
]
P
precond_prefix
[
Visit
]
precond_status
[
Generator
]
proxy
[
Generator
]
R
register_alarm
[
Rte
]
remove
[
State_builder.Hashtbl
]
replace
[
State_builder.Hashtbl
]
Add a new binding.
replacement_visitor
[
Visit
]
reset_generated_annotations
[
Rte
]
rte_annotations
[
Visit
]
S
save_alarms
[
Rte
]
self
[
Generator.S
]
self
[
Generator.Make
]
self
[
Generator
]
set
[
Generator.S
]
set
[
Generator.Make
]
shift_alarm
[
Rte
]
shift_status
[
Generator
]
signed_div_assertion
[
Rte
]
signed_downcast_assertion
[
Rte
]
signed_shift_assertion
[
Rte
]
signed_status
[
Generator
]
T
treat_pred
[
Visit
]
treat_term
[
Visit
]
treat_tlval
[
Visit
]
triple
[
Generator.Make
]
U
uminus_assertion
[
Rte
]
unsigned_downcast_assertion
[
Rte
]
unsigned_downcast_status
[
Generator
]
unsigned_overflow_status
[
Generator
]
V
valid_index
[
Rte
]
W
warn
[
Options
]