Strongdeps (dose3.Dose_algo.Strongdeps)

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