package dose3

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

Dune Dependency

www.mancoosi.org Edit opam file Versions (5)

Authors

Maintainers

Sources

dose3-6.1.tar.gz

md5=dedc2f58f2c2b59021f484abc6681d93

sha512=603462645bac190892a816ecb36ef7b9c52f0020f8d7710dc430e2db65122090fdedb24a8d2e03c32bf53a96515f5b51499603b839680d0a7a2146d6e0fb6e34

doc/dose3.algo/Dose_algo/Defaultgraphs/GraphOper/index.html

Module `Defaultgraphs.GraphOper`Source

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

On This Page

Parameters
Signature