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