C | |
compute [Register] | |
D | |
dump [Register] | |
G | |
get_option [Computation.OPTION_REF_OUTPUT] | |
gui [Register_gui] | |
I | |
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] | |
number_entry_points [Register] | |
P | |
pretty [Register] | |
pretty_entry_points [Register] | |
pretty_set [Register] |