Add a new binding.
Clear the table.
Deep copy: no possible sharing between x and copy x.
x
copy x
Return the current binding of the given key.
Return the list of all data associated with the given key.
Remove in each function what isn't used to compute its outputs, or its annotations when select_annot is true, or its slicing pragmas when select_slice_pragmas is true.
select_annot
select_slice_pragmas
Useful mainly if there has been some Pdg.Top
Length of the table.
Memoization.
Set the boolean to false.
false
Set the boolean to true.
true
Remove unused global types and variables from the given project (the current one if no project given).