Module Absint__ProcCfg.MakeOcamlGraph

Parameters

Signature

type t = Base.t
module V : sig ... end
val pred : t -> Base.Node.t -> Base.Node.t list
val succ : t -> Base.Node.t -> Base.Node.t list
val fold_vertex : (Base.Node.t -> 'a -> 'a) -> t -> 'a -> 'a
val iter_vertex : (Base.Node.t -> unit) -> t -> unit
val iter_succ : (Base.Node.t -> unit) -> t -> Base.Node.t -> unit
val nb_vertex : t -> int