Index of types

C
changeset [Common.CudfDiff]

a tuple holding the packages to be installed and the packages to be removed

ctable [Common.CudfAdd]

A table to associate to each id the list of packages id that are in conflict with it.

D
debtypes [Common.Url]
dep_t [Algo.Depsolver_int]

Solver Package Pool.

depclean_result [Algo.Depsolver]

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

diagnosis [Algo.Diagnostic]

The aggregated result from the solver

difference [Common.CudfDiff]

associates to each package name a change_set containing for each package name the associated versions of this package to be installed and removed

E
enc [Algo.Depsolver]
extramap [Debian.Debcudf]
F
filetypes [Common.Url]
G
global_constraints [Algo.Depsolver_int]
I
ident [Versioning.SemverNode]
L
label [Common.Util]
lit [Common.EdosSolver.T]

A literal.

O
options [Doseparse.StdOptions]
options [Opam.Packages]
options [Debian.Debcudf]
othertypes [Common.Url]
P
parse_extras_f [Pef.Packages]

Parsing function for extra values.

pool [Algo.Depsolver_int]

A pool can either be a low level representation of the universe where all integers are interpreted as solver variables or a universe where all integers are interpreted as cudf package indentifiers.

pp [Common.CudfAdd]
R
raw_version [Versioning.SemverNode]

Raw version components.

rawpackage [Doseparse.StdLoaders]
reason [Algo.Depsolver_int.R]
reason [Algo.Diagnostic]
reason [Common.EdosSolver.S]
reason_int [Algo.Diagnostic]

Low level Integer Un-installability reasons

release [Debian.Release]

The type for representing the contents of one release file

request [Opam.Packages]
request [Algo.Diagnostic]

The request provided to the solver

request_int [Algo.Diagnostic]
result [Algo.Depsolver_int]
result [Algo.Diagnostic]

The result of an installability query

result_int [Algo.Diagnostic]

the low-level result.

rpmtypes [Common.Url]
S
solver [Algo.Depsolver]

the solver is an abstract data type associated to a universe

solver [Algo.Depsolver_int]

internal state of the sat solver.

solver_result [Algo.Depsolver]
state [Common.EdosSolver.T]

state of the solver

summary [Algo.Diagnostic]

Collect aggregate information about not installable packages

summary [Common.CudfDiff]

The list of packages to install, remove, etc

T
t [Algo.Depsolver_int]
t [Common.Util.Timer]
t [Common.Util.Progress]
t [Common.Util.Messages]

create a new message handle with label t .

tables [Debian.Debcudf]

abstract data type holding the conversion tables for the debcudf translation.

U
url [Common.Url]
V
value [Common.EdosSolver.T]

The value of a literal

var [Common.EdosSolver.T]

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

version [Versioning.SemverNode]
version_analysis [Versioning.Debian]

result type of the analysis of a version string.