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
  - 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
  - CudfDiff
  - CudfSolver
  - EdosSolver
    
    M
    
    X
    
    S
    
    T
    
    X
  - GitVersionInfo
  - Shell_lexer
  - Util
    
    Debug
    
    Info
    
    Logging
    
    X
    
    Messages
    
    Notice
    
    Progress
    
    Timer
    
    Warning
    
    identity
    
    intprojection
    
    projection
  - VersionInfo
dose3.versioning
- Dose_versioning
  - Debian
  - Semver
  - SemverNode
  - Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

include sig ... end

val it : Dose_common__Util.Info.t

val info : ('a, unit, string, unit) Stdlib.format4 -> 'a

val nt : Dose_common__Util.Notice.t

val notice : ('a, unit, string, unit) Stdlib.format4 -> 'a

val wt : Dose_common__Util.Warning.t

val warning : ('a, unit, string, unit) Stdlib.format4 -> 'a

val dt : Dose_common__Util.Debug.t

val debug : ('a, unit, string, unit) Stdlib.format4 -> 'a

val fatal : ('a, unit, string, 'b) Stdlib.format4 -> 'a

val print_list : 
  Stdlib.Format.formatter ->
  (Stdlib.Format.formatter -> 'a -> unit) ->
  string ->
  'b list ->
  unit

module Package : sig ... end

module PSet : sig ... end

val print_set : 
  Stdlib.Format.formatter ->
  (Stdlib.Format.formatter -> PSet.elt -> unit) ->
  string ->
  PSet.t ->
  unit

val pset_of_lst : PSet.elt list -> PSet.t

val pset_map : (PSet.elt -> PSet.elt) -> PSet.t -> PSet.t

module PTbl : sig ... end

module Disj : sig ... end

module CSet : sig ... end

module Formula : sig ... end

module Conflict : sig ... end

val simplify_formula : PSet.t array -> PSet.t list -> PSet.t list

val filter_conflicts : PSet.t array -> 'a -> PSet.t list -> PSet.t list

val flatten_deps : 
  (PSet.elt, PSet.t list) ExtLib.Hashtbl.t ->
  PSet.t list array ->
  PSet.t array ->
  PSet.elt list ->
  PSet.t list ->
  PSet.t list * PSet.t

val flatten_dep : 
  (PSet.elt, PSet.t list) ExtLib.Hashtbl.t ->
  PSet.t list array ->
  PSet.t array ->
  PSet.elt list ->
  PSet.elt ->
  PSet.t list * PSet.t

val flatten_dependencies : 
  int ->
  PSet.t list array ->
  PSet.t array ->
  PSet.t list array

val remove_self_conflicts : 
  PSet.t list array ->
  PSet.t array ->
  PSet.t list array

val remove_redundant_conflicts : 
  PSet.t list array ->
  PSet.t array ->
  PSet.t list array

val maybe_remove : 
  PSet.t list array ->
  PSet.t array ->
  'a ->
  'b ->
  PSet.t ->
  bool

val is_composition : 
  PSet.t list array ->
  PSet.elt ->
  PSet.t list ->
  PSet.t ->
  bool

val remove_deps : PSet.t list array -> PSet.t array -> PSet.t list array

val repository : Cudf.universe -> PSet.t list array * PSet.t array

val flatten_repository : 
  int ->
  (PSet.t list array * PSet.t array) ->
  PSet.t list array * PSet.t array