Index of values


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]