package dose3

You can search for identifiers within the package.

in-package search v0.2.0

package dose3

dose3
- Library dose3.algo
  - Dose_algo
    
    Defaultgraphs
    
    OCAMLHashtbl
    
    GraphOper
    
    O
    
    S
    
    SyntacticDependencyGraph
    
    PkgV
    
    PkgE
    
    G
    
    V
    
    E
    
    DotPrinter
    
    Display
    
    V
    
    E
    
    S
    
    GmlPrinter
    
    GraphmlPrinter
    
    ActionGraph
    
    PkgV
    
    G
    
    V
    
    E
    
    DotPrinter
    
    Display
    
    V
    
    E
    
    GmlPrinter
    
    PackageGraph
    
    PkgV
    
    G
    
    V
    
    E
    
    UG
    
    V
    
    E
    
    O
    
    O
    
    S
    
    S
    
    DotPrinter
    
    Display
    
    V
    
    E
    
    GmlPrinter
    
    GraphmlPrinter
    
    IntPkgGraph
    
    PkgV
    
    G
    
    V
    
    E
    
    S
    
    O
    
    O
    
    S
    
    DotPrinter
    
    Display
    
    V
    
    E
    
    DIn
    
    GmlPrinter
    
    Depsolver
    
    Depsolver_int
    
    R
    
    S
    
    X
    
    Diagnostic
    
    ResultHash
    
    Dominators
    
    G
    
    O
    
    O
    
    S
    
    S
    
    Flatten
    
    Package
    
    PSet
    
    PTbl
    
    Disj
    
    CSet
    
    Formula
    
    Conflict
    
    Statistics
    
    Make
    
    VS
    
    UndG
    
    V
    
    E
    
    MSin
    
    MSout
    
    Strongconflicts
    
    ICG
    
    CflE
    
    CG
    
    V
    
    E
    
    Strongconflicts_int
    
    SG
    
    PkgV
    
    CflE
    
    IG
    
    CG
    
    V
    
    E
    
    S
    
    Strongdeps
- Library dose3.common
  - Dose_common
    
    CudfAdd
    
    Cudf_hashtbl
    
    Cudf_set
    
    StringSet
    
    CudfDiff
    
    CudfSolver
    
    EdosSolver
    
    S
    
    T
    
    X
    
    M
    
    X
    
    GitVersionInfo
    
    Shell_lexer
    
    Util
    
    Messages
    
    Debug
    
    Warning
    
    Info
    
    Notice
    
    Logging
    
    Progress
    
    Timer
    
    IntHashtbl
    
    IntPairHashtbl
    
    StringHashtbl
    
    StringPairHashtbl
    
    projection
    
    identity
    
    intprojection
    
    VersionInfo
- Library dose3.versioning
  - Dose_versioning
    
    Debian
    
    Semver
    
    SemverNode
    
    Utils
- Sources
  - dose3.algo
    
    defaultgraphs.ml
    
    depsolver.ml
    
    depsolver_int.ml
    
    diagnostic.ml
    
    dominators.ml
    
    dose_algo.ml
    
    flatten.ml
    
    statistics.ml
    
    strongconflicts.ml
    
    strongconflicts_int.ml
    
    strongdeps.ml
  - dose3.common
    
    cudfAdd.ml
    
    cudfDiff.ml
    
    cudfSolver.ml
    
    dose_common.ml
    
    edosSolver.ml
    
    gitVersionInfo.ml
    
    shell_lexer.ml
    
    util.ml
    
    versionInfo.ml
  - dose3.versioning
    
    debian.ml
    
    dose_versioning.ml
    
    semver.ml
    
    semverNode.ml
    
    utils.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Dose_algo.Depsolver`Source

Dependency solver. Implementation of the Edos algorithms

Sourcetype solver

the solver is an abstract data type associated to a universe

Source

val load : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  Cudf.universe ->
  solver

initialize the solver.

Sourceval is_consistent : Cudf.universe -> Diagnostic.diagnosis

check if the universe universe is consistent (all installed packages are coinstallable) This function is a wrapper of Cudf_checker.is_consistent.

Source

val edos_install : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  Cudf.universe ->
  Cudf.package ->
  Diagnostic.diagnosis

check if the given package can be installed in the universe

Packages marked as `Keep_package must be always installed.

Source

val edos_coinstall : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  Cudf.universe ->
  Cudf.package list ->
  Diagnostic.diagnosis

check if the give package list can be installed in the universe

Source

val edos_coinstall_prod : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  Cudf.universe ->
  Cudf.package list list ->
  Diagnostic.diagnosis list

accept a list of list of packages and return the coinstallability test of the cartesian product.

Source

val trim : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  Cudf.universe ->
  Cudf.universe

remove uninstallable packages from the universe .

Source

val trimlist : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  Cudf.universe ->
  Cudf.package list ->
  Cudf.package list

remove uninstallable packages from the pkglist.

Source

val find_broken : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  Cudf.universe ->
  Cudf.package list

return the list of broken packages.

Source

val find_installable : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  Cudf.universe ->
  Cudf.package list

return the list of installable packages.

Source

val find_listbroken : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  Cudf.universe ->
  Cudf.package list ->
  Cudf.package list

return the list of broken packages.

Source

val find_listinstallable : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  Cudf.universe ->
  Cudf.package list ->
  Cudf.package list

return the list of installable packages.

Source

val univcheck : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  ?callback:(Diagnostic.diagnosis -> unit) ->
  ?explain:bool ->
  Cudf.universe ->
  int

univcheck check if all packages in the universe can be installed. Since not all packages are directly tested for installation, if a packages is installable, the installation might be empty. To obtain an installation set for each installable packages, the correct procedure is to iter on the list of packages.

parameter callback
: execute a function for each package. This function can have side effects and can be used to collect the installation set or the failure reason.

returns
the number of broken packages

Source

val univcheck_lowmem : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  ?callback:(Diagnostic.diagnosis -> unit) ->
  ?explain:bool ->
  Cudf.universe ->
  int

Source

val listcheck : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  ?callback:(Diagnostic.diagnosis -> unit) ->
  ?explain:bool ->
  Cudf.universe ->
  Cudf.package list ->
  int

listcheck ~callback:c subuniverse l check if all packages in l can be installed.

Invariant : l is a subset of universe can be installed in the solver universe.

It is responsability of the user to pass listcheck an appropriate subuniverse`

parameter callback
: execute a function for each package.

returns
the number of broken packages

Source

val dependency_closure : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  ?maxdepth:int ->
  ?conjunctive:bool ->
  Cudf.universe ->
  Cudf.package list ->
  Cudf.package list

dependency_closure index l return the union of the dependency closure of all packages in l .

parameter maxdepth
the maximum cone depth (infinite by default)

parameter conjunctive
consider only conjunctive dependencies (false by default)

parameter universe
the package universe

parameter pkglist
a subset of universe

Source

val reverse_dependencies : 
  Cudf.universe ->
  Cudf.package list Dose_common.CudfAdd.Cudf_hashtbl.t

reverse_dependencies univ compute the reverse dependency list of all packages in the universe univ

Source

val reverse_dependency_closure : 
  ?maxdepth:int ->
  Cudf.universe ->
  Cudf.package list ->
  Cudf.package list

reverse_dependencies_closure univ compute the reverse dependency list of all packages in l in the universe univ

Sourcetype enc =

| Cnf
| Dimacs

Source

val output_clauses : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  ?enc:enc ->
  Cudf.universe ->
  string

output_clauses enc univ return a string encoded accordingly to enc (default cnf).

Source

type depclean_result =
  Cudf.package
  * (Cudf_types.vpkglist * Cudf_types.vpkg * Cudf.package list) list
  * (Cudf_types.vpkg * Cudf.package list) list

The result of the depclean function is a tuple containing a package, a list of dependencies that are redundant and a list of conflicts that are redundant

Source

val depclean : 
  ?global_constraints:(Cudf_types.vpkglist * Cudf.package list) list ->
  ?callback:(depclean_result -> unit) ->
  Cudf.universe ->
  Cudf.package list ->
  depclean_result list

For each package p in packagelist, depclean univ packagelist detect redundundant dependencies that refer to packages that are either missing or not co-installable together with the root package p

Sourcetype solver_result =

| Sat of Cudf.preamble option * Cudf.universe
| Unsat of Diagnostic.diagnosis option
| Error of string

Sourceval dummy_request : Cudf.package

an empty package used to enforce global contraints on the request

Source

val add_dummy : 
  Cudf.universe ->
  Cudf.request ->
  Cudf.package ->
  Cudf.universe * Cudf.package

Source

val check_request : 
  ?cmd:string ->
  ?criteria:string ->
  ?dummy:Cudf.package ->
  ?explain:bool ->
  Cudf.cudf ->
  solver_result

check_request check if there exists a solution for the give cudf document if ?dummy is specified, adds this dummy package to the user request. This parameter is used to encode a list of 'essential' packages that must always be installed in the solution alongside with the user request. if ?cmd is specified, it will be used to call an external cudf solver to satisfy the request. if ?criteria is specified it will be used as optimization criteria. if ?explain is specified and there is no solution for the give request, the result will contain the failure reason.

Source

val check_request_using : 
  ?call_solver:(Cudf.cudf -> Cudf.preamble option * Cudf.universe) ->
  ?dummy:Cudf.package ->
  ?explain:bool ->
  Cudf.cudf ->
  solver_result

Same as check_request, but allows to specify any function to call the external solver. It should raise Depsolver.Unsat on failure.

Source

val installation_graph : 
  solution:Cudf.universe ->
  (Dose_common.CudfAdd.Cudf_set.t * Dose_common.CudfAdd.Cudf_set.t) ->
  Defaultgraphs.ActionGraph.G.t

Build the installation graph from a cudf solution universe and sets of packages to be installed/removed (see CudfAdd.make_summary)

package dose3

Module Dose_algo.DepsolverSource

Module `Dose_algo.Depsolver`Source