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