Index of values

A
add [Register.Occurrences]
C
classify_accesses [Register]

Occurrence has found the given lv somewhere inside ki.

copy [Datatype.S]

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

D
d_ki [Register]
G
get [Register.Occurrences]
get [Register]
get [Occurrence.Register]

Return the occurrences of the given varinfo.

get_last_result [Register.Occurrences]
get_last_result [Register]
get_last_result [Occurrence.Register]
I
iter [Register.Occurrences]
iter_sorted [Register.Occurrences]
M
main [Register]
O
off [Parameter_sig.Bool]

Set the boolean to false.

on [Parameter_sig.Bool]

Set the boolean to true.

P
print_all [Register]
print_all [Occurrence.Register]

Print all the occurrence of each variable declarations.

print_one [Register]
S
self [Register.Occurrences]
self [Register]
self [Occurrence.Register]