Module Defaultgraphs.SyntacticDependencyGraph

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

type pkg = {
value : Cudf.package;
root : bool;
}
module PkgV : sig ... end
module PkgE : sig ... end
val default_pp : Dose_common.CudfAdd.pp Stdlib.ref
module G : sig ... end
module DotPrinter : sig ... end
module S : sig ... end
module GmlPrinter : sig ... end
module GraphmlPrinter : sig ... end
val depgraphbar : Dose_common.Util.Progress.t
val add_edge : G.t -> G.vertex -> PkgE.s -> G.vertex -> unit
val dependency_graph : ?root:Cudf.package -> Cudf.universe -> G.t

Build the syntactic dependency graph from the give cudf universe