Up
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
]