Index of values


A
add_bin_rule [Solver.M]
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_rule [Solver.M]
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 [Solver.M]
add_un_rule gets that state of the solver, a literal and reasons to return in case this clause was involved in a clash.
ar_seek_to_file [Pirate]
array_assoc [Util]
array_mem_assoc [Util]
assignment [Solver.M]
associate_vars [Solver.M]
associate_vars associate a variable to a list of variables.

B
binary_search [Util]
blit [Mmap]
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.

C
call_if [Util]
catch [Util]
collect_reasons [Solver.M]
collect_reasons_lst [Solver.M]
conduit_of_buffer [Conduit]
Builds a conduit from a buffer.
conduit_of_channel [Conduit]
Builds a conduit from an output channel.
copy [Solver.M]
provide a deep copy of the current state of the solver
count_lines [Util]
create_io_in [Fragments]
Create an input channel from the given functions
create_io_out [Fragments]
Create an output channel from the given functions.

D
delete_first_chars [Util]
drop_token [Fragments]
On failure, the following functions raise an Error(...) exception containing a useful message.
dummy [Progress]

F
finish [Fragments]
Finish consuming the input.
first_line [Util]
first_matching_char [Util]
first_matching_char_from [Util]
first_matching_char_rev [Util]
first_matching_char_rev_from [Util]
flip_array [Util]
flush [Fragments]
for_all_chars [Util]

H
hierarchical [Util]

I
initialize_problem [Solver.M]
initialize the solver
inside [Util]
int64_of_inet_addr [Util]
int_of_tag [Fragments]
Functions for interconverting tags and integers between 0 and max_tag
is_alpha [Util]
is_digit [Util]
is_end_tag [Fragments]
Suggest to close a pretty-printing box
is_prefix [Util]
is_space [Util]
is_start_tag [Fragments]
Suggest open a pretty-printing box
is_tag_voluminous [Fragments]
Does this tag require space around it ?
is_word_reserved [Fragments]
Is this a reserved word, such as array, hash or set ?
iso_8601_of_string [Util]

L
length [Mmap]
Returns the length of the mapped region
limit [Util]
limit_left [Util]
list_change_nth [Util]
list_has_more_than_one_element [Util]
list_intersect [Util]
list_remove_nth [Util]
list_sub_rev [Util]
lit_of_var [Solver.M]
longest_matching_prefix [Util]
loss [Fragments]
Signal that some data has been lost.
lost [Fragments]
Tells us if any data has been lost, e.g., if loss has ever been called on this channel.
lowercase_compare [Util]

M
map [Napkin]
map [Mmap]
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.
map_selector [Napkin]
Maps over selectors.
max_tag [Fragments]
Note that in order to reserver space for future tags, max_tag can be higher than the number of existing tags.
mkdirhier [Util]

N
name [Napkin]
Package names must be unique

O
offset [Mmap]
Returns the offset of the mapped region
once [Util]
open_ar_file [Pirate]

P
parse_strings [Util]
paste [Mmap]
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_token [Fragments]
Peek a token from an input channel
proc_get_free_mem [Util]
proc_get_rsz_vsz [Util]
propagate [Solver.M]
protect [Solver.M]

R
randomize [Util]
read_bool [Fragments]
Read a boolean.
read_char [Fragments]
Read a character.
read_constructor [Fragments]
Read a constructor name.
read_field [Fragments]
Read a field label.
read_float [Fragments]
Read a floating-point number.
read_int [Fragments]
Read an integer.
read_int64 [Fragments]
Read a 64-bit integer.
read_string [Fragments]
Read a string.
read_tag [Fragments]
Read a tag token.
read_this_tag [Fragments]
Read this particular tag.
read_token [Fragments]
Read a token from an input channel
reg_of_string [Util]
remove_leading_spaces [Util]
remove_spaces [Util]
reset [Solver.M]
reset reset the state of the solver and, in particular, it resets the variable assignment array

S
sanitize_filename [Util]
scribe_string [Conduit]
Writes a string into a conduit.
seconds_of_iso_8601 [Util]
sf [Util]
sf [Fragments]
Data tags
sockaddr_of_string [Util]
solve [Solver.M]
solve st v finds a variable assignment that makes v true
solve_lst [Solver.M]
solve st l finds a variable assignment that makes true all variables in l
split_at [Util]
split_once_at [Util]
stderrcd [Conduit]
The conduit linked to standard error
stdoutcd [Conduit]
The conduit linked to standard output
string_contains [Util]
string_of_iso_8601 [Util]
string_of_process_status [Util]
string_of_sockaddr [Util]
string_of_tag [Fragments]
Functions for interconverting tags and purely alphabetical lowercase strings
string_of_token [Fragments]
Build a string representation of a token (usually for debugging)
string_of_versioned [Napkin]
Returns a textual representation of a versioned range in Debian style.
sub [Mmap]
sub mp o n copies the bytes from offset + o to offset + o + n into a new string
substitute_variables [Util]

T
tag_of_int [Fragments]
tag_of_string [Fragments]
tags [Fragments]
List of all existing tags
tar_seek_to_file [Pirate]
to_default_package [Napkin]
Convert a package with extras to a default package
today [Util]

U
uniq [Util]
unix_really_read [Util]
unmap [Mmap]
unmap mp removes the mapping mp ; all subsequent calls with mp will raise an Invalid_argument exception.
unsanitize_filename [Util]

W
wind [Util]
with_output_to_file [Util]
word_wrap [Util]
wrap [Util]
write_bool [Fragments]
Write a boolean.
write_char [Fragments]
Write a char.
write_constructor [Fragments]
Write a constructor name.
write_field [Fragments]
Write a fiel label.
write_float [Fragments]
Write a floating-point number.
write_int [Fragments]
Write an integer.
write_int64 [Fragments]
Write a 64-bit integer.
write_string [Fragments]
Write a string.
write_tag [Fragments]
Write a tag.
write_token [Fragments]
Write a token.