Module PdgTypes.Node


module Node: sig .. end
Node.t is the type of the PDG vertex. compare and pretty are needed by Abstract_interp.Make_Lattice_Set.

A node of the PDG : includes some information to know where it comes from.


type key = PdgIndex.Key.t 

type tt = {
   id : int;
   key : key;
}
module Counter: State_builder.Counter(sig
val name : string
end)
val make : key -> tt
val key : tt -> key
val print_id : Format.formatter -> tt -> unit
val elem_id : tt -> int
val elem_key : tt -> key
val stmt : tt -> Cil_types.stmt option
val print_id : Format.formatter -> tt -> unit
include struct ... end
val pretty_list : Format.formatter -> t list -> unit
val pretty_with_part : Format.formatter -> t * Locations.Zone.t option -> unit
val pretty_node : Format.formatter -> tt -> unit
val pretty_nodes : Format.formatter -> tt list -> unit