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
  - 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

module X = R

generic failure reason

type state

state of the solver

type var = int

variables are integers numbered from 0 to (size - 1)

type value =

| True
| False
| Unknown

The value of a literal

type lit

A literal. Literals can be positive or negative

val lit_of_var : var -> bool -> lit

lit_of_var given a variable create a positive or a negative literal. By default the assigment of all variables (that is its value) is Unknown.

val initialize_problem : 
  ?print_var:(Format.formatter -> int -> unit) ->
  ?buffer:bool ->
  int ->
  state

initialize the solver initialize_problem n

parameter print_var
a function to print a variable

parameter buffer
decide weather or not to store a human readable representaion of the sat problem.

parameter n
the size of the sat problem. that is the max number of variables to consider

val copy : state -> state

provide a deep copy of the current state of the solver

val propagate : state -> unit

val protect : state -> unit

val reset : state -> unit

reset reset the state of the solver to a state that would be obtained by re initializing the solver with an identical constraints set

val assignment : state -> value array

assignment st return the array of values associated to every variable.

val assignment_true : state -> var list

assignment_true st return the list of variables that are true

val add_rule : state -> lit array -> X.reason list -> unit

add_rule st l add a disjuction to the solver of type \Bigvee l

val associate_vars : state -> lit -> var list -> unit

associate_vars st lit vl associate a variable to a list of variables. The solver will use this information to guide the search heuristic

val solve_all : (state -> unit) -> state -> var -> bool

val solve : state -> var -> bool

solve st v finds a variable assignment that makes v True

val solve_lst : state -> var list -> bool

solve st l finds a variable assignment that makes True all variables in l

val collect_reasons : state -> var -> X.reason list

in case of failure return the list of associated reasons

val collect_reasons_lst : state -> var list -> X.reason list

in case of failure return the list of associated reasons

val dump : state -> (int * bool) list list

if the solver was initialized with buffer = true, dump the state of the solver. Return an empty list otherwise

val debug : bool -> unit

enable debug messages

val stats : state -> unit