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