A | |
add_debian_options [Doseparse.StdOptions.DistribOptions] | |
add_opam_options [Doseparse.StdOptions.DistribOptions] | |
add_option [Doseparse.StdOptions.DistribOptions] | |
add_option [Doseparse.StdOptions.InputOptions] | |
add_option [Doseparse.StdOptions.OutputOptions] | |
add_option [Doseparse.StdOptions.DistcheckOptions] | |
add_options [Doseparse.StdOptions.InputOptions] | |
add_options [Doseparse.StdOptions.OutputOptions] | |
add_options [Doseparse.StdOptions.DistcheckOptions] | |
add_properties [Common.CudfAdd] | Add a new property to the given cudf preamble |
add_rule [Common.EdosSolver.T] |
|
add_to_package_list [Common.CudfAdd] | |
all_disabled [Common.Util.Messages] | disable all handles in the module |
all_enabled [Common.Util.Messages] | enable all handles in the module |
all_quiet [Doseparse.StdDebug] | |
assignment [Common.EdosSolver.T] |
|
assignment_true [Common.EdosSolver.T] |
|
assoc [Pef.Packages] | |
associate_vars [Common.EdosSolver.T] |
|
available [Common.Util.Timer] | return the labels of all available progress bar |
available [Common.Util.Progress] | return the labels of all available progress bar |
avalaible [Common.Util.Messages] | return the list of all labels known to the module |
B | |
background [Doseparse.StdOptions.InputOptions] | |
blank_regexp [Pef.Packages] | |
C | |
check_request [Algo.Depsolver] |
|
check_request_using [Algo.Depsolver] | Same as |
checkonly [Doseparse.StdOptions.InputOptions] | |
clear [Debian.Debcudf] | return the cudf version associated to a tuple (name,version). |
close_ch [Common.Input] | |
cluster [Debian.Debutil] |
|
collect [Algo.Diagnostic] |
|
collect_reasons [Common.EdosSolver.T] | in case of failure return the list of associated reasons |
collect_reasons_lst [Common.EdosSolver.T] | in case of failure return the list of associated reasons |
comma_regexp [Pef.Packages] | |
comp_option [Doseparse.StdOptions.InputOptions] | |
compare [Doseparse.StdOptions.InputOptions] | |
compare [Versioning.SemverNode] | Compare two versions. |
compare [Versioning.Semver] | Compare two versions in the strings using a strict semantic versioning * parser |
compare [Versioning.Debian] |
|
compare [Common.CudfAdd] | Compare function: compares two CUDF packages using standard CUDF comparison operator (i.e. |
compare_version [Versioning.SemverNode] | Compare two versions. |
compose [Versioning.SemverNode] | recompose a version string. |
compose [Versioning.Debian] | recompose a decomposed version string. |
compute_pool [Common.CudfAdd] | |
condense [Doseparse.StdOptions.DistcheckOptions] | |
cone [Common.CudfAdd] | Compute the depenency cone of a list of packages |
conjdeps [Algo.Strongdeps] | compute the conjunctive dependency graph considering only packages
in |
conjdeps_univ [Algo.Strongdeps] | compute the conjunctive dependency graph |
convert [Versioning.SemverNode] | Raise Failure if the string cannot be converted |
copy [Common.EdosSolver.T] | provide a deep copy of the current state of the solver |
copy_solver [Algo.Depsolver_int] | return a copy of the state of the solver |
create [Common.Util.Timer] |
|
create [Common.Util.Progress] |
|
create [Common.Util.Messages] | |
create_group [Doseparse.StdOptions] | |
criteria_option [Doseparse.StdOptions] | |
csw_load_list [Doseparse.StdLoaders] | |
csw_parse_input [Doseparse.StdLoaders] | |
cudf_load_list [Doseparse.StdLoaders] | |
cudf_load_universe [Doseparse.StdLoaders] | |
cudf_parse_input [Doseparse.StdLoaders] | |
D | |
deb_builds_from [Doseparse.StdOptions.DistribOptions] | |
deb_drop_bd_arch [Doseparse.StdOptions.DistribOptions] | |
deb_drop_bd_indep [Doseparse.StdOptions.DistribOptions] | |
deb_foreign_archs [Doseparse.StdOptions.DistribOptions] | |
deb_group [Doseparse.StdOptions.DistribOptions] | |
deb_host_arch [Doseparse.StdOptions.DistribOptions] | |
deb_ignore_essential [Doseparse.StdOptions.DistribOptions] | |
deb_load_list [Doseparse.StdLoaders] | |
deb_load_list_timer [Doseparse.StdLoaders] | |
deb_load_source [Doseparse.StdLoaders] | return a list of Debian packages from a debian source file |
deb_load_source_timer [Doseparse.StdLoaders] | |
deb_load_universe [Doseparse.StdLoaders] | transform a list of debian control stanza into a cudf universe |
deb_native_arch [Doseparse.StdOptions.DistribOptions] | |
deb_parse_input [Doseparse.StdLoaders] | |
deb_profiles [Doseparse.StdOptions.DistribOptions] | |
debug [Common.Util.Logging] | |
debug [Common.EdosSolver.T] | enable debug messages |
decode [Common.CudfAdd] | Decode a string. |
decompose [Versioning.Debian] | decompose a version string |
default_criteria [Common.Criteria] | An associative list containing the criteria associated to the following shortcuts : upgrade, dist-upgrade, install, remove, paranoid, trendy |
default_extras [Debian.Packages] | |
default_options [Doseparse.StdOptions.DistribOptions] | |
default_options [Doseparse.StdOptions.InputOptions] | |
default_options [Doseparse.StdOptions.OutputOptions] | |
default_options [Doseparse.StdOptions.DistcheckOptions] | |
default_options [Debian.Debcudf] | |
default_pp [Common.CudfAdd] |
|
default_request [Opam.Packages] | |
default_result [Algo.Diagnostic] | |
depclean [Algo.Depsolver] | For each package |
dependency_closure [Algo.Depsolver] |
|
dependency_closure_cache [Algo.Depsolver_int] | |
descr [Doseparse.StdOptions.InputOptions] | |
descr [Doseparse.StdOptions.OutputOptions] | |
descr [Doseparse.StdOptions.DistcheckOptions] | |
diagnosis [Algo.Diagnostic] | Turn an integer result into a cudf result |
disable [Common.Util.Progress] |
|
disable [Common.Util.Messages] |
|
dot [Doseparse.StdOptions.OutputOptions] | |
dt [Common.Util.Logging] | |
dummy_request [Algo.Depsolver] | an empty package used to enforce global contraints on the request |
dump [Common.Util.Timer] | print all timers that are enabled |
dump [Common.EdosSolver.T] | if the solver was initialized with |
E | |
edos_coinstall [Algo.Depsolver] | check if the give package list can be installed in the universe |
edos_coinstall_prod [Algo.Depsolver] | accept a list of list of packages and return the coinstallability test of the cartesian product. |
edos_install [Algo.Depsolver] | check if the given package can be installed in the universe |
edsp_load_list [Doseparse.StdLoaders] | |
edsp_load_universe [Doseparse.StdLoaders] | |
edsp_parse_input [Doseparse.StdLoaders] | |
enable [Common.Util.Timer] |
|
enable [Common.Util.Progress] |
|
enable [Common.Util.Messages] |
|
enable_bars [Doseparse.StdDebug] | |
enable_debug [Doseparse.StdDebug] | |
enable_timers [Doseparse.StdDebug] | |
encode [Common.CudfAdd] | Encode a string. |
eprintf [Common.Util.Messages] | Print the message on |
equal [Versioning.SemverNode] | Equality between two versions |
equal [Versioning.Semver] | Equality between two versions parsing them using the strict definition of * the semantic versioning. |
equal [Versioning.Debian] | |
equal [Common.CudfAdd] | Equality test: two CUDF packages are equal if their names and versions are equal. |
execsolver [Common.CudfSolver] |
|
explain [Doseparse.StdOptions.DistcheckOptions] | |
extract_epoch [Versioning.Debian] | return the epoch component of the version. |
F | |
failure [Doseparse.StdOptions.DistcheckOptions] | |
fatal [Common.Util.Logging] | |
find_broken [Algo.Depsolver] | return the list of broken packages. |
find_installable [Algo.Depsolver] | return the list of installable packages. |
find_listbroken [Algo.Depsolver] | return the list of broken packages. |
find_listinstallable [Algo.Depsolver] | return the list of installable packages. |
foreground [Doseparse.StdOptions.InputOptions] | |
fprintf [Algo.Diagnostic] |
|
G | |
get_architectures [Doseparse.StdUtils] | |
get_cudf_version [Debian.Debcudf] | |
get_essential [Debian.Debcudf] | |
get_field_value [Pef.Packages] | get_field_value is a generic function used to extract and parse values from a Format822.stanza. |
get_installationset [Algo.Diagnostic] | If the installablity query is successfull, |
get_package_list [Common.CudfAdd] | |
get_property [Common.CudfAdd] | return the value of the requested property. |
get_real_name [Debian.Debcudf] | Get the orgininal debian package name. |
get_real_version [Debian.Debcudf] | return the real version associated to a Cudf package |
get_source [Debian.Debutil] | Return the source package associated to a binary package |
group [Doseparse.StdOptions.InputOptions] | |
group [Doseparse.StdOptions.OutputOptions] | |
group [Doseparse.StdOptions.DistcheckOptions] | |
guess_format [Common.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. |
H | |
hash [Common.CudfAdd] | A hash function for CUDF packages, using only their name and version. |
hashcons [Common.Util] | hash consing for strings |
hits [Common.Util] | |
I | |
if_application [Doseparse.StdUtils] | |
impactset [Algo.Strongdeps] | compute the impact set of the node |
in_option [Doseparse.StdOptions.InputOptions] | |
incr_str_list [Doseparse.StdOptions] | |
info [Common.Util.Logging] | |
init_conflicts [Common.CudfAdd] | Create a ctable from a package universe |
init_pool_univ [Algo.Depsolver_int] | Given a cudf universe , this function returns a |
init_solver_cache [Algo.Depsolver_int] | Initalise the sat solver. |
init_solver_closure [Algo.Depsolver_int] | Constraint solver initialization |
init_solver_pool [Algo.Depsolver_int] | this function creates an array indexed by solver ids that can be used to init the edos solver. |
init_solver_univ [Algo.Depsolver_int] | Constraint solver initialization |
init_tables [Debian.Debcudf] | initialize the version conversion tables |
initialize_problem [Common.EdosSolver.T] | initialize the solver |
input_raw [Opam.Packages] | |
input_raw [Pef.Packages] | Read n files from disk and return the list of all unique packages. |
input_raw [Debian.Packages] | |
input_raw_in [Opam.Packages] | |
input_raw_in [Pef.Packages] |
|
input_raw_in [Debian.Packages] | |
inputtype [Doseparse.StdOptions.InputOptions] | |
installation_graph [Algo.Depsolver] | Build the installation graph from a cudf solution universe and sets of packages to be installed/removed (see CudfAdd.make_summary) |
inttopkg [Common.CudfAdd] | Given a universe and a cudf id returns the corresponding package. |
is_consistent [Algo.Depsolver] | check if the universe universe is consistent (all installed packages are coinstallable) This function is a wrapper of Cudf_checker.is_consistent. |
is_enabled [Common.Util.Messages] | |
is_essential [Common.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 [Debian.Packages] | |
is_misc2012 [Common.Criteria] | Return true is the solver respect the MISC2012 syntax |
is_on_hold [Debian.Packages] | |
is_solution [Algo.Diagnostic] | True is the result of an installablity query is successfull. |
it [Common.Util.Logging] | |
iter [Common.Criteria] | |
itypes [Doseparse.StdOptions.InputOptions] | |
L | |
label [Doseparse.StdUtils] | |
label [Doseparse.StdOptions] | |
label [Doseparse.StdLoaders] | |
label [Doseparse.StdDebug] | |
latest [Doseparse.StdOptions.InputOptions] | |
latest [Common.CudfAdd] | Returns a list of packages containing for each package |
lexbuf_wrapper [Pef.Packages] | |
list_unique [Common.Util] | return a list of unique elements. |
listcheck [Algo.Depsolver] |
|
lit_of_var [Common.EdosSolver.T] |
|
load [Algo.Depsolver] | initialize the solver. |
load_cudf [Doseparse.StdLoaders] | parse a cudf file and return a triple (preamble,universe,request option). |
load_list [Doseparse.StdLoaders] | parse and merge a list of files into a cudf package list |
load_list [Debian.Debcudf] | create a Cudf package list from a debian package representation list. |
load_list_timer [Doseparse.StdLoaders] | |
load_universe [Doseparse.StdLoaders] | parse and merge a list of files into a cudf universe |
load_universe [Debian.Debcudf] | create a Cudf universe from a debian package representation list. |
M | |
make_difference [Common.CudfDiff] | return the difference table where packages are indexed by package name |
make_solution [Common.CudfDiff] | return a changeset containing all the packages to be installed and/or removed |
make_summary [Common.CudfDiff] | |
max32int [Common.Util] | |
memo [Common.Util] | A generic memoization function. |
merge [Debian.Packages] | |
minimal [Doseparse.StdOptions.DistcheckOptions] | |
miss [Common.Util] | |
N | |
normalize_set [Common.CudfAdd] | normalize_set l returns the list l without any duplicate element. |
notice [Common.Util.Logging] | |
npm_load_list [Doseparse.StdLoaders] | |
npm_parse_input [Doseparse.StdLoaders] | |
nt [Common.Util.Logging] | |
O | |
of_string [Common.Url] | |
opam_group [Doseparse.StdOptions.DistribOptions] | |
opam_load_list [Doseparse.StdLoaders] | |
opam_parse_input [Doseparse.StdLoaders] | |
opam_profiles [Doseparse.StdOptions.DistribOptions] | |
opam_switch [Doseparse.StdOptions.DistribOptions] | |
opam_switches [Doseparse.StdOptions.DistribOptions] | |
open_ch [Common.Input] | |
open_file [Common.Input] | load a file either in gzip, bzip or not compressed format |
options [Doseparse.StdOptions.Ot] | |
options [Doseparse.StdOptions.MakeOptions] | |
outdir [Doseparse.StdOptions.OutputOptions] | |
outfile [Doseparse.StdOptions.OutputOptions] | |
output_clauses [Algo.Depsolver] |
|
P | |
packages_parser [Opam.Packages] | |
packages_parser [Pef.Packages] | |
parse_archlist [Pef.Packages] | |
parse_binarylist [Debian.Packages] | |
parse_bool [Pef.Packages] | |
parse_bool_s [Pef.Packages] | |
parse_builddepsformula [Pef.Packages] | |
parse_builddepslist [Pef.Packages] | |
parse_cmdline [Doseparse.StdOptions.InputOptions] | give a list of positional arguments returns two list of resources, foreground and background. |
parse_criteria [Common.Criteria] | Parse a criteria field |
parse_cudf [Doseparse.StdLoaders] | parse a cudf file and return a triple (preamble,package list,request option). |
parse_e [Pef.Packages] | |
parse_input [Doseparse.StdLoaders] | parse a list of uris of the same type and return a cudf packages list |
parse_int [Pef.Packages] | |
parse_int_s [Pef.Packages] | |
parse_multiarch [Debian.Packages] | |
parse_name [Pef.Packages] | |
parse_package_stanza [Opam.Packages] | |
parse_package_stanza [Pef.Packages] | |
parse_package_stanza [Debian.Packages] | |
parse_packages_in [Pef.Packages] | same as |
parse_packages_in [Debian.Packages] | |
parse_raw_version [Versioning.SemverNode] | Parses a string into a version. |
parse_release_in [Debian.Release] |
|
parse_request_stanza [Opam.Packages] | |
parse_s [Pef.Packages] | parse_s is a generic function used to extract and parse a field from a stanza and cast it to a value. |
parse_source [Debian.Packages] | |
parse_string [Pef.Packages] | |
parse_string_list [Pef.Packages] | |
parse_string_opt [Pef.Packages] | |
parse_uri [Common.Input] | parse a uri. |
parse_version [Pef.Packages] | |
parse_version [Versioning.SemverNode] | Parses a string into a version. |
parse_vpkg [Pef.Packages] | |
parse_vpkgformula [Pef.Packages] | |
parse_vpkglist [Pef.Packages] | |
pef_load_list [Doseparse.StdLoaders] | |
pef_parse_input [Doseparse.StdLoaders] | |
pkgcheck [Algo.Depsolver_int] | |
pkglist [Doseparse.StdDebian] | |
pkglist_option [Doseparse.StdOptions] | |
pkglist_option [Doseparse.StdDebian] | |
pkgnames [Common.CudfAdd] | Returns the set of all names in the given universe |
pkgtoint [Common.CudfAdd] | Return the unique cudf id of a package in a universe |
pp [Common.CudfAdd] |
|
pp_bool_wl [Pef.Printer] | |
pp_builddep [Pef.Printer] | |
pp_builddepformula [Pef.Printer] | |
pp_builddepformula_wl [Pef.Printer] | |
pp_builddeplist [Pef.Printer] | |
pp_builddeplist_wl [Pef.Printer] | |
pp_function [Pef.Printer] | |
pp_function_wl [Pef.Printer] | |
pp_list [Algo.Diagnostic] | |
pp_out_version [Algo.Diagnostic] | print output version |
pp_package [Algo.Diagnostic] | default package pretty printer. |
pp_package [Common.CudfAdd] | |
pp_string_list [Pef.Printer] | |
pp_string_list_wl [Pef.Printer] | |
pp_string_wl [Pef.Printer] | |
pp_summary [Algo.Diagnostic] | print a aggregate information of not installable packages. |
pp_timer [Common.Util.Timer] | |
pp_version [Common.CudfAdd] | |
pp_versions_table [Doseparse.StdUtils] | |
pp_vpkg [Pef.Printer] | |
pp_vpkg [Common.CudfAdd] | cudf vpkglist printer. |
pp_vpkgformula [Pef.Printer] | |
pp_vpkgformula_wl [Pef.Printer] | |
pp_vpkglist [Pef.Printer] | |
pp_vpkglist [Common.CudfAdd] | cudf vpkglist printer. |
pp_vpkglist_wl [Pef.Printer] | |
pp_yes_wl [Pef.Printer] | |
preamble [Debian.Debcudf] | declare the Cudf preamble used by cudf. |
print_dot [Algo.Diagnostic] | print the explanation graph in dot format to the standard formatter |
print_error [Algo.Diagnostic] | |
printf [Algo.Diagnostic] | like |
progress [Doseparse.StdOptions.MakeOptions] | |
progress [Common.Util.Progress] | increment the progress bar of |
progressbar_init [Algo.Depsolver_int] | Progress Bars |
progressbar_univcheck [Algo.Depsolver_int] | |
propagate [Common.EdosSolver.T] | |
protect [Common.EdosSolver.T] | |
Q | |
quiet [Doseparse.StdOptions.MakeOptions] | |
R | |
range [Common.Util] | |
read_deb [Doseparse.StdLoaders] | read a debian Packages file - compressed or not |
read_tupletable [Debian.Architecture] | fill the lookup table mapping debian architectures to debian tuples * this function is called by src_matches_arch without supplying anything * for the optional ttfile and ctfile arguments. |
realversionmap [Common.CudfAdd] | build a hash table that associates (package name, String version) to CUDF packages |
request [Algo.Diagnostic] | Turn an integer request into a cudf request |
reset [Common.Util.Progress] | reset the progress bar |
reset [Common.EdosSolver.T] |
|
resolve_deps [Common.CudfAdd] | Return the list of packages satisfying the vpkg list |
resolve_vpkg_int [Common.CudfAdd] | Like who_provides but returns a list of cudf ids |
resolve_vpkgs_int [Common.CudfAdd] | Like resolve_deps but returns a list of cudf ids |
result [Algo.Diagnostic] | Turn an integer result into a cudf result |
reverse_dependencies [Algo.Depsolver] |
|
reverse_dependencies [Algo.Depsolver_int] |
|
reverse_dependency_closure [Algo.Depsolver] |
|
reverse_dependency_closure [Algo.Depsolver_int] | return the dependency closure of the reverse dependency graph. |
rpm_load_list [Doseparse.StdLoaders] | transform a list of rpm control stanza into a cudf packages list |
rpm_load_universe [Doseparse.StdLoaders] | transform a list of rpm control stanza into a cudf universe |
S | |
scheme_of_string [Common.Url] | |
scheme_to_string [Common.Url] | |
set_deb_options [Doseparse.StdOptions.DistribOptions] | |
set_default_options [Doseparse.StdOptions.DistribOptions] | |
set_opam_options [Doseparse.StdOptions.DistribOptions] | |
set_options [Doseparse.StdOptions.DistribOptions] | |
set_total [Common.Util.Progress] |
|
solve [Algo.Depsolver_int] | Call the sat solver |
solve [Common.EdosSolver.T] | |
solve_all [Common.EdosSolver.T] |
|
solve_lst [Common.EdosSolver.T] |
|
sort [Common.CudfAdd] | Sort function: sorts a CUDF packages list using the standard CUDF comparison operator in ascending order. |
src_matches_arch [Debian.Architecture] | check whether a source architecture string matches a host architecture. |
start [Common.Util.Timer] | |
stats [Common.EdosSolver.T] | |
std_open_file [Common.Input] | load a non compressed file |
stop [Common.Util.Timer] | |
str_list_option [Doseparse.StdOptions] | |
string_of [Common.CudfAdd] | |
string_of_builddep [Pef.Printer] | |
string_of_builddepformula [Pef.Printer] | |
string_of_builddeplist [Pef.Printer] | |
string_of_list [Common.Util] | |
string_of_package [Common.CudfAdd] | return a string of the form "name ( = version)" |
string_of_version [Common.CudfAdd] | return a string containg either the value of the optional field "number" or the cudf version |
string_of_vpkg [Pef.Printer] | |
string_of_vpkgformula [Pef.Printer] | |
string_of_vpkglist [Pef.Printer] | |
string_of_vpkgreq [Pef.Printer] | |
strip_epoch [Versioning.Debian] | return a version without its epoch part |
strip_epoch_binnmu [Versioning.Debian] | return a version without its epoch and without its binNMU part |
strongdeps [Algo.Strongdeps] |
|
strongdeps_univ [Algo.Strongdeps] |
|
success [Doseparse.StdOptions.DistcheckOptions] | |
summary [Doseparse.StdOptions.DistcheckOptions] | |
supported_formats [Doseparse.StdLoaders] | |
supported_input_types [Common.Url] | |
T | |
timers [Doseparse.StdOptions.MakeOptions] | |
timestamp [Common.Util] | |
to_set [Common.CudfAdd] | Convert a list of CUDF packages to a set of CUDF packages. |
to_string [Common.Criteria] | Return the string encoding the criteria. |
to_string [Common.Url] | |
tocudf [Debian.Debcudf] |
|
trim [Doseparse.StdOptions.InputOptions] | |
trim [Algo.Depsolver] | remove uninstallable packages from the universe . |
trimlist [Algo.Depsolver] | remove uninstallable packages from the pkglist. |
U | |
univcheck [Algo.Depsolver] |
|
univcheck_lowmem [Algo.Depsolver] | |
unpack [Doseparse.StdLoaders] | |
unpack_l [Doseparse.StdLoaders] | |
uuid [Common.Util] | return a unique identifier based on random numbers |
V | |
verbose [Doseparse.StdOptions.MakeOptions] | |
vpkg_option [Doseparse.StdOptions] | |
vpkg_option [Doseparse.StdDebian] | |
vpkgformula_filter [Opam.Packages] | |
vpkglist_filter [Opam.Packages] | |
vpkglist_option [Doseparse.StdOptions] | |
vpkglist_option [Doseparse.StdDebian] | |
vtypes [Doseparse.StdOptions.InputOptions] | |
W | |
warning [Common.Util.Logging] | |
who_conflicts [Common.CudfAdd] | Return the list of packages in conflict with the given package |
who_depends [Common.CudfAdd] | Returns the list of packages that are dependencies of the given package |
who_provides [Common.CudfAdd] | Return the list of packages that that respect the given constraint |
wt [Common.Util.Logging] |