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

Integer Imperative Bidirectional Graph. Mainly used in Strong Conflicts

Sourcemodule PkgV : sig ... end

Sourcemodule G : sig ... end

Sourcemodule S : sig ... end

Sourcemodule O : sig ... end

Sourcemodule DotPrinter : sig ... end

Sourcemodule DIn : sig ... end

Sourcemodule GmlPrinter : sig ... end

Sourceval add_edge : G.t -> G.vertex -> G.vertex -> unit

Sourceval conjdepgraph_int : G.t -> Cudf.universe -> G.vertex -> unit

add to the graph all conjunctive dependencies of package id

Sourceval conjdepgraph : Cudf.universe -> G.vertex list -> G.t

for all id \in idlist add to the graph all conjunctive dependencies

Sourceval conjdeps : G.t -> G.V.t -> G.V.t list

given a graph return the conjunctive dependency closure of the package id

Sourceval dependency_graph : ?conjunctive:bool -> Cudf.universe -> G.t

Build the dependency graph from the given index. conjunctive and disjunctive dependencies are considered as equal

val dependency_graph_list : 
  ?conjunctive:bool ->
  Cudf.universe ->
  G.vertex list ->
  G.t

Sourceval load : 'a -> string -> G.t