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/index.html

Module Dose_algo.DefaultgraphsSource

Sourcemodule OCAMLHashtbl = Hashtbl

Specialized Ocamlgraph modules

include sig ... end
Sourceval it : Dose_common__Util.Info.t
Sourceval info : ('a, unit, string, unit) format4 -> 'a
Sourceval nt : Dose_common__Util.Notice.t
Sourceval notice : ('a, unit, string, unit) format4 -> 'a
Sourceval wt : Dose_common__Util.Warning.t
Sourceval warning : ('a, unit, string, unit) format4 -> 'a
Sourceval dt : Dose_common__Util.Debug.t
Sourceval debug : ('a, unit, string, unit) format4 -> 'a
Sourceval fatal : ('a, unit, string, 'b) format4 -> 'a
Sourcemodule GraphOper (G : Graph.Sig.I) : sig ... end

generic operation over imperative graphs

Sourcemodule SyntacticDependencyGraph : sig ... end

Syntactic dependency graph. Vertices are cudf packages, OR nodes representing a disjunctive dependency, or Missing nodes representing a missing package. The latter is used to display explanation graphs. Vertices are indexed considering only the pair name,version . Edges are labelled with

Sourcemodule ActionGraph : sig ... end
Sourcemodule PackageGraph : sig ... end

Imperative bidirectional graph for dependecies. Imperative unidirectional graph for conflicts.

Sourcemodule IntPkgGraph : sig ... end

Integer Imperative Bidirectional Graph. Mainly used in Strong Conflicts

OCaml

Innovation. Community. Security.