A | |
| add [Register.Occurrences] | |
| apply_on_vi [Register_gui] | |
C | |
| classify_accesses [Register] |
Occurrence has found the given
lv somewhere inside ki.
|
| clear [State_builder.Ref] |
Reset the reference to its default value.
|
| consider_access [Register_gui] | |
| copy [Datatype.S] |
Deep copy: no possible sharing between
x and copy x.
|
D | |
| d_ki [Register] | |
F | |
| file_tree_decorate [Register_gui] | |
| filter_accesses [Register_gui] | |
| find_occurrence [Register_gui] | |
G | |
| get [State_builder.Ref] |
Get the referenced value.
|
| get [Register.Occurrences] | |
| get [Register] | |
I | |
| iter [Register.Occurrences] | |
| iter_sorted [Register.Occurrences] | |
M | |
| main [Register_gui] | |
| main [Register] | |
O | |
| occurrence_highlighter [Register_gui] | |
| occurrence_panel [Register_gui] | |
| occurrence_selector [Register_gui] | |
P | |
| print_all [Register] | |
| print_one [Register] | |
S | |
| self [Register.Occurrences] | |
| set [State_builder.Ref] |
Change the referenced value.
|
U | |
| update_column [Register_gui] |