Index of values

Add a new property to the given cudf preamble

add_rule st l add a disjuction to the solver of type

disable all handles in the module

enable all handles in the module

assignment st return the array of values associated to every variable.

assignment_true st return the list of variables that are true

associate_vars st lit vl associate a variable to a list of variables.

return the labels of all available progress bar

return the labels of all available progress bar

return the list of all labels known to the module

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.

Same as check_request, but allows to specify any function to call the external solver.

return the cudf version associated to a tuple (name,version).

cluster package list returns a hashtbl that maps (source,sourceversion) -> to a packages list

collect summary result.

in case of failure return the list of associated reasons

in case of failure return the list of associated reasons

Compare two versions.

Compare two versions in the strings using a strict semantic versioning * parser

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 function: compares two CUDF packages using standard CUDF comparison operator (i.e.

Compare two versions.

recompose a version string.

recompose a decomposed version string.

Compute the depenency cone of a list of packages

compute the conjunctive dependency graph considering only packages in pkglist

compute the conjunctive dependency graph

Raise Failure if the string cannot be converted

provide a deep copy of the current state of the solver

return a copy of the state of the solver

create s create and register a new logger named s

create "barname" : create new a progress bar labelled "barname".

return a list of Debian packages from a debian source file

transform a list of debian control stanza into a cudf universe

enable debug messages

Decode a string.

decompose a version string

An associative list containing the criteria associated to the following shortcuts : upgrade, dist-upgrade, install, remove, paranoid, trendy

default_pp default package printer.

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 index l return the union of the dependency closure of all packages in l .

Turn an integer result into a cudf result

disable "barname" : disable the progress bar with label "barname"

disable l the handle with label l

an empty package used to enforce global contraints on the request

print all timers that are enabled

if the solver was initialized with buffer = true, dump the state of the solver.

check if the give package list can be installed in the universe

accept a list of list of packages and return the coinstallability test of the cartesian product.

check if the given package can be installed in the universe

enable "barname" : enable the progress bar with label "barname"

enable "barname" : enable the progress bar with label "barname"

enable l the handle with label l

Encode a string.

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

Equality between two versions

Equality between two versions parsing them using the strict definition of * the semantic versioning.

Equality test: two CUDF packages are equal if their names and versions are equal.

execsolver execute an external cudf solver.

return the epoch component of the version.

return the list of broken packages.

return the list of installable packages.

return the list of broken packages.

return the list of installable packages.

printf fmt d print the output of the solver in yaml format to the formatter fmt.

get_field_value is a generic function used to extract and parse values from a Format822.stanza.

If the installablity query is successfull, get_installationset return the associated installation set .

return the value of the requested property.

Get the orgininal debian package name.

return the real version associated to a Cudf package

Return the source package associated to a binary package

guess the input format from a list of list of uris and check * if the list is omogenueous w.r.t the guessed format.

A hash function for CUDF packages, using only their name and version.

hash consing for strings

compute the impact set of the node q, that is the list of all packages p that strong depends on q

Create a ctable from a package universe

Given a cudf universe , this function returns a CudfPool.

Initalise the sat solver.

Constraint solver initialization

this function creates an array indexed by solver ids that can be used to init the edos solver.

Constraint solver initialization

initialize the version conversion tables

initialize the solver initialize_problem n

Read n files from disk and return the list of all unique packages.

input_raw_in behaves as input_raw but read the packages stanzas from the given IO channel

Build the installation graph from a cudf solution universe and sets of packages to be installed/removed (see CudfAdd.make_summary)

Given a universe and a cudf id returns the corresponding package.

check if the universe universe is consistent (all installed packages are coinstallable) This function is a wrapper of Cudf_checker.is_consistent.

Returns true if the package is essential, that is the cudf package has a extra property named "essential" and its value is "yes"

Return true is the solver respect the MISC2012 syntax

True is the result of an installablity query is successfull.

Returns a list of packages containing for each package n most recent version (default the latest version)

return a list of unique elements.

listcheck ~callback:c subuniverse l check if all packages in l can be installed.

lit_of_var given a variable create a positive or a negative literal.

initialize the solver.

parse a cudf file and return a triple (preamble,universe,request option).

parse and merge a list of files into a cudf package list

create a Cudf package list from a debian package representation list.

parse and merge a list of files into a cudf universe

create a Cudf universe from a debian package representation list.

return the difference table where packages are indexed by package name

return a changeset containing all the packages to be installed and/or removed

A generic memoization function.

normalize_set l returns the list l without any duplicate element.

load a file either in gzip, bzip or not compressed format

output_clauses enc univ return a string encoded accordingly to enc (default cnf).

give a list of positional arguments returns two list of resources, foreground and background.

Parse a criteria field

parse a cudf file and return a triple (preamble,package list,request option).

parse a list of uris of the same type and return a cudf packages list

same as parse_package_stanza but read packages stanzas from the given IO channel

Parses a string into a version.

parse_release_in filename channel parses the contents of a release file of name filename from the input channel channel.

parse_s is a generic function used to extract and parse a field from a stanza and cast it to a value.

parse a uri.

Parses a string into a version.

Returns the set of all names in the given universe

Return the unique cudf id of a package in a universe

pp ?decode from_cudf pkg package pretty printer.

print output version

default package pretty printer.

print a aggregate information of not installable packages.

cudf vpkglist printer.

cudf vpkglist printer.

declare the Cudf preamble used by cudf.

print the explanation graph in dot format to the standard formatter

like fprintf but print using the standard formatter

increment the progress bar of i units

Progress Bars

read a debian Packages file - compressed or not

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.

build a hash table that associates (package name, String version) to CUDF packages

Turn an integer request into a cudf request

reset the progress bar

reset reset the state of the solver to a state that would be obtained by re initializing the solver with an identical constraints set

Return the list of packages satisfying the vpkg list

Like who_provides but returns a list of cudf ids

Like resolve_deps but returns a list of cudf ids

Turn an integer result into a cudf result

reverse_dependencies univ compute the reverse dependency list of all packages in the universe univ

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_closure univ compute the reverse dependency list of all packages in l in the universe univ

return the dependency closure of the reverse dependency graph.

transform a list of rpm control stanza into a cudf packages list

transform a list of rpm control stanza into a cudf universe

set_total bar 10 : set the max width of the progress bar to 10 units

Call the sat solver

solve st v finds a variable assignment that makes v True

solve st l finds a variable assignment that makes True all variables in l

Sort function: sorts a CUDF packages list using the standard CUDF comparison operator in ascending order.

check whether a source architecture string matches a host architecture.

load a non compressed file

return a string of the form "name ( = version)"

return a string containg either the value of the optional field "number" or the cudf version

return a version without its epoch part

return a version without its epoch and without its binNMU part

strongdeps u l build the strong dependency graph of all packages in l wrt the universe u

strongdeps_univ u build the strong dependency graph of all packages in the universe u

Convert a list of CUDF packages to a set of CUDF packages.

Return the string encoding the criteria.

tocudf tbl p convert the a debian package representation to cudf.

remove uninstallable packages from the universe .

remove uninstallable packages from the pkglist.

univcheck check if all packages in the universe can be installed.

return a unique identifier based on random numbers

Return the list of packages in conflict with the given package

Returns the list of packages that are dependencies of the given package

Return the list of packages that that respect the given constraint