Module `CallGraph.Node`

type t = private { id : int; pname : IR.Procname.t; mutable successors : int list; mutable flag : bool; }

val make : int -> IR.Procname.t -> int list -> t
val add_successor : t -> int -> unit
val set_flag : t -> unit
val unset_flag : t -> unit
val pp_dot : F.formatter -> t -> unit