package dose3

You can search for identifiers within the package.

in-package search v0.2.0

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
  - Criteria
  - Criteria_lexer
  - Criteria_parser
  - Criteria_types
  - CudfAdd
    
    Cudf_hashtbl
    
    Cudf_set
    
    StringSet
  - CudfDiff
  - CudfSolver
  - EdosSolver
    
    M
    
    X
    
    S
    
    T
    
    X
  - Format822
    
    RawInput
    
    Set
  - Format822_lexer
  - Format822_parser
  - GitVersionInfo
  - Input
  - Shell_lexer
  - Url
  - Util
    
    Debug
    
    Info
    
    IntHashtbl
    
    IntPairHashtbl
    
    Logging
    
    X
    
    Messages
    
    Notice
    
    Progress
    
    StringHashtbl
    
    StringPairHashtbl
    
    Timer
    
    Warning
    
    identity
    
    intprojection
    
    projection
  - VersionInfo
dose3.debian
- Dose_debian
  - Apt
    
    Pref
  - Architecture
  - Debcudf
  - Debutil
  - Edsp
  - Evolution
  - Packages
    
    package
  - Release
  - Sources
    
    source
dose3.doseparse
- Dose_doseparse
  - StdDebian
  - StdDebug
  - StdLoaders
  - StdOptions
    
    DistcheckOptions
    
    DistribOptions
    
    InputOptions
    
    MakeOptions
    
    O
    
    Ot
    
    OutputOptions
  - StdUtils
dose3.npm
- Dose_npm
  - Npm_lexer
  - Npm_parser
  - Npmcudf
  - Packages
    
    package
dose3.opam2
- Dose_opam2
  - Opamcudf
  - Packages
    
    package
dose3.opencsw
- Dose_opencsw
  - Cswcudf
  - Packages
    
    Set
dose3.pef
- Dose_pef
dose3.versioning
- Dose_versioning
  - Debian
  - Semver
  - SemverNode
  - Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception Error of string

exception Unsat

val execsolver : 
  string ->
  string ->
  Cudf.cudf ->
  Cudf.preamble option * Cudf.universe

execsolver execute an external cudf solver. exec_pat : execution string criteria : optimization criteria cudf : a cudf document (preamble, universe, request)

raise UnSat or Error