Index of values


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_rule st l add a disjuction to the solver of type
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 st return the array of values associated to every variable.
assignment_true [Common.EdosSolver.T]
assignment_true st return the list of variables that are true
assoc [Pef.Packages]
associate_vars [Common.EdosSolver.T]
associate_vars st lit vl associate a variable to a list of variables.
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 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 [Algo.Depsolver]
Same as check_request, but allows to specify any function to call the external solver.
checkonly [Doseparse.StdOptions.InputOptions]
clear [Debian.Debcudf]
return the cudf version associated to a tuple (name,version).
close_ch [Common.Input]
collect [Algo.Diagnostic]
collect summary result.
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]
compare [Versioning.Semver]
compare two strings intepreted as semantic versions
compare [Versioning.Debian]
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 [Common.CudfAdd]
Compare function: compares two CUDF packages using standard CUDF comparison operator (i.e.
compose [Versioning.Debian]
recompose a decomposed version string.
compute_pool [Common.CudfAdd]
condense [Doseparse.StdOptions.DistcheckOptions]
conjdeps [Algo.Strongdeps]
compute the conjunctive dependency graph considering only packages in pkglist
conjdeps_univ [Algo.Strongdeps]
compute the conjunctive dependency graph
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 s create and register a new logger named s
create [Common.Util.Progress]
create "barname" : create new a progress bar labelled "barname".
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]
cudfop [Common.CudfAdd]

D
deb_builds_from [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]
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_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_pp default package printer.
default_request [Opam.Packages]
default_result [Algo.Diagnostic]
depclean [Algo.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 [Algo.Depsolver]
dependency_closure universe l compute the dependencies closure of the give package list.
dependency_closure [Algo.Depsolver_int]
dependency_closure index l return the union of the dependency closure of all packages in l .
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 "barname" : disable the progress bar with label "barname"
disable [Common.Util.Messages]
disable l the handle with label l
dot [Doseparse.StdOptions.OutputOptions]
dt [Common.Util.Logging]
dump [Common.Util.Timer]
print all timers that are enabled
dump [Common.EdosSolver.T]
if the solver was initialized with buffer = true, dump the state of the solver.

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 "barname" : enable the progress bar with label "barname"
enable [Common.Util.Progress]
enable "barname" : enable the progress bar with label "barname"
enable [Common.Util.Messages]
enable l the handle with label l
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 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
equal [Versioning.Semver]
equal [Versioning.Debian]
equal [Common.CudfAdd]
Equality test: two CUDF packages are equal if their names and versions are equal.
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]
printf fmt d print the output of the solver in yaml format to the formatter fmt.
fprintf_human [Algo.Diagnostic]
print a human readable explanation (DEV)

G
get_architectures [Doseparse.StdUtils]
get_cudf_version [Debian.Debcudf]
get_field_value [Pef.Packages]
get_field_value is a generic function used to extract and parse values from a Common.Format822.stanza.
get_installationset [Algo.Diagnostic]
If the installablity query is successfull, get_installationset return the associated installation set .
get_package_list [Common.CudfAdd]
get_property [Common.CudfAdd]
return the value of the requested property.
get_real_version [Debian.Debcudf]
return the real version associated to a Cudf 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.

I
if_application [Doseparse.StdUtils]
impactset [Algo.Strongdeps]
compute the impact set of the node q, that is the list of all packages p that strong depends on q
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 CudfPool.
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 initialize_problem n
input_raw [Opam.Packages]
input_raw [Pef.Packages]
Read n files from disk and return the list of all unique packages.
input_raw_in [Opam.Packages]
input_raw_in [Pef.Packages]
input_raw_in behaves as input_raw but read the packages stanzas from the given IO channel
inputtype [Doseparse.StdOptions.InputOptions]
inttovar [Common.CudfAdd]
Given a universe and a cudf id returns the corresponding package.
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_misc2012 [Common.Criteria]
Return true is the solver respect the MISC2012 syntax
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 only the latest version
lexbuf_wrapper [Pef.Packages]
list_unique [Common.Util]
return a list of unique elements.
listcheck [Algo.Depsolver]
listcheck ~callback:c solver l check if all packages in l can be installed.
lit_of_var [Common.EdosSolver.T]
lit_of_var given a variable create a positive or a negative literal.
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]
memo [Common.Util]
A generic memoization function.
minimal [Doseparse.StdOptions.DistcheckOptions]

N
normalize_set [Common.CudfAdd]
normalize_set l returns the list l without any duplicate element.
notice [Common.Util.Logging]
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]
output_clauses enc univ return a string encoded accordingly to enc (default cnf).

P
packages_parser [Opam.Packages]
packages_parser [Pef.Packages]
parse [Versioning.Semver]
parse s returns a tuple of the form (major,minor,patch,rest)
parse_archlist [Pef.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_name [Pef.Packages]
parse_package_stanza [Opam.Packages]
parse_package_stanza [Pef.Packages]
parse_packages_in [Pef.Packages]
same as parse_package_stanza but read packages stanzas from the given IO channel
parse_release_in [Debian.Release]
parse_release_in filename channel parses the contents of a release file of name filename from the input channel channel.
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_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_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
pp [Common.CudfAdd]
pp ?decode from_cudf pkg package pretty printer.
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_dependencies [Algo.Diagnostic]
Print the list of dependencies of a package.
pp_dependency [Algo.Diagnostic]
print a list of cudf dependency.
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_error [Algo.Diagnostic]
print_error_human [Algo.Diagnostic]
printf [Algo.Diagnostic]
like fprintf but print using the standard formatter
progress [Doseparse.StdOptions.MakeOptions]
progress [Common.Util.Progress]
increment the progress bar of i units
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_triplettable [Debian.Architecture]
fill the lookup table mapping debian architectures to debian triplets * 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
reset [Common.Util.Progress]
reset the progress bar
reset [Common.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 [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
reverse_dependencies [Algo.Depsolver]
reverse_dependencies univ compute the reverse dependency list of all packages in the universe univ
reverse_dependencies [Algo.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_dependency_closure [Algo.Depsolver]
reverse_dependencies_closure univ compute the reverse dependency list of all packages in l in the universe univ
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]
set_total bar 10 : set the max width of the progress bar to 10 units
solve [Algo.Depsolver_int]
Call the sat solver
solve [Common.EdosSolver.T]
solve_all [Common.EdosSolver.T]
solve st v finds a variable assignment that makes v True
solve_lst [Common.EdosSolver.T]
solve st l finds a variable assignment that makes True all variables in l
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 u l build the strong dependency graph of all packages in l wrt the universe u
strongdeps_univ [Algo.Strongdeps]
strongdeps_univ u build the strong dependency graph of all packages in the universe u
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]
tocudf tbl p convert the a debian package representation to cudf.
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 check if all packages in the universe can be installed.
unpack [Doseparse.StdLoaders]
unpack_l [Doseparse.StdLoaders]
uuid [Common.Util]
return a unique identifier based on random numbers

V
vartoint [Common.CudfAdd]
Return the unique cudf id of a package in a universe
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]

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]