D | |
data [Computation.HASHTBL_OUTPUT] | |
data [CtrlDpds.Computer.StmtStartData] | |
data [Build.Computer.StmtStartData] | |
E | |
elt [Set.S] |
The type of the set elements.
|
K | |
key [Computation.HASHTBL_OUTPUT] | |
T | |
t [State] | |
t [Print.Printer.E] |
boolean to say that the edge is dynamic
|
t [Print.Printer] | |
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_arg_nodes [Build.BuildPdg] | |
t_dpds_kind [Sets] | |
t_fct [Marks.F_Proj] | |
t_info [State] | |
t_info [CtrlDpds] | |
t_loc [State] | |
t_loc [Sets] | |
t_loc [Build.BuildPdg] | |
t_mark [Marks.F_Proj] | |
t_node [State] | |
t_node [Sets] | |
t_nodes_and_undef [Sets] | |
t_pdg [Sets] | |
t_state [Build.BuildPdg] | |
t_states [State] |