Module Strongdeps_int


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