Up

module Strongdeps

: sig

Strong Dependencies

#
val strongdeps : ?transitive:bool -> Cudf.universe -> Cudf.package list -> Defaultgraphs.PackageGraph.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 -> Defaultgraphs.PackageGraph.G.t

strongdeps_univ u build the strong dependency graph of all packages in the universe u

#
val impactset : Defaultgraphs.PackageGraph.G.t -> Cudf.package -> Cudf.package 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.PackageGraph.G.t

compute the conjunctive dependency graph

#
val conjdeps : Cudf.universe -> Cudf.package list -> Defaultgraphs.PackageGraph.G.t

compute the conjunctive dependency graph considering only packages in pkglist

end