package dose3

You can search for identifiers within the package.

in-package search v0.2.0

package dose3

dose3.algo
- Dose_algo
  - Defaultgraphs
    
    ActionGraph
    
    DotPrinter
    
    Display
    
    G
    
    E
    
    V
    
    GmlPrinter
    
    PkgV
    
    GraphOper
    
    G
    
    E
    
    V
    
    O
    
    S
    
    IntPkgGraph
    
    DIn
    
    DotPrinter
    
    Display
    
    G
    
    E
    
    V
    
    GmlPrinter
    
    O
    
    O
    
    S
    
    PkgV
    
    S
    
    PackageGraph
    
    DotPrinter
    
    Display
    
    G
    
    E
    
    V
    
    GmlPrinter
    
    GraphmlPrinter
    
    O
    
    O
    
    S
    
    PkgV
    
    S
    
    UG
    
    E
    
    V
    
    SyntacticDependencyGraph
    
    DotPrinter
    
    Display
    
    G
    
    E
    
    V
    
    GmlPrinter
    
    GraphmlPrinter
    
    PkgE
    
    PkgV
    
    S
  - Depsolver
  - Depsolver_int
    
    R
    
    S
  - Diagnostic
    
    ResultHash
  - Dominators
    
    O
    
    O
    
    S
  - Flatten
    
    CSet
    
    Conflict
    
    Disj
    
    Formula
    
    PSet
    
    PTbl
    
    Package
  - Statistics
    
    Make
    
    G
    
    E
    
    V
    
    MSin
    
    MSout
    
    UndG
    
    E
    
    V
    
    VS
  - Strongconflicts
    
    CG
    
    E
    
    V
    
    CflE
  - Strongconflicts_int
    
    CG
    
    E
    
    V
    
    CflE
    
    S
  - Strongdeps
dose3.common
- Dose_common
  - CudfAdd
    
    Cudf_hashtbl
    
    Cudf_set
    
    StringSet
  - CudfDiff
  - CudfSolver
  - EdosSolver
    
    M
    
    X
    
    S
    
    T
    
    X
  - GitVersionInfo
  - Shell_lexer
  - Util
    
    Debug
    
    Info
    
    IntHashtbl
    
    IntPairHashtbl
    
    Logging
    
    X
    
    Messages
    
    Notice
    
    Progress
    
    StringHashtbl
    
    StringPairHashtbl
    
    Timer
    
    Warning
    
    identity
    
    intprojection
    
    projection
  - VersionInfo
dose3.versioning
- Dose_versioning
  - Debian
  - Semver
  - SemverNode
  - Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

module PkgV : sig ... end

module G : sig ... end

module UG : sig ... end

module O : sig ... end

module S : sig ... end

module DotPrinter : sig ... end

module GmlPrinter : sig ... end

module GraphmlPrinter : sig ... end

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

val conjdepgraph_int : 
  ?transitive:bool ->
  G.t ->
  Cudf.universe ->
  G.vertex ->
  unit

add to the graph all conjunctive dependencies of package id

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

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

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

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

val dependency_graph_aux : bool -> G.t -> Cudf.universe -> G.vertex -> unit

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

Build the dependency graph from the given cudf universe

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

Build the dependency graph from the given list of packages

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

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

Build the conflict graph from the given list of packages

val conflict_graph : Cudf.universe -> UG.t

Build the conflict graph from the given cudf universe

val undirect : G.t -> UG.t

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

Return the list of connected component of an undirected graph

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

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

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

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

val cycle_reduction : G.t -> unit

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

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