Module Dose_algo__Strongdeps
Strong Dependencies
val strongdeps : ?transitive:bool -> Cudf.universe -> Cudf.package list -> Dose_algo.Defaultgraphs.PackageGraph.G.t
strongdeps u l
build the strong dependency graph of all packages inl
wrt the universeu
val strongdeps_univ : ?transitive:bool -> Cudf.universe -> Dose_algo.Defaultgraphs.PackageGraph.G.t
strongdeps_univ u
build the strong dependency graph of all packages in the universeu
val impactset : Dose_algo.Defaultgraphs.PackageGraph.G.t -> Cudf.package -> Cudf.package list
compute the impact set of the node
q
, that is the list of all packagesp
that strong depends onq
val conjdeps_univ : Cudf.universe -> Dose_algo.Defaultgraphs.PackageGraph.G.t
compute the conjunctive dependency graph
val conjdeps : Cudf.universe -> Cudf.package list -> Dose_algo.Defaultgraphs.PackageGraph.G.t
compute the conjunctive dependency graph considering only packages in
pkglist