Index of values


_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]