package dose3

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

md5=dedc2f58f2c2b59021f484abc6681d93

sha512=603462645bac190892a816ecb36ef7b9c52f0020f8d7710dc430e2db65122090fdedb24a8d2e03c32bf53a96515f5b51499603b839680d0a7a2146d6e0fb6e34

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

Sourceval 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