A | |
add [Computation.QUEUE] | |
C | |
callgraph [Register] | |
compare [Project.Datatype.S] | |
compute [Service_graph.Make] | |
compute [Register] | |
D | |
dump [Register] | |
E | |
equal [Project.Datatype.S] | |
G | |
get [Register] | |
get_init_funcs [Register] | |
get_option [Computation.OPTION_REF_OUTPUT] | |
H | |
hash [Project.Datatype.S] | |
I | |
is_comparable_set [Project.Datatype.S] | |
is_empty [Computation.QUEUE] | |
iter [Computation.QUEUE] | |
M | |
map [Computation.OPTION_REF_OUTPUT] | |
may [Computation.OPTION_REF_OUTPUT] | |
mem_project [Project.Datatype.S] | !mem_project must be Some g with g f x returning true iff x
contains one project p such that f p returns true .
|
memo [Computation.OPTION_REF_OUTPUT] |
Memoization.
|
N | |
name [Options] | |
O | |
output_graph [Service_graph.Make] | |
R | |
register_comparable [Project.Datatype.S] |
Allow to register a specific
compare , equal and hash functions
for the datatype.
|
T | |
topologically_iter_on_functions [Register] |