package dose3

  1. Overview
  2. Docs
Dose library (part of Mancoosi tools)

Install

Dune Dependency

Authors

Maintainers

Sources

dose3-7.0.0.tar.gz
md5=bc99cbcea8fca29dca3ebbee54be45e1
sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f

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

Module GraphOper.OSource

Sourcetype g = G.t
Sourceval transitive_closure : ?reflexive:bool -> g -> g
Sourceval add_transitive_closure : ?reflexive:bool -> g -> g
Sourceval transitive_reduction : ?reflexive:bool -> g -> g
Sourceval replace_by_transitive_reduction : ?reflexive:bool -> g -> g
Sourceval mirror : g -> g
Sourceval complement : g -> g
Sourceval intersect : g -> g -> g
Sourceval union : g -> g -> g
OCaml

Innovation. Community. Security.