Index of values


($) [Cg_viewer]

C
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]
graph_window [Cg_viewer]

H
hash [Project.Datatype.S]

I
is_comparable_set [Project.Datatype.S]

M
main [Cg_viewer]
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.

S
services_view [Cg_viewer]