Index of values

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 `typ` be folded? False for big arrays to avoid a performance issue.
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 `false`.
on [Parameter_sig.Bool]	Set the boolean to `true`.
P
pretty_external [Derefs]
pretty_external [Inputs]
pretty_external [Outputs]
pretty_internal [Outputs]
pretty_operational_inputs [Inout_type]	Pretty-print the fields `over_inputs_if_termination`, `over_inputs` and `under_outputs_if_termination`
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 `over_outputs` and `over_outputs_if_termination`.
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