Module `Defaultgraphs.PackageGraph`Source

Imperative bidirectional graph for dependecies. Imperative unidirectional graph for conflicts.

Sourcemodule PkgV : sig ... end

Sourcemodule G : sig ... end

Sourcemodule UG : sig ... end

Sourcemodule O : sig ... end

Sourcemodule S : sig ... end

Sourcemodule DotPrinter : sig ... end

Sourcemodule GmlPrinter : sig ... end

Sourcemodule GraphmlPrinter : sig ... end

Sourceval add_edge : ?transitive:bool -> G.t -> G.vertex -> G.vertex -> unit

Source

val conjdepgraph_int : 
  ?transitive:bool ->
  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_aux : bool -> G.t -> Cudf.universe -> G.vertex -> unit

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

Build the dependency graph from the given cudf universe

Source

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

Build the dependency graph from the given list of packages

Sourceval conflict_graph_aux : UG.t -> Cudf.universe -> UG.vertex -> unit

Sourceval conflict_graph_list : Cudf.universe -> UG.vertex list -> UG.t

Build the conflict graph from the given list of packages

Sourceval conflict_graph : Cudf.universe -> UG.t

Build the conflict graph from the given cudf universe

Sourceval undirect : G.t -> UG.t

Sourceval connected_components : UG.t -> UG.V.t list list

Return the list of connected component of an undirected graph

Sourceval pred_list : G.t -> G.vertex -> G.vertex list

Sourceval succ_list : G.t -> G.vertex -> G.vertex list

Sourceval pred_set : G.t -> G.vertex -> S.t

Sourceval succ_set : G.t -> G.vertex -> S.t

Sourceval cycle_reduction : G.t -> unit

Source

val out : 
  ?dump:string option ->
  ?dot:string option ->
  ?detrans:bool ->
  G.t ->
  unit

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/dose3.algo/Dose_algo/Defaultgraphs/PackageGraph/index.html

Module `Defaultgraphs.PackageGraph`Source

package dose3

Install

Dune Dependency

Authors

Maintainers

Sources

doc/dose3.algo/Dose_algo/Defaultgraphs/PackageGraph/index.html

Module Defaultgraphs.PackageGraphSource

Module `Defaultgraphs.PackageGraph`Source