Index of values

A
add [State_builder.Hashtbl]

Add a new binding.

add_out [Operational_inputs.Computer]
B
bottom [Inout_type]
bottom [Operational_inputs.Computer]
bottom [Operational_inputs]
C
call_for_callwise_inout [Operational_inputs.Callwise]
call_inout_stack [Operational_inputs.Callwise]
call_stack [Operational_inputs.FunctionWise]
catenate [Operational_inputs.Computer]
clear [State_builder.Ref]

Reset the reference to its default value.

clear [State_builder.Hashtbl]

Clear the table.

compute_call_from_value_states [Operational_inputs.Callwise]
compute_callwise [Operational_inputs.Callwise]
compute_external [Derefs]
compute_external [Operational_inputs]
compute_external_with_formals [Operational_inputs]
compute_externals_using_prototype [Operational_inputs]
compute_internal_using_cfg [Operational_inputs.FunctionWise]
compute_using_given_spec_state [Operational_inputs]
compute_using_prototype [Operational_inputs]
compute_using_prototype_state [Operational_inputs]
E
empty [Operational_inputs]
end_dataflow [Operational_inputs.Computer]
end_record [Operational_inputs.Callwise]
equal [Operational_inputs]
eval_assigns [Operational_inputs]
expr [Cumulative_analysis.Make]

Effects of the given expression (which is supposed to be at the given statement

externalize [Operational_inputs]
externalize_zone [Operational_inputs]
extract_inout_from_froms [Operational_inputs]
F
find [State_builder.Hashtbl]

Return the current binding of the given key.

find_all [State_builder.Hashtbl]

Return the list of all data associated with the given key.

fold [State_builder.Hashtbl]
fold_sorted [State_builder.Hashtbl]
G
get [State_builder.Ref]

Get the referenced value.

get_external [Operational_inputs]
get_external_aux [Operational_inputs]
get_external_with_formals [Operational_inputs]
get_internal [Operational_inputs]
get_internal_aux [Operational_inputs]
I
init [Operational_inputs.Computer]
is_included [Operational_inputs.Computer]
is_included [Operational_inputs]
iter [State_builder.Hashtbl]
iter_sorted [State_builder.Hashtbl]
J
join [Inout_type]
join [Operational_inputs.Computer]
join [Operational_inputs]
join_and_is_included [Operational_inputs.Computer]
join_and_is_included [Operational_inputs]
K
kernel_function [Cumulative_analysis.Make]

Effects of the given kernel_function, using memoization

L
length [State_builder.Hashtbl]

Length of the table.

M
main [Register]
map [Inout_type]
mem [State_builder.Hashtbl]
memo [State_builder.Hashtbl]

Memoization.

merge_call_in_global_tables [Operational_inputs.Callwise]
merge_call_in_local_table [Operational_inputs.Callwise]
merge_local_table_in_global_ones [Operational_inputs.Callwise]
N
non_terminating_inputs [Operational_inputs.Computer]
non_terminating_outputs [Operational_inputs.Computer]
O
off [Parameter_sig.Bool]

Set the boolean to false.

on [Parameter_sig.Bool]

Set the boolean to true.

P
pretty [Operational_inputs.Computer]
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]
R
raw_externals [Operational_inputs]
record_for_callwise_inout [Operational_inputs.Callwise]
remove [State_builder.Hashtbl]
replace [State_builder.Hashtbl]

Add a new binding.

return_data [Operational_inputs.Computer]
S
self [Cumulative_analysis.Make.Memo]
set [State_builder.Ref]

Change the referenced value.

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

store_non_terminating_inputs [Operational_inputs.Computer]
store_non_terminating_outputs [Operational_inputs.Computer]
store_non_terminating_subcall [Operational_inputs.Computer]
T
top [Operational_inputs]
transfer_call [Operational_inputs.Computer]
transfer_exp [Operational_inputs.Computer]
transfer_guard [Operational_inputs.Computer]
transfer_instr [Operational_inputs.Computer]
transfer_stmt [Operational_inputs.Computer]