Index of values

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

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.

provide a deep copy of the current state of the solver

Create an input channel from the given functions

Create an output channel from the given functions.

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

Finish consuming the input.

initialize the solver

Functions for interconverting tags and integers between 0 and max_tag

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 ?

Returns the length of the mapped region

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.

Package names must be unique

Returns the offset of the mapped region

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

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

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

Writes a string into a conduit.

Data tags

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

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

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

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.