Up
Index of types
A
apt_preferences
[
Apt.Pref
]
apt_req
[
Apt
]
C
cfl_type
[
Strongconflicts_int
]
cfl_type
[
Strongconflicts
]
ctable
[
CudfAdd
]
A table to associate to each id the list of packages id that are in conflict with it.
D
dep_t
[
Depsolver_int
]
depclean_result
[
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
[
Diagnostic
]
The aggregated result from the solver
doc
[
Format822
]
E
enc
[
Depsolver
]
extramap
[
Debcudf
]
F
f822_parser
[
Format822
]
L
label
[
Util
]
lit
[
EdosSolver.T
]
A literal.
loc
[
Format822
]
O
options
[
StdOptions
]
options
[
Debcudf
]
P
package
[
Packages
]
debian package format
package_t
[
Apt.Pref
]
pin_priority_t
[
Apt.Pref
]
pin_t
[
Apt.Pref
]
pkg
[
Defaultgraphs.SyntacticDependencyGraph
]
pool
[
Depsolver_int
]
pool_t
[
Depsolver_int
]
pp
[
CudfAdd
]
R
range
[
Evolution
]
rawpackage
[
StdLoaders
]
reason
[
Diagnostic_int
]
reason
[
Depsolver_int.R
]
reason
[
Diagnostic
]
reason
[
EdosSolver.S
]
release
[
Release
]
The type for representing the contents of one release file
request
[
Edsp
]
request
[
Diagnostic_int
]
request
[
Diagnostic
]
Check the installability of a list of packages
result
[
Diagnostic_int
]
result
[
Depsolver_int
]
result
[
Diagnostic
]
The result of an installability query
S
s
[
Defaultgraphs.SyntacticDependencyGraph.PkgE
]
solver
[
Depsolver_int
]
low level solver data type
solver
[
Depsolver
]
the solver is an abstract data type associated to a universe
solver_result
[
Depsolver
]
source
[
Sources
]
stanza
[
Format822
]
state
[
EdosSolver.T
]
state of the solver
summary
[
Diagnostic
]
Collect aggregate information about not installable packages
T
t
[
Defaultgraphs.PkgE
]
t
[
Defaultgraphs.PkgV
]
t
[
Defaultgraphs.SyntacticDependencyGraph.PkgE
]
t
[
Defaultgraphs.SyntacticDependencyGraph.PkgV
]
t
[
Strongconflicts_int.CflE
]
t
[
Defaultgraphs.IntPkgGraph.PkgV
]
t
[
Strongconflicts.CflE
]
t
[
Flatten.Conflict
]
t
[
Flatten.Formula
]
t
[
Flatten.Disj
]
t
[
Flatten.PTbl
]
t
[
Flatten.Package
]
t
[
Util.Timer
]
t
[
Util.Progress
]
t
[
Util.Messages
]
create a new message handle with label
t
.
tables
[
Debcudf
]
abstract data type holding the conversion tables for the debcudf translation.
V
value
[
EdosSolver.T
]
The value of a literal
var
[
EdosSolver.T
]
variables are integers numbered from 0 to (size - 1)
version_analysis
[
Debian_version
]
result type of the analysis of a version string.