Index of types
C
ctrl_info
[
Annot
]
ctrl_info
correspond to control dependancies nodes
D
data
[
State_builder.Hashtbl
]
data
[
CtrlDpds.Computer.StmtStartData
]
data
[
Build.Computer.StmtStartData
]
data_info
[
Annot
]
data_info
is composed of
(node,z_part) list, undef_loc)
and correspond to data dependencies nodes.
decl_info
[
Annot
]
decl_info
correspond to the declarations nodes of the variables needed to parse the annotation
E
elt
[
Set.S
]
The type of the set elements.
K
key
[
State_builder.Hashtbl
]
key
[
Inthash
]
T
t
[
Pdg_state
]
t
[
Marks.F_Proj
]
t
[
Lexical_successors
]
Type of the graph
t
[
CtrlDpds.Computer
]
t
[
CtrlDpds.States
]
t
[
CtrlDpds.State
]
t
[
CtrlDpds.S
]
t
[
CtrlDpds
]
t
[
Build.Computer
]
t
[
Build.BuildPdg
]
The PDG used during its computation.
t
[
Set.S
]
The type of sets.
t
[
Inthash
]
t_arg_nodes
[
Build.BuildPdg
]
t_dpds_kind
[
Sets
]
t_fct
[
Marks.F_Proj
]
t_info
[
Pdg_state
]
t_info
[
CtrlDpds
]
t_loc
[
Sets
]
t_loc
[
Pdg_state
]
t_loc
[
Build.BuildPdg
]
t_mark
[
Marks.F_Proj
]
t_node
[
Sets
]
t_node
[
Pdg_state
]
t_nodes_and_undef
[
Sets
]
t_pdg
[
Sets
]
t_state
[
Build.BuildPdg
]
t_states
[
Pdg_state
]