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]