B | |
bottom [Inout_type] | |
C | |
compute_external [Derefs] | |
E | |
expr [Cumulative_analysis.Make] | Effects of the given expression (which is supposed to be at the given statement |
F | |
fold_implicit_initializer [Cumulative_analysis] | Should implicit zero-initializers for |
G | |
get_external [Operational_inputs] | |
get_external_aux [Operational_inputs] | |
J | |
join [Inout_type] | |
K | |
kernel_function [Cumulative_analysis.Make] | Effects of the given kernel_function, using memoization |
M | |
map [Inout_type] | |
O | |
off [Parameter_sig.Bool] | Set the boolean to |
on [Parameter_sig.Bool] | Set the boolean to |
P | |
pretty_external [Derefs] | |
pretty_external [Inputs] | |
pretty_external [Outputs] | |
pretty_internal [Outputs] | |
pretty_operational_inputs [Inout_type] | Pretty-print the fields |
pretty_operational_inputs_external [Operational_inputs] | |
pretty_operational_inputs_external_with_formals [Operational_inputs] | |
pretty_operational_inputs_internal [Operational_inputs] | |
pretty_outputs [Inout_type] | Pretty-print the fields |
pretty_with_formals [Inputs] | |
S | |
self [Cumulative_analysis.Make.Memo] | |
specialize_state_on_call [Cumulative_analysis] | If the given statement is a call to the given function, enrich the superposed memory state at this statement with the formal arguments of this function. |
statement [Cumulative_analysis.Make] | Effects of a statement, using memoization if it contains a function call |