Module Defaultgraphs.GraphOperSource

generic operation over imperative graphs

Parameters

module G : Graph.Sig.I

Signature

Sourceval transitive_reduction : G.t -> unit

transitive reduction. Uses the transitive reduction algorithm from The Transitive Reduction of a Directed Graph, Aho, Garey and Ullman, 1972 - with the proviso that we know that our graph already is a transitive closure

Sourcemodule O : sig ... end
Sourcemodule S : sig ... end
Sourceval subgraph : G.t -> S.elt list -> G.t

extract the subgraph induced by the list l