Index of values

A
add [State_builder.Hashtbl]

Add a new binding.

annotation_visible [Transform.BoolInfo]
B
body_visible [Transform.BoolInfo]
build_cil_file [Filter.F]
C
called_info [Transform.BoolInfo]
clear [State_builder.Hashtbl]

Clear the table.

clear_tables [Globs]
cond_edge_visible [Transform.BoolInfo]
copy [Datatype.S]

Deep copy: no possible sharing between x and copy x.

D
debug [Globs]
debug' [Globs]
dkey [Globs]
F
fct_info [Transform.BoolInfo]
fct_name [Transform.BoolInfo]
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.

fold [State_builder.Hashtbl]
fold_sorted [State_builder.Hashtbl]
fun_allocates_visible [Transform.BoolInfo]
fun_assign_visible [Transform.BoolInfo]
fun_deps_visible [Transform.BoolInfo]
fun_frees_visible [Transform.BoolInfo]
fun_postcond_visible [Transform.BoolInfo]
fun_precond_visible [Transform.BoolInfo]
fun_variant_visible [Transform.BoolInfo]
G
get [Register]
get_marks [Spare_marks]
I
inst_visible [Transform.BoolInfo]
iter [State_builder.Hashtbl]
iter_sorted [State_builder.Hashtbl]
J
journalized_get [Register]
journalized_rm_unused_globals [Register]
K
key_visible [Transform.BoolInfo]
key_visible [Spare_marks]
kf_visible [Spare_marks]

Useful mainly if there has been some Pdg.Top

L
label_visible [Transform.BoolInfo]
length [State_builder.Hashtbl]

Length of the table.

loc_var_visible [Transform.BoolInfo]
M
main [Register]
make_type [Datatype.Hashtbl]
mem [State_builder.Hashtbl]
memo [State_builder.Hashtbl]

Memoization.

O
off [Parameter_sig.Bool]

Set the boolean to false.

on [Parameter_sig.Bool]

Set the boolean to true.

P
param_visible [Transform.BoolInfo]
R
remove [State_builder.Hashtbl]
replace [State_builder.Hashtbl]

Add a new binding.

res_call_visible [Transform.BoolInfo]
result_visible [Transform.BoolInfo]
rm_unused_decl [Globs]
rm_unused_globals [Register]
run [Register]
S
select_useful_things [Spare_marks]
T
term_visible [Transform.BoolInfo]
U
unjournalized_rm_unused_globals [Register]
used_compinfo [Globs]
used_enuminfo [Globs]
used_typeinfo [Globs]
used_variables [Globs]
V
var_init [Globs]