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