Module PdgTypes.Node

module Node: sig .. end
Node.t is the type of the PDG vertex.

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


val make : PdgIndex.Key.t -> tt
val id : tt -> int
val elem_key : tt -> PdgIndex.Key.t
val stmt : tt -> Cil_types.stmt option
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