package dose3

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

md5=bc99cbcea8fca29dca3ebbee54be45e1

sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f

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