C | |
compute [Register] | |
D | |
dump [Register] | |
F | |
file_of [Register] | |
fun_equal [Register] | |
G | |
get_option [Computation.OPTION_REF_OUTPUT] | |
gui [Register_gui] | |
I | |
image_int8 [Register] | |
is_on [Metrics_parameters] |
Have metrics to be computed?
|
M | |
main [Register] | |
make_bi_label [Register_gui] | |
make_hbox [Register_gui] | |
make_panel [Register_gui] | |
map [Computation.OPTION_REF_OUTPUT] | |
may [Computation.OPTION_REF_OUTPUT] | |
memo [Computation.OPTION_REF_OUTPUT] |
Memoization.
|
N | |
name [Register] | |
null_location [Register] | |
null_position [Register] | |
number_entry_points [Register] | |
P | |
plus [Register] | |
pretty [Register] | |
pretty_entry_points [Register] | |
pretty_set [Register] |