Index of values

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

given a list of dependencies, return a list of list containg all * paths in the dependency tree starting from root

load a file in bzip format - Not implemented yet

check if p strong depends on any packages in l

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

group_by_source universe returns a hashtbl that maps (source,sourceversion) -> to a packages list

in case of failure return the list of associated reasons

in case of failure return the list of associated reasons

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.

recompose a decomposed version string.

Build the conflict graph from the given cudf universe

for all id \in idlist add to the graph all conjunctive dependencies

for all id \in idlist add to the graph all conjunctive dependencies

add to the graph all conjunctive dependencies of package id

add to the graph all conjunctive dependencies of package id

given a graph return the conjunctive dependency closure of the package id

given a graph return the conjunctive dependency closure of the package id

compute the conjunctive dependency graph considering only packages in pkglist

compute the conjunctive dependency graph

Return the list of connected component of an undirected graph

constraints universe returns a map between package names and an ordered list of constraints where the package name is mentioned

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".

transform a list of debian control stanza into a cudf universe

transform a list of debian control stanza into a cudf universe

enable debug messages

Decode a string.

decompose a version string

dependency_closure index l return the union of the dependency closure of all packages in l .

dependency_closure universe l compute the dependencies closure of the give package list.

Build the dependency graph from the given index.

Build the dependency graph from the given cudf universe

Build the syntactic dependency graph from the give cudf universe

Build the dependency graph from the given list of packages

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

disable l the handle with label l

discriminants ?bottom ?ascending evalsel vl constraints returns the discriminants of the versions vl w.r.t.

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 test: two CUDF packages are equal if their names and versions are equal.

return the list of the broken packages

return the real version associated to a Cudf 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.

load a file in gzip format

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

invariant : we assume the graph is NOT detransitivitized

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

initalise the sat solver.

low level constraint solver initialization

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

low level constraint solver initialization

initialize the version conversion tables

initialize the solver initialize_problem n

parse a debian Sources file

input_raw file : parse a debian Packages file from file

input_raw_ch ch : parse a debian Packages file from channel ch

return a list of unique elements.

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

convert a debian dependency list in a cudf constraints formula

initialize the solver.

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

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

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

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

parse and merge a list of files into a cudf universe

create a Cudf universe from a debian package representation list.

convert a debian conflict list in a cudf constraints list

A generic memoization function.

see mktemp(1) for the syntax of tmp_pattern

chop the epoch and binnmu component from a version.

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

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

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

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

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

parse the apt_preferences file

parse a string containing an apt-get command line

parse a debian Sources file from channel

parse a uri.

declare the Cudf preamble used by cudf.

increment the progress bar of i units

progress bar

read a debian Packages file - compressed or not

read a debian Packages file - compressed or not

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

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

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

return the dependency closure of the reverse dependency graph.

reverse_dependencies_closure univ compute the reverse dependency list of all packages in l in the universe univ

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

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

transform a list of rpm control stanza into a cudf universe

transform a list of rpm control stanza into a cudf universe

timer

progress bar

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

low level call to 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

transform a list of sources into dummy packages to be then converted to cudf

split the debian version into its components.

load a non compressed file

return a version without its epoch and without its binNMU part

check if p strongly depends on q.

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

strongdeps l build the strong dependency graph of l

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

invariant : we assume the graph is NOT detransitivitized

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

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

remove uninstallable packages from the universe

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

return the name of the file

return the name of the file