module Strongdeps_int: sig
.. end
Strong Dependencies
val mainbar : Common.Util.Progress.t
val conjbar : Common.Util.Progress.t
val strongtimer : Common.Util.Timer.t
val conjtimer : Common.Util.Timer.t
include struct ... end
module G: Defaultgraphs.IntPkgGraph.G
module O: Defaultgraphs.IntPkgGraph.O
val strong_depends : Depsolver_int.solver -> int -> Common.Util.IntHashtbl.key -> bool
check if p strongly depends on q.
We check if it is possible to install p without q.
val check_strong : bool ->
G.t ->
Depsolver_int.solver ->
G.vertex -> G.vertex list -> unit
check if p
strong depends on any packages in l
val somedisj : Depsolver_int.pool -> int -> bool
val strongdeps_int : ?transitive:bool ->
G.t ->
Cudf.universe -> G.vertex list -> G.t
strongdeps l
build the strong dependency graph of l
module S: Set.Make
(
sig
type
t = int
val compare : 'a -> 'a -> int
end
)
val strongdeps : ?transitive:bool ->
Cudf.universe ->
Defaultgraphs.IntPkgGraph.G.vertex list -> G.t
val strongdeps_univ : ?transitive:bool -> Cudf.universe -> G.t
return the impact set (list) of the node q
in graph
val impactlist : G.t -> G.vertex -> G.vertex list
invariant : we assume the graph is NOT detransitivitized
return the list of strong dependencies of the node q
in graph
val stronglist : G.t -> G.vertex -> G.vertex list
invariant : we assume the graph is NOT detransitivitized
val impactset : G.t -> G.vertex -> S.t
val strongset : G.t -> G.vertex -> S.t