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]

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
rawpackage [Doseparse.StdLoaders]
reason [Algo.Depsolver_int.R]
reason [Algo.Diagnostic]
Un-installability reasons
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]
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_analysis [Versioning.Debian]
result type of the analysis of a version string.