Add a new binding.
Reset the reference to its default value.
Clear the table.
Effects of the given expression (which is supposed to be at the given statement
Return the current binding of the given key.
Return the list of all data associated with the given key.
Should implicit zero-initializers for typ be folded? False for big arrays to avoid a performance issue.
typ
Get the referenced value.
Effects of the given kernel_function, using memoization
Length of the table.
Memoization.
Set the boolean to false.
false
Set the boolean to true.
true
Pretty-print the fields over_inputs_if_termination, over_inputs and under_outputs_if_termination
over_inputs_if_termination
over_inputs
under_outputs_if_termination
Pretty-print the fields over_outputs and over_outputs_if_termination.
over_outputs
over_outputs_if_termination
Change the referenced value.
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.
Effects of a statement, using memoization if it contains a function call