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 datatype_name :string
end
) ->
S
with type node = G.V.t and type graph = G.t
Generic functor implementing the services algorithm according to a graph implementation.
Parameters: |
|
type
node
type
graph
module Service_graph:sig
..end
val vertex : node -> node Service_graph.vertex
val compute : graph ->
Datatype.String.Set.t -> Service_graph.t
val output_graph : Pervasives.out_channel -> Service_graph.t -> unit
val entry_point : unit -> Service_graph.V.t option
compute
must be called before
module TP:Graph.Graphviz.GraphWithDotAttrs
with type t = Service_graph.t and type V.t = node vertex and type E.t = Service_graph.E.t