Up
Index of values
A
accept_base
[
Register
]
add
[
State_builder.Queue
]
C
callgraph
[
Register
]
compare
[
Register.KfSorted
]
compute
[
Service_graph.Make
]
compute
[
Register
]
copy
[
Datatype.S
]
Deep copy: no possible sharing between
x
and
copy x
.
D
dump
[
Register
]
E
entry_point
[
Service_graph.Make
]
compute
must be called before
equal
[
Register.KfSorted
]
G
get
[
Register
]
get_init_funcs
[
Register
]
get_option
[
State_builder.Option_ref
]
H
hash
[
Register.KfSorted
]
I
is_empty
[
State_builder.Queue
]
is_local_or_formal_of_caller
[
Register
]
iter
[
State_builder.Queue
]
iter_on_callers
[
Register
]
M
map
[
State_builder.Option_ref
]
max_elt
[
FCSet.S
]
Same as , but returns the largest element of the given set.
may
[
State_builder.Option_ref
]
memo
[
State_builder.Option_ref
]
Memoization.
min_elt
[
FCSet.S
]
Return the smallest element of the given set (with respect to the
Ord
.compare
ordering), or raise
Not_found
if the set is empty.
N
name
[
Options
]
nearest_elt_ge
[
FCSet.S
]
nearest_elt_ge v s
returns the smallest element of
s
that is bigger or equal to
v
.
nearest_elt_le
[
FCSet.S
]
nearest_elt_le v s
returns the largest element of
s
that is smaller or equal to
v
.
O
output_graph
[
Service_graph.Make
]
T
topologically_iter_on_functions
[
Register
]