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