module Node:Node.t is the type of the PDG vertex.sig
..end
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.
typekey =
PdgIndex.Key.t
type
tt = {
|
id : |
|
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