Module `Absint__ProcCfg.MakeOcamlGraph`

Parameters

Base : S

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