module Strongdeps: sig
.. end
Strong Dependencies
include struct ... end
val strongdeps : ?transitive:bool -> Cudf.universe -> Cudf.package list -> Strongdeps_int.G.t
strongdeps u l
build the strong dependency graph of all packages in
l
wrt the universe u
val strongdeps_univ : ?transitive:bool -> Cudf.universe -> Strongdeps_int.G.t
strongdeps_univ u
build the strong dependency graph of
all packages in the universe u
val impactset : Graph.Imperative.Digraph.ConcreteBidirectionalLabeled(Defaultgraphs.PackageGraph.PkgV)(Defaultgraphs.PackageGraph.PkgE).t ->
Defaultgraphs.PackageGraph.PkgV.t -> Defaultgraphs.PackageGraph.PkgV.t list
compute the impact set of the node q
, that is the list of all
packages p
that strong depends on q
val conjdeps_univ : Cudf.universe -> Defaultgraphs.IntPkgGraph.G.t
compute the conjunctive dependency graph
val conjdeps : Cudf.universe -> Cudf.package list -> Defaultgraphs.IntPkgGraph.G.t
compute the conjunctive dependency graph considering only packages
in pkglist