module Node:sig
..end
A node of the PDG : includes some information to know where it comes from.
Node.t is the type of the PDG vertex.
include Datatype.S_with_collections
val id : t -> int
val elem_key : t -> PdgIndex.Key.t
val stmt : t -> Cil_types.stmt option
val pretty_list : Stdlib.Format.formatter -> t list -> unit
val pretty_with_part : Stdlib.Format.formatter -> t * Locations.Zone.t option -> unit
val pretty_node : Stdlib.Format.formatter -> t -> unit