Index of values

Register an archive.

add_bin_rule gets that state of the solver, two literals a,b and a list reasons to return in case this clause was involved in a clash.

Add a day to a lifetime.

Add the given napkin into the database and return its ID.

Add the given packages to the archive for the given days.

add_bin_rule gets that state of the solver, a list of literals l and a list reasons to return in case this clause was involved in a clash.

add_un_rule gets that state of the solver, a literal and reasons to return in case this clause was involved in a clash.

Get the first and last days for which this archive contains packages.

Return the set of all archives

associate_vars associate a variable to a list of variables.

blit mp i u j n copies the bytes j to j + n - 1 of the string u into the bytes offset + i to offset + i + n - 1 of the map.

Builds a conduit from a buffer.

Builds a conduit from an output channel.

Compute the set of packages that conflict with a given set.

This function will copy data from reader to writer.

provide a deep copy of the current state of the solver

Create a fresh database.

Create an input channel from the given functions

Create an output channel from the given functions.

Convert a date in Gregorian (year,month,day) format to a calendar day.

Compute the forward dependencies closure of a given set of packages on the relation in the list relations: `Pre is for the pre-dependency relation, `Dep is for the dependency relation.

Compute a dependency path in package_set from a to b (if it does not exist, raise Not_found

On failure, the following functions raise an Error(...) exception containing a useful message.

This debugging function will dump the tokens to stdout.

A lifetime containing no days.

finish ch finishes reading the input channel.

Finish consuming the input.

flush ch flushed the output channel.

Get an archive

Get the contents of an archive on a given day

The following functions return the various indexes from the database.

Return a package from its ID.

Create a reader from an Ocaml input channel.

Create a writer from an Ocaml output channel, which must be open in binary mode.

Create a reader from a character stream.

Create a reader from an Ocaml string.

initialize the solver

Functions for interconverting tags and integers between 0 and max_tag

The literate constructor for arrays.

The literate for booleans.

The literate for characters.

The literate constructor for abstract collections.

Given a function f : 'a -> 'b its inverse g : 'b -> 'a and a literate io for 'a creates a literate for 'b.

The literate for floats.

The literate constructor for hash tables from the module Hashtbl.t.

The literate for integers.

The literate for 64-bit integers.

The literate constructor for lists.

Use this when you need to declare a literate but don't want to implement one.

The literate constructor for the 'a option sum type.

The literate constructor for pairs.

The literate constructor for quadruples.

The literate constructor for records.

The literate for strings.

The literate constructor for sum types.

The literate constructor for triples.

The literate for values of type unit.

Returns true if the lifetime contains no days.

Suggest to close a pretty-printing box

Suggest open a pretty-printing box

Does this tag require space around it ?

Is this a reserved word, such as array, hash or set ?

Iterate over the days of an archive

Iterate over every single day in the lifetime.

Iterate over the intervals in the lifetime.

Returns the length of the mapped region

Load lifetime data from a file using Io.

Signal that some data has been lost.

Tells us if any data has been lost, e.g., if loss has ever been called on this channel.

map fd copy offset length maps the bytes offset .. offset + length - 1 of file fd; if copy is true, the file is mapped in copy-on-write mode.

Maps over selectors.

Note that in order to reserver space for future tags, max_tag can be higher than the number of existing tags.

Merge a waterway into the given database.

Package names must be unique

napkin_of_fields assoc parses a Dosebase package description given by a function assoc that takes a field name and returns the first line of the contents of the field.

Returns the offset of the mapped region

Create a writer from an Ocaml output channel.

Create a reader from an Ocaml input channel, which must be open in binary mode.

Create a writer from a formatter.

Create a writer fo a string.

Output lifetime data to a channel using Io.

Return the set of all packages

paste mp i u copies the string u into the bytes offset + i to offset + i + n - 1 of the map, where n is the length of the string u.

Peek a token from an input channel

range lf returns a pair (a,b) where a is the first day and b is the last day in the lifetime.

read lit ch reads a value from the channel ch using the literate lit.

Read a boolean.

Read a character.

Read a constructor name.

Read a field label.

Read a floating-point number.

Read an integer.

Read a 64-bit integer.

Read a string.

Read a tag token.

Read this particular tag.

Read a token from an input channel

Replace a package in the database.

reset reset the state of the solver and, in particular, it resets the variable assignment array

Save lifetime data to a file using Io.

Scribe the name of a archive from its ID

Scribe the name of a package, omitting the architecture if it is the default one.

Scribe the name of a package from its ID, omitting the architecture if it is the default one.

Scribe the name of a source from its ID

Writes a string into a conduit.

Scribe the name of a unit from its ID

Scribe the name of a version from its number

Return the set of packages matching a selector

Run a series of self-tests on the database, which must have been previously filled.

Data tags

Create a lifetime with the given single day.

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

Return the set of all sources

The conduit linked to standard error

The conduit linked to standard output

Functions for interconverting tags and purely alphabetical lowercase strings

Build a string representation of a token (usually for debugging)

Returns a textual representation of a versioned range in Debian style.

sub mp o n copies the bytes from offset + o to offset + o + n into a new string

List of all existing tags

Convert a package with extras to a default package

Return the set of packages matching a unit

Return the set of packages providing a unit

Return the set of all units

unmap mp removes the mapping mp ; all subsequent calls with mp will raise an Invalid_argument exception.

write lit v ch writes the value v to the channel ch using the literate lit.

Write a boolean.

Write a char.

Write a constructor name.

Write a fiel label.

Write a floating-point number.

Write an integer.

Write a 64-bit integer.

Write a string.

Write a tag.

Write a token.

Inverse function of day_of_date.