Index of types


C
call_site [Value_util]
A call_stack is a list, telling which function was called at which site.
callstack [Value_util]
clobbered_set [Locals_scoping]
Set of bases that might contain a reference to a local or formal variable.
cond [Eval_exprs]

D
data [Dataflow.StmtStartData]
data [State_builder.Ref]
Type of the referenced value.
data [State_builder.Hashtbl]

E
edeps [Eval_terms]
Dependencies needed to evaluate a term or a predicate
eval_env [Eval_terms]
Evaluation environment.
eval_result [Eval_terms]

K
key [Hashtbl.S]
key [State_builder.Hashtbl]

L
labels_states [Eval_terms]
local_slevel_info [Local_slevel_types]
logic_evaluation_error [Eval_terms]
Error during the evaluation of a term or a predicate
lval_or_absolute [Register_gui]

M
mode [Local_slevel_types]

P
predicate_value [Eval_terms]
Evaluating a predicate.

R
record [Current_table]
State on one statement
reduce_rel_int_float [Eval_op]
return_usage [Split_return.ReturnUsage]
return_usage_by_lv [Split_return.ReturnUsage]
return_usage_per_fun [Split_return.ReturnUsage]

S
split_strategy [Split_return]

T
t [Eval_slevel.Computer]
t [Eval_annots.ActiveBehaviors]
t [Current_table]
State for an entier function
t [Hashtbl.S]
t [State_imp]
t [State_set]
topify_offsetmap [Locals_scoping]
Type of a function that topifies the references to a local in an offsetmap.
topify_offsetmap_approx [Locals_scoping]
Type of a function that partially topifies the references to a local in an offsetmap.
topify_state [Locals_scoping]
Type of a function that topifies a state.

U
u [Eval_slevel.Computer]

V
validity_hidden_base [Initial_state]