module Make:functor (
G
:
sig
type
t
module V:sig
..end
val iter_vertex :(V.t -> unit) -> t -> unit
val iter_succ :(V.t -> unit) ->
t -> V.t -> unitval iter_pred :(V.t -> unit) ->
t -> V.t -> unitval fold_pred :(V.t -> 'a -> 'a) ->
t -> V.t -> 'a -> 'aval in_degree :t -> V.t -> int
val datatype_name :string
end
) ->
sig
..end
Parameters: |
|
type
vertex = private {
|
node : |
|
mutable is_root : |
|
mutable root : |
type
edge = private
| |
Inter_services |
| |
Inter_functions |
| |
Both |
module CallG:sig
..end
val compute : G.t -> Datatype.String.Set.t -> CallG.t
val output_graph : Pervasives.out_channel -> CallG.t -> unit
val entry_point : unit -> CallG.V.t
compute
must be called beforemodule TP:Graph.Graphviz.GraphWithDotAttrs
with type t = CallG.t and type V.t = vertex and type E.t = CallG.E.t