|
_avgdegree [Statistics.Make] |
|
_false [Flatten.Formula] |
|
_false [Flatten.Disj] |
|
_indata [Statistics.Make] |
|
_indatadegree [Statistics.Make] |
|
_outdata [Statistics.Make] |
|
_outdatadegree [Statistics.Make] |
|
_true [Flatten.Formula] |
|
A |
add [Challenged] |
|
add [Flatten.Conflict] |
|
add_edge [Defaultgraphs.IntPkgGraph] |
|
add_edge [Defaultgraphs.MakePackageGraph] |
|
add_edge [Defaultgraphs.SyntacticDependencyGraph] |
|
add_epochs [Evolution] |
|
add_normalize [Evolution] |
|
add_option [StdOptions.DistribOptions] |
|
add_option [StdOptions.InputOptions] |
|
add_option [StdOptions.OutputOptions] |
|
add_option [StdOptions.DistcheckOptions] |
|
add_options [StdOptions.DistribOptions] |
|
add_options [StdOptions.InputOptions] |
|
add_options [StdOptions.OutputOptions] |
|
add_options [StdOptions.DistcheckOptions] |
|
add_properties [CudfAdd] |
Add a new property to the given cudf preamble
|
add_rule [EdosSolver.T] |
add_rule st l add a disjuction to the solver of type
|
add_to_package_list [CudfAdd] |
|
add_unique [Evolution] |
|
al_regexp [Apt] |
|
align [Evolution] |
|
all_constraints [Evolution] |
|
all_disabled [Util.Messages] |
disable all handles in the module
|
all_enabled [Util.Messages] |
enable all handles in the module
|
all_paths [Defaultgraphs.SyntacticDependencyGraph] |
|
all_quiet [StdDebug] |
|
all_ver_constr [Evolution] |
|
all_versions [Evolution] |
|
apt_get_cmdline [Apt-cudf] |
|
arch_filter [Packages] |
|
assignment [EdosSolver.T] |
assignment st return the array of values associated to every variable.
|
assignment_true [EdosSolver.T] |
assignment_true st return the list of variables that are true
|
assoc [Packages] |
|
associate_vars [EdosSolver.T] |
associate_vars st lit vl associate a variable to a list of variables.
|
available [Util.Timer] |
return the labels of all available progress bar
|
available [Util.Progress] |
return the labels of all available progress bar
|
avalaible [Util.Messages] |
return the list of all labels known to the module
|
averageComponents [Statistics.Make] |
|
averageDegree [Statistics.Make] |
|
averageShortestPathLength [Statistics.Make] |
|
averageTwoStepReach [Statistics.Make] |
|
average_distance [Statistics.Make] |
|
B |
background [StdOptions.InputOptions] |
|
binset [Sources] |
Returns the set of binary packages generated by the packages in srclist.
|
blank_regexp [Apt] |
|
brokenlist [Challenged.Options] |
|
bzip_open_file [Input] |
load a file in bzip format - Not implemented yet
|
C |
centralityDegree [Statistics.Make] |
|
centralityInDegree [Statistics.Make] |
|
centralityOutDegree [Statistics.Make] |
|
challenged [Challenged] |
|
check [Flatten.Conflict] |
|
check_request [Depsolver] |
check_request check if there exists a solution for the give cudf document
if ?cmd is specified, it will be used to call an external cudf solver to
satisfy the request.
|
check_request_using [Depsolver] |
Same as check_request , but allows to specify any function to call the
external solver.
|
check_strong [Strongdeps_int] |
check if p strong depends on any packages in l
|
checkonly [StdOptions.InputOptions] |
|
checkonly [Challenged.Options] |
|
choose_criteria [Apt-cudf] |
|
clear [Debcudf] |
return the cudf version associated to a tuple (name,version).
|
close_ch [Input] |
|
cluster [Challenged.Options] |
|
cluster [Debutil] |
group_by_source universe returns a hashtbl that maps
(source,sourceversion) -> to a packages list
|
clustering [Statistics.Make] |
|
clustering_coefficient [Statistics.Make] |
|
cnf_iter [Evolution] |
|
coinst [Distcheck.Options] |
|
collect [Diagnostic] |
collect summary result .
|
collect_reasons [EdosSolver.T] |
in case of failure return the list of associated reasons
|
collect_reasons_lst [EdosSolver.T] |
in case of failure return the list of associated reasons
|
comma_regexp [Apt] |
|
compare [Defaultgraphs.PkgE] |
|
compare [Defaultgraphs.PkgV] |
|
compare [Defaultgraphs.SyntacticDependencyGraph.PkgE] |
|
compare [Defaultgraphs.SyntacticDependencyGraph.PkgV] |
|
compare [Strongconflicts_int.CflE] |
|
compare [Defaultgraphs.IntPkgGraph.PkgV] |
|
compare [Strongconflicts.CflE] |
|
compare [Flatten.Disj] |
|
compare [Flatten.Package] |
|
compare [Semantic_version] |
|
compare [Debian_version] |
compare x y returns 0 if x is eqivalent to y, -1 if x is smaller
than y, and 1 if x is greater than y.
|
compare [CudfAdd] |
Compare function: compares two CUDF packages using standard CUDF comparison operator (i.e.
|
components [Statistics.Make] |
|
compose [Debian_version] |
recompose a decomposed version string.
|
computeDegree [Statistics.Make] |
|
compute_pool [CudfAdd] |
|
cone [Ceve.Options] |
|
cone_maxdepth [Ceve.Options] |
|
conffile [Apt-cudf.Options] |
|
conflict_graph [Defaultgraphs.MakePackageGraph] |
Build the conflict graph from the given cudf universe
|
conj [Flatten.Formula] |
|
conj1 [Flatten.Formula] |
|
conj_iter [Evolution] |
|
conjbar [Strongdeps_int] |
|
conjdepgraph [Defaultgraphs.IntPkgGraph] |
for all id \in idlist add to the graph all conjunctive dependencies
|
conjdepgraph [Defaultgraphs.MakePackageGraph] |
for all id \in idlist add to the graph all conjunctive dependencies
|
conjdepgraph_int [Defaultgraphs.IntPkgGraph] |
add to the graph all conjunctive dependencies of package id
|
conjdepgraph_int [Defaultgraphs.MakePackageGraph] |
add to the graph all conjunctive dependencies of package id
|
conjdeps [Defaultgraphs.IntPkgGraph] |
given a graph return the conjunctive dependency closure of the package id
|
conjdeps [Defaultgraphs.MakePackageGraph] |
given a graph return the conjunctive dependency closure of the package id
|
conjdeps [Strongdeps] |
compute the conjunctive dependency graph considering only packages
in pkglist
|
conjdeps_univ [Strongdeps] |
compute the conjunctive dependency graph
|
conjl [Flatten.Formula] |
|
conjtimer [Strongdeps_int] |
|
connected_components [Defaultgraphs.MakePackageGraph] |
Return the list of connected component of an undirected graph
|
constraints [Evolution] |
constraints universe returns a map between package names
and an ordered list of constraints where the package name is
mentioned
|
copy [EdosSolver.T] |
provide a deep copy of the current state of the solver
|
copy_solver [Depsolver_int] |
return a copy of the state of the solver
|
create [Flatten.Conflict] |
|
create [Flatten.PTbl] |
|
create [Util.Timer] |
create s create and register a new logger named s
|
create [Util.Progress] |
create "barname" : create new a progress bar labelled "barname".
|
create [Util.Messages] |
|
create_group [StdOptions] |
|
criteria [Apt-cudf.Options] |
|
csw_load_list [StdLoaders] |
|
csw_parse_input [StdLoaders] |
|
cudf_load_list [StdLoaders] |
|
cudf_load_universe [StdLoaders] |
|
cudf_parse_input [StdLoaders] |
|
cudfop [CudfAdd] |
|
cut [Flatten.Disj] |
|
cvt [Strongconflicts] |
|
cycle_reduction [Defaultgraphs.MakePackageGraph] |
|
D |
deb_builds_from [StdOptions.DistribOptions] |
|
deb_foreign_archs [StdOptions.DistribOptions] |
|
deb_host_arch [StdOptions.DistribOptions] |
|
deb_ignore_essential [StdOptions.DistribOptions] |
|
deb_load_list [StdLoaders] |
|
deb_load_list_timer [StdLoaders] |
|
deb_load_source [StdLoaders] |
return a list of Debian packages from a debian source file
|
deb_load_source_timer [StdLoaders] |
|
deb_load_universe [StdLoaders] |
transform a list of debian control stanza into a cudf universe
|
deb_native_arch [StdOptions.DistribOptions] |
|
deb_parse_input [StdLoaders] |
|
debug [Util.Logging] |
|
debug [EdosSolver.T] |
enable debug messages
|
debvpkg [Debutil] |
convert a deb constraint into a cudf constraint
|
decode [CudfAdd] |
Decode a string.
|
decompose [Debian_version] |
decompose a version string
|
default [Defaultgraphs.PkgE] |
|
default [Defaultgraphs.SyntacticDependencyGraph.PkgE] |
|
default [Strongconflicts_int.CflE] |
|
default [Strongconflicts.CflE] |
|
default_edge_attributes [Defaultgraphs.IntPkgGraph.DotPrinter.Display] |
|
default_edge_attributes [Defaultgraphs.MakePackageGraph.DotPrinter.Display] |
|
default_edge_attributes [Defaultgraphs.SyntacticDependencyGraph.DotPrinter.Display] |
|
default_extras [Packages] |
|
default_options [StdOptions.DistribOptions] |
|
default_options [StdOptions.InputOptions] |
|
default_options [StdOptions.OutputOptions] |
|
default_options [StdOptions.DistcheckOptions] |
|
default_options [Debcudf] |
|
default_package [Packages] |
|
default_pp [Defaultgraphs.SyntacticDependencyGraph] |
|
default_pp [CudfAdd] |
default_pp default package printer.
|
default_request [Edsp] |
|
default_result [Diagnostic] |
|
default_source [Sources] |
|
default_vertex_attributes [Defaultgraphs.IntPkgGraph.DotPrinter.Display] |
|
default_vertex_attributes [Defaultgraphs.MakePackageGraph.DotPrinter.Display] |
|
default_vertex_attributes [Defaultgraphs.SyntacticDependencyGraph.DotPrinter.Display] |
|
degree [Statistics.Make] |
|
density [Statistics.Make] |
|
depclean [Depsolver] |
For each package p in packagelist , depclean univ packagelist detect
redundundant dependencies that refer to packages that are either missing
or not co-installable together with the root package p
|
dependency_closure [Depsolver_int] |
dependency_closure index l return the union of the dependency closure of
all packages in l .
|
dependency_closure [Depsolver] |
dependency_closure universe l compute the dependencies closure
of the give package list.
|
dependency_closure_cache [Depsolver_int] |
|
dependency_graph [Defaultgraphs.IntPkgGraph] |
Build the dependency graph from the given index.
|
dependency_graph [Defaultgraphs.MakePackageGraph] |
Build the dependency graph from the given cudf universe
|
dependency_graph [Defaultgraphs.SyntacticDependencyGraph] |
Build the syntactic dependency graph from the give cudf universe
|
dependency_graph_list [Defaultgraphs.IntPkgGraph] |
|
dependency_graph_list [Defaultgraphs.MakePackageGraph] |
Build the dependency graph from the given list of packages
|
depgraphbar [Defaultgraphs.SyntacticDependencyGraph] |
|
descr [StdOptions.DistribOptions] |
|
descr [StdOptions.InputOptions] |
|
descr [StdOptions.OutputOptions] |
|
descr [StdOptions.DistcheckOptions] |
|
description [Outdated.Options] |
|
description [Apt-cudf.Options] |
|
description [Ceve.Options] |
|
description [Distcheck.Options] |
|
di_regexp [Apt] |
|
disable [Util.Progress] |
disable "barname" : disable the progress bar with label "barname"
|
disable [Util.Messages] |
disable l the handle with label l
|
discriminant [Evolution] |
discriminants ?bottom ?ascending evalsel vl constraints
returns the discriminants of the versions vl w.r.t.
|
disj [Flatten.Formula] |
|
disj [Flatten.Disj] |
|
disjl [Flatten.Formula] |
|
disjl [Flatten.Disj] |
|
dot [StdOptions.OutputOptions] |
|
downgrades [Challenged.Options] |
|
dt [Util.Logging] |
|
dummy [Challenged] |
|
dummy [Outdated] |
|
dummy_loc [Format822] |
|
dump [Outdated.Options] |
|
dump [Apt-cudf.Options] |
|
dump [Util.Timer] |
print all timers that are enabled
|
dump [EdosSolver.T] |
if the solver was initialized with buffer = true ,
dump the state of the solver.
|
E |
edge_attributes [Defaultgraphs.IntPkgGraph.DotPrinter.Display] |
|
edge_attributes [Defaultgraphs.MakePackageGraph.DotPrinter.Display] |
|
edge_attributes [Defaultgraphs.SyntacticDependencyGraph.DotPrinter.Display] |
|
edos_coinstall [Depsolver] |
check if the give package list can be installed in the universe
|
edos_coinstall_prod [Depsolver] |
accept a list of list of packages and return the coinstallability test of
the cartesian product.
|
edos_install [Depsolver] |
check if the given package can be installed in the universe
|
edsp_load_list [StdLoaders] |
|
edsp_load_universe [StdLoaders] |
|
edsp_parse_input [StdLoaders] |
|
enable [Util.Timer] |
enable "barname" : enable the progress bar with label "barname"
|
enable [Util.Progress] |
enable "barname" : enable the progress bar with label "barname"
|
enable [Util.Messages] |
enable l the handle with label l
|
enable_bars [StdDebug] |
|
enable_debug [StdDebug] |
|
enable_timers [StdDebug] |
|
encode [CudfAdd] |
Encode a string.
|
eprintf [Util.Messages] |
Print the message on stderr if the Util module has been
* set to verbose using the function make_verbose and
* either the handle t is enable or all handles were enabled with
* the function all_enabled
|
eq_regexp [Apt] |
|
equal [Defaultgraphs.PkgE] |
|
equal [Defaultgraphs.PkgV] |
|
equal [Defaultgraphs.SyntacticDependencyGraph.PkgE] |
|
equal [Defaultgraphs.SyntacticDependencyGraph.PkgV] |
|
equal [Defaultgraphs.IntPkgGraph.PkgV] |
|
equal [Semantic_version] |
|
equal [Debian_version] |
|
equal [CudfAdd] |
Equality test: two CUDF packages are equal if their names and versions are equal.
|
equiv [Flatten.Formula] |
|
equiv [Flatten.Disj] |
|
evalsel [Challenged] |
|
evalsel [Outdated] |
|
exclude [Challenged] |
|
exists [Flatten.Conflict] |
|
exists [Flatten.Formula] |
|
exists [Flatten.Disj] |
|
explain [StdOptions.DistcheckOptions] |
|
explain [Apt-cudf.Options] |
|
explicit [Strongconflicts_int] |
|
extend_loc [Format822] |
|
extract_epoch [Debian_version] |
return the epoch component of the version.
|
extract_epochs [Evolution] |
|
extras [Edsp] |
|
extras_tocudf [Edsp] |
|
F |
failure [StdOptions.DistcheckOptions] |
|
fatal [Apt-cudf] |
|
fatal [Util.Logging] |
|
fields [Distcheck.Options] |
|
filter [Flatten.Formula] |
|
filter [Flatten.Disj] |
|
filter_conflicts [Flatten] |
|
find_broken [Depsolver] |
return the list of broken packages
|
find_installable [Depsolver] |
return the list of installable packages
|
find_listbroken [Depsolver] |
return the list of broken packages
|
find_listinstallable [Depsolver] |
return the list of installable packages
|
flatten_dep [Flatten] |
|
flatten_dependencies [Flatten] |
|
flatten_deps [Flatten] |
|
flatten_repository [Flatten] |
|
fold [Flatten.Formula] |
|
fold [Flatten.Disj] |
|
fold [Flatten.PTbl] |
|
foldi [Flatten.PTbl] |
|
for_all [Flatten.Conflict] |
|
for_all [Flatten.Disj] |
|
foreground [StdOptions.InputOptions] |
|
foreign_archs [Apt-cudf.Options] |
|
fprintf [Diagnostic] |
printf fmt d print the output of the solver in yaml format
to the formatter fmt .
|
fprintf_human [Diagnostic] |
print a human readable explanation (DEV)
|
from_apt_request [Edsp] |
|
from_channel [Format822] |
|
future [Outdated] |
|
G |
general_regexp [Apt] |
|
get [Flatten.PTbl] |
|
get_architectures [StdUtils] |
|
get_bin_packages [Sources] |
Returns the list of binary packages associated to a package of "Type" source
encoded by the function sources2packages.
|
get_cudf_version [Debcudf] |
|
get_installationset [Diagnostic] |
If the installablity query is successfull, get_installationset return
the associated installation set .
|
get_package_list [CudfAdd] |
|
get_property [CudfAdd] |
return the value of the requested property.
|
get_real_version [Debcudf] |
return the real version associated to a Cudf package
|
get_source [Debutil] |
|
get_src_package [Sources] |
get_src_package universe binpkg returns the source package associate
with the given binary package.
|
get_subgraph [Defaultgraphs.IntPkgGraph.DotPrinter.Display] |
|
get_subgraph [Defaultgraphs.MakePackageGraph.DotPrinter.Display] |
|
get_subgraph [Defaultgraphs.SyntacticDependencyGraph.DotPrinter.Display] |
|
graph_attributes [Defaultgraphs.IntPkgGraph.DotPrinter.Display] |
|
graph_attributes [Defaultgraphs.MakePackageGraph.DotPrinter.Display] |
|
graph_attributes [Defaultgraphs.SyntacticDependencyGraph.DotPrinter.Display] |
|
group [StdOptions.DistribOptions] |
|
group [StdOptions.InputOptions] |
|
group [StdOptions.OutputOptions] |
|
group [StdOptions.DistcheckOptions] |
|
grp_option [Ceve.Options] |
|
grp_type [Ceve.Options] |
|
gtypes [Ceve.Options] |
|
guess_format [Distcheck] |
|
guess_format [Input] |
guess the input format from a list of list of uris and check
* if the list is omogenueous w.r.t the guessed format.
|
gzip_open_file [Input] |
load a file in gzip format
|
H |
has [Flatten.Conflict] |
|
hash [Defaultgraphs.PkgE] |
|
hash [Defaultgraphs.PkgV] |
|
hash [Defaultgraphs.SyntacticDependencyGraph.PkgE] |
|
hash [Defaultgraphs.SyntacticDependencyGraph.PkgV] |
|
hash [Defaultgraphs.IntPkgGraph.PkgV] |
|
hash [CudfAdd] |
A hash function for CUDF packages, using only their name and version.
|
human [Apt-cudf.Options] |
|
I |
if_application [StdUtils] |
|
impactlist [Strongdeps_int] |
invariant : we assume the graph is NOT detransitivitized
|
impactset [Strongdeps_int] |
|
impactset [Strongdeps] |
compute the impact set of the node q , that is the list of all
packages p that strong depends on q
|
implies [Flatten.Formula] |
|
implies [Flatten.Disj] |
|
implies1 [Flatten.Formula] |
|
implies1 [Flatten.Disj] |
|
incr_str_list [StdOptions] |
|
info [Util.Logging] |
|
init [Flatten.PTbl] |
|
init_conflicts [CudfAdd] |
Create a ctable from a package universe
|
init_map [Depsolver_int] |
|
init_pool_univ [Depsolver_int] |
|
init_solver_cache [Depsolver_int] |
initalise the sat solver.
|
init_solver_closure [Depsolver_int] |
low level constraint solver initialization
|
init_solver_pool [Depsolver_int] |
this function creates an array indexed by solver ids that can be
used to init the edos solver
|
init_solver_univ [Depsolver_int] |
low level constraint solver initialization
|
init_tables [Debcudf] |
initialize the version conversion tables
|
initialize_problem [EdosSolver.T] |
initialize the solver initialize_problem n
|
input_all_lines [Apt-cudf] |
|
input_raw [Edsp] |
|
input_raw [Sources] |
parse a debian Sources file.
|
input_raw [Packages] |
input_raw file : parse a debian Packages file from file
~archs determines which which architectures should be considered while
parsing the Packages file.
|
input_raw [Format822.RawInput] |
|
input_raw_ch [Edsp] |
|
input_raw_ch [Packages] |
input_raw_ch ch : parse a debian Packages file from channel ch
|
input_raw_ch [Format822.RawInput] |
|
inputtype [StdOptions.InputOptions] |
|
installed_re [Packages] |
|
int_versions [StdOptions.DistribOptions] |
|
inttovar [CudfAdd] |
Given a universe and a cudf id returns the corresponding package.
|
is_composition [Flatten] |
|
is_enabled [Util.Messages] |
|
is_essential [CudfAdd] |
Returns true if the package is essential, that is the cudf package has
a extra property named "essential" and its value is "yes"
|
is_installed [Edsp] |
|
is_installed [Packages] |
|
is_on_hold [Edsp] |
|
is_on_hold [Packages] |
|
is_solution [Diagnostic] |
True is the result of an installablity query is successfull.
|
is_source [Sources] |
Check if a package is of "Type" source as encoded by the function sources2packages
|
it [Util.Logging] |
|
iter [Flatten.Conflict] |
|
iter [Flatten.Formula] |
|
iter [Flatten.Disj] |
|
iter_on_packages [Flatten.Conflict] |
|
iteri [Flatten.PTbl] |
|
L |
label [Statistics] |
|
label [Defaultgraphs] |
|
label [Strongconflicts_int] |
|
label [Strongdeps_int] |
|
label [Strongconflicts] |
|
label [StdUtils] |
|
label [StdOptions] |
|
label [StdLoaders] |
|
label [StdDebug] |
|
label [Challenged] |
|
label [Outdated] |
|
label [Ceve] |
|
label [Distcheck] |
|
label [Debutil] |
|
label [Edsp] |
|
label [Apt] |
|
label [Sources] |
|
label [Packages] |
|
label [Flatten] |
|
label [Depsolver_int] |
|
label [Format822] |
|
largestComponent [Statistics.Make] |
|
latest [StdOptions.InputOptions] |
|
latest [Challenged.Options] |
|
latest [Challenged] |
|
latest [CudfAdd] |
Returns a list of packages containing for each package only the
latest version
|
lesser_or_equal [Challenged] |
|
lexbuf_wrapper [Packages] |
|
list_unique [Util] |
return a list of unique elements.
|
listcheck [Depsolver] |
|
lit [Flatten.Formula] |
|
lit [Flatten.Disj] |
|
lit_disj [Flatten.Formula] |
|
lit_disj [Flatten.Disj] |
|
lit_of_var [EdosSolver.T] |
lit_of_var given a variable create a positive or a negative literal.
|
lltocudf [Debcudf] |
convert a debian dependency list in a cudf constraints formula
|
load [Defaultgraphs.IntPkgGraph] |
|
load [Defaultgraphs.MakePackageGraph] |
|
load [Depsolver] |
initialize the solver.
|
load_cudf [StdLoaders] |
parse a cudf file and return a triple (preamble,universe,request option).
|
load_list [StdLoaders] |
parse and merge a list of files into a cudf package list
|
load_list [Debcudf] |
create a Cudf package list from a debian package representation list.
|
load_list_timer [StdLoaders] |
|
load_universe [StdLoaders] |
parse and merge a list of files into a cudf universe
|
load_universe [Debcudf] |
create a Cudf universe from a debian package representation list.
|
loadl [Ceve] |
|
loc_of_lexbuf [Format822] |
|
localbar [Strongconflicts_int] |
|
ltocudf [Debcudf] |
convert a debian conflict list in a cudf constraints list
|
M |
main [Challenged] |
|
main [Outdated] |
|
main [Apt-cudf] |
|
main [Ceve] |
|
main [Distcheck] |
|
mainbar [Strongdeps_int] |
|
map [Flatten.Formula] |
|
map [Flatten.PTbl] |
|
mapi [Flatten.PTbl] |
|
matcharch [Sources] |
|
matchprofile [Sources] |
|
maxInDegree [Statistics.Make] |
|
maxOutDegree [Statistics.Make] |
|
maybe_remove [Flatten] |
|
memo [Util] |
A generic memoization function.
|
merge [Packages] |
|
migrate [Evolution] |
|
minimal [StdOptions.DistcheckOptions] |
|
N |
native_arch [Apt-cudf.Options] |
|
noop [Apt-cudf.Options] |
|
normalize [Flatten.Formula] |
|
normalize [Flatten.Disj] |
|
normalize_set [CudfAdd] |
normalize_set l returns the list l without any duplicate element.
|
notice [Util.Logging] |
|
nr_conflicts [Ceve] |
|
nt [Util.Logging] |
|
numberComponents [Statistics.Make] |
|
O |
of_disj [Flatten.Formula] |
|
of_package [Flatten.Conflict] |
|
open_ch [Input] |
|
open_file [Input] |
load a file either in gzip, bzip or not compressed format
|
options [StdOptions.Ot] |
|
options [StdOptions.MakeOptions] |
|
options [Challenged.Options] |
|
options [Outdated.Options] |
|
options [Apt-cudf.Options] |
|
options [Ceve.Options] |
|
options [Distcheck.Options] |
|
otypes [Ceve.Options] |
|
out [Defaultgraphs.MakePackageGraph] |
|
out_option [Ceve.Options] |
|
out_type [Ceve.Options] |
|
outdated [Outdated] |
|
outdir [StdOptions.OutputOptions] |
|
outfile [StdOptions.OutputOptions] |
|
output_clauses [Depsolver] |
output_clauses enc univ return a string encoded accordingly to enc
(default cnf).
|
P |
packages_parser [Edsp] |
|
packages_parser [Packages] |
|
parse [Semantic_version] |
|
parse_apt_id [Edsp] |
|
parse_apt_pin [Edsp] |
|
parse_architecture [Packages] |
|
parse_architectures [Sources] |
|
parse_automatic [Edsp] |
|
parse_binarylist [Packages] |
|
parse_bool [Packages] |
|
parse_bool_s [Edsp] |
|
parse_builddepsformula [Sources] |
|
parse_builddepslist [Sources] |
|
parse_candidate [Edsp] |
|
parse_cmdline [StdOptions.InputOptions] |
give a list of positional arguments returns two list of resources,
foreground and background.
|
parse_conf_file [Apt-cudf] |
|
parse_cudf [StdLoaders] |
parse a cudf file and return a triple (preamble,package list,request
option).
|
parse_e [Packages] |
|
parse_edsp_version [Edsp] |
|
parse_from_ch [Format822] |
|
parse_hold [Edsp] |
|
parse_input [StdLoaders] |
parse a list of uris of the same type and return a cudf packages list
|
parse_inst [Apt] |
|
parse_inst_from_cmd [Apt] |
|
parse_inst_from_file [Apt] |
|
parse_installed [Edsp] |
|
parse_int [Packages] |
|
parse_int_s [Edsp] |
|
parse_multiarch [Packages] |
|
parse_name [Sources] |
|
parse_name [Packages] |
|
parse_package_stanza [Sources] |
|
parse_package_stanza [Packages] |
|
parse_packages_in [Packages] |
|
parse_pin [Apt] |
|
parse_pkg_req [Apt] |
|
parse_popcon [Apt] |
|
parse_pref_labels [Apt] |
|
parse_pref_package [Apt] |
|
parse_preferences_in [Apt] |
parse the apt_preferences file
|
parse_preferences_stanza [Apt] |
|
parse_release_in [Release] |
parse_release_in filename channel parses the contents of a release
file of name filename from the input channel channel .
|
parse_req [Edsp] |
|
parse_req [Apt] |
|
parse_request [Ceve] |
|
parse_request_apt [Apt] |
parse a string containing an apt-get command line
|
parse_request_aptitude [Apt] |
|
parse_request_stanza [Edsp] |
|
parse_s [Edsp] |
|
parse_s [Sources] |
|
parse_s [Packages] |
|
parse_section [Edsp] |
|
parse_solver_spec [Apt-cudf] |
|
parse_source [Packages] |
|
parse_sources_in [Sources] |
parse a debian Sources file from channel
|
parse_string [Edsp] |
|
parse_string [Packages] |
|
parse_string_list [Edsp] |
|
parse_string_opt [Edsp] |
|
parse_uri [Input] |
parse a uri.
|
parse_version [Sources] |
|
parse_version [Packages] |
|
parse_vpkg [Packages] |
|
parse_vpkgformula [Packages] |
|
parse_vpkglist [Packages] |
|
parser_wrapper_ch [Format822] |
|
pef_load_list [StdLoaders] |
|
pef_parse_input [StdLoaders] |
|
pin_regexp [Apt] |
|
pkgcheck [Depsolver_int] |
|
pkglist [StdDebian] |
|
pkglist_option [StdOptions] |
|
pkglist_option [StdDebian] |
|
pkgnames [CudfAdd] |
Returns the set of all names in the given universe
|
pkgset [Challenged] |
|
pp [Defaultgraphs.SyntacticDependencyGraph] |
|
pp [Challenged] |
|
pp [CudfAdd] |
pp ?decode from_cudf pkg package pretty printer.
|
pp_dependencies [Diagnostic] |
Print the list of dependencies of a package.
|
pp_dependency [Diagnostic] |
print a list of cudf dependency.
|
pp_list [Diagnostic] |
|
pp_lpos [Format822] |
|
pp_out_version [Diagnostic] |
print output version
|
pp_package [Diagnostic] |
default package pretty printer.
|
pp_package [CudfAdd] |
|
pp_pkg [Apt-cudf] |
|
pp_pkg_list [Apt-cudf] |
|
pp_pkg_list_tran [Apt-cudf] |
|
pp_posfname [Format822] |
|
pp_summary [Diagnostic] |
print a aggregate information of not installable packages.
|
pp_timer [Util.Timer] |
|
pp_version [CudfAdd] |
|
pp_versions_table [StdUtils] |
|
pp_vpkg [CudfAdd] |
cudf vpkglist printer.
|
pp_vpkglist [CudfAdd] |
cudf vpkglist printer.
|
preamble [Debcudf] |
declare the Cudf preamble used by cudf.
|
pred_list [Defaultgraphs.MakePackageGraph] |
|
pred_set [Defaultgraphs.MakePackageGraph] |
|
predbar [Challenged] |
|
preferences_parser [Apt] |
|
print [Defaultgraphs.IntPkgGraph.DotPrinter] |
|
print [Defaultgraphs.MakePackageGraph.DotPrinter] |
|
print [Defaultgraphs.SyntacticDependencyGraph.DotPrinter] |
|
print [Flatten.Formula] |
|
print [Flatten.Disj] |
|
print [Flatten.Package] |
|
print_dot [Diagnostic] |
print the explanation graph in dot format to the standard formatter
|
print_error [Diagnostic] |
|
print_error_human [Diagnostic] |
|
print_list [Flatten] |
|
print_progress [Apt-cudf] |
|
print_set [Flatten] |
|
printf [Diagnostic] |
like fprintf but print using the standard formatter
|
progress [StdOptions.MakeOptions] |
|
progress [Util.Progress] |
increment the progress bar of i units
|
progressbar_init [Depsolver_int] |
progress bar
|
progressbar_univcheck [Depsolver_int] |
|
propagate [EdosSolver.T] |
|
protect [EdosSolver.T] |
|
pset_map [Flatten] |
|
pset_of_lst [Flatten] |
|
Q |
quiet [StdOptions.MakeOptions] |
|
R |
range [Evolution] |
|
range [Util] |
|
re_semver [Semantic_version] |
|
read_deb [StdLoaders] |
read a debian Packages file - compressed or not
|
realversionmap [CudfAdd] |
build a hash table that associates (package name, String version) to CUDF packages
|
reason [Strongconflicts] |
|
remove [Flatten.Conflict] |
|
remove_deps [Flatten] |
|
remove_redundant_conflicts [Flatten] |
|
remove_self_conflicts [Flatten] |
|
removezdp [Statistics.Make] |
|
repository [Flatten] |
|
request [Ceve.Options] |
|
request [Depsolver] |
Turn a request from Diagnostic_int into one of Diagnostic
|
requesttocudf [Edsp] |
|
reset [Util.Progress] |
reset the progress bar
|
reset [EdosSolver.T] |
reset reset the state of the solver to a state that would be obtained
by re initializing the solver with an identical constraints set
|
resolve_deps [CudfAdd] |
Return the list of packages satisfying the vpkg list
|
resolve_vpkg_int [CudfAdd] |
Like who_provides but returns a list of cudf ids
|
resolve_vpkgs_int [CudfAdd] |
Like resolve_deps but returns a list of cudf ids
|
result [Depsolver] |
Turn a result from Diagnostic_int into one of Diagnostic
|
reverse_cone [Ceve.Options] |
|
reverse_dependencies [Depsolver_int] |
reverse_dependencies index return an array that associates to a package id
i the list of all packages ids that have a dependency on i .
|
reverse_dependencies [Depsolver] |
reverse_dependencies univ compute the reverse dependency list of all
packages in the universe univ
|
reverse_dependency_closure [Depsolver_int] |
return the dependency closure of the reverse dependency graph.
|
reverse_dependency_closure [Depsolver] |
reverse_dependencies_closure univ compute the reverse dependency list of all
packages in l in the universe univ
|
rpm_load_list [StdLoaders] |
transform a list of rpm control stanza into a cudf packages list
|
rpm_load_universe [StdLoaders] |
transform a list of rpm control stanza into a cudf universe
|
S |
scatteredPlotBoth [Statistics.Make] |
|
scatteredPlotIn [Statistics.Make] |
|
scatteredPlotOut [Statistics.Make] |
|
sctimer [Strongconflicts_int] |
timer
|
seedingbar [Strongconflicts_int] |
progress bar
|
select [Sources] |
|
sep [Sources] |
|
set [Flatten.PTbl] |
|
set_deb_options [StdOptions.DistribOptions] |
|
set_default_options [StdOptions.DistribOptions] |
|
set_options [StdOptions.DistribOptions] |
|
set_total [Util.Progress] |
set_total bar 10 : set the max width of the progress bar to 10 units
|
simplify_formula [Flatten] |
|
solve [Depsolver_int] |
low level call to the sat solver
|
solve [EdosSolver.T] |
|
solve_all [EdosSolver.T] |
solve st v finds a variable assignment that makes v True
|
solve_lst [EdosSolver.T] |
solve st l finds a variable assignment that makes True all variables in l
|
solver [Apt-cudf.Options] |
|
solver_dir [Apt-cudf] |
|
somedisj [Strongdeps_int] |
|
sort [CudfAdd] |
Sort function: sorts a CUDF packages list using the standard CUDF comparison operator in ascending order
|
sources2packages [Sources] |
transform a list of sources packages into dummy binary packages.
|
src2pkg [Sources] |
|
srcbin_table [Sources] |
Returns an hash table that associates source packages (encoded by the
function sources2packages) to binary packages in the universe.
|
start [Util.Timer] |
|
stats [EdosSolver.T] |
|
status_filter [Packages] |
|
std_open_file [Input] |
load a non compressed file
|
stop [Util.Timer] |
|
str_list_option [StdOptions] |
|
string_of [CudfAdd] |
|
string_of_list [Util] |
|
string_of_package [CudfAdd] |
return a string of the form "name ( = version)"
|
string_of_range [Evolution] |
|
string_of_version [CudfAdd] |
return a string containg either the value of the optional field
"number" or the cudf version
|
strip [Challenged] |
|
strip_cudf_pool [Depsolver_int] |
|
strip_epoch [Debian_version] |
return a version without its epoch part
|
strip_epoch_binnmu [Debian_version] |
return a version without its epoch and without its binNMU part
|
strip_solver_pool [Depsolver_int] |
|
strong_depends [Strongdeps_int] |
check if p strongly depends on q.
|
strongconflicts [Strongconflicts_int] |
|
strongconflicts [Strongconflicts] |
|
strongdeps [Strongdeps_int] |
|
strongdeps [Strongdeps] |
strongdeps u l build the strong dependency graph of all packages in
l wrt the universe u
|
strongdeps_int [Strongdeps_int] |
strongdeps l build the strong dependency graph of l
|
strongdeps_univ [Strongdeps_int] |
|
strongdeps_univ [Strongdeps] |
strongdeps_univ u build the strong dependency graph of
all packages in the universe u
|
stronglist [Strongdeps_int] |
invariant : we assume the graph is NOT detransitivitized
|
strongset [Strongdeps_int] |
|
strongtimer [Strongdeps_int] |
|
subgraph [Defaultgraphs.GraphOper] |
extract the subgraph induced by the list l
|
succ_list [Defaultgraphs.MakePackageGraph] |
|
succ_set [Defaultgraphs.MakePackageGraph] |
|
success [StdOptions.DistcheckOptions] |
|
summary [StdOptions.DistcheckOptions] |
|
supported_formats [StdLoaders] |
|
swap [Strongconflicts_int] |
|
sync [Outdated] |
|
T |
timer [Outdated] |
|
timer [Distcheck] |
|
timer [Format822] |
|
timers [StdOptions.MakeOptions] |
|
timestamp [Util] |
|
to_lit [Flatten.Disj] |
|
to_lits [Flatten.Disj] |
|
to_set [Strongconflicts_int] |
|
to_set [CudfAdd] |
Convert a list of CUDF packages to a set of CUDF packages.
|
tocudf [Edsp] |
|
tocudf [Debcudf] |
tocudf tbl p
convert the a debian package representation to cudf.
|
tr_timer [Defaultgraphs] |
|
transitive_reduction [Defaultgraphs.GraphOper] |
transitive reduction.
|
trbar [Defaultgraphs] |
|
triangle [Strongconflicts_int] |
|
trim [StdOptions.InputOptions] |
|
trim [Depsolver] |
remove uninstallable packages from the universe .
|
trimlist [Depsolver] |
remove uninstallable packages from the pkglist .
|
U |
undirect [Statistics.Make] |
|
undirect [Defaultgraphs.MakePackageGraph] |
|
univcheck [Depsolver] |
univcheck check if all packages in the universe can be installed.
|
unpack [StdLoaders] |
|
unpack_l [StdLoaders] |
|
upgrade [Challenged] |
|
uuid [Util] |
|
V |
vartoint [CudfAdd] |
Return the unique cudf id of a package in a universe
|
verbose [StdOptions.MakeOptions] |
|
version_of_target [Challenged] |
|
version_of_target [Outdated] |
|
vertex_attributes [Defaultgraphs.IntPkgGraph.DotPrinter.Display] |
|
vertex_attributes [Defaultgraphs.MakePackageGraph.DotPrinter.Display] |
|
vertex_attributes [Defaultgraphs.SyntacticDependencyGraph.DotPrinter.Display] |
|
vertex_name [Defaultgraphs.IntPkgGraph.DotPrinter.Display] |
|
vertex_name [Defaultgraphs.MakePackageGraph.DotPrinter.Display] |
|
vertex_name [Defaultgraphs.SyntacticDependencyGraph.DotPrinter.Display] |
|
vpkg_option [StdOptions] |
|
vpkg_option [StdDebian] |
|
vpkglist_option [StdOptions] |
|
vpkglist_option [StdDebian] |
|
W |
warning [Util.Logging] |
|
weaklycomponents [Statistics.Make] |
|
who_conflicts [CudfAdd] |
Return the list of packages in conflict with the given package
|
who_depends [CudfAdd] |
Returns the list of packages that are dependencies of the given package
|
who_provides [CudfAdd] |
Return the list of packages that that respect the given constraint
|
wt [Util.Logging] |
|
Z |
zdp [Statistics.Make] |
|