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