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 [Datatype.Hashtbl]
memo tbl k f returns the binding of k in tbl.
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]