C | |
called_function [Value_util] | |
cond [Eval] | |
D | |
data [Dataflow.StmtStartData] | |
data [State_builder.Ref] |
Type of the referenced value.
|
data [State_builder.Hashtbl] | |
K | |
key [Hashtbl.S] | |
key [State_builder.Hashtbl] | |
P | |
predicate_value [Eval] | |
R | |
record [Current_table] | |
S | |
state [Eval.Domain] | |
state [Eval.PtrRelational] | |
T | |
t [Hashtbl.S] | |
t [Eval.Computer] | |
t [Current_table] | |
U | |
u [Eval.Computer] |