Index of values

A
accept_base [Uses]	`accept_base formals locals kf b` returns `true` if and only if `b` is a global, a formal or local of one of the callers of `kf`, a formal or local of `kf` and the corresponding argument is `true`.
C
compute [Callgraph_api.Graph]	Compute the graph
compute [Journalize.Make]
D
dump [Callgraph_api.Graph]	Dump the (possibly sub-)graph in the file of the corresponding command line argument.
dump [Journalize.Make]
dump [Options]	dump the given value into `Filename.get ()` by using `output`
E
entry_point [Callgraph_api.Services]
exists [Parameter_sig.Set]	Is there some element satisfying the given predicate?
G
get [Callgraph_api.Graph.Subgraph]
get [Callgraph_api.Graph]	Get the graph from the AST.
get [Subgraph.Make]
get [Journalize.Make]
I
is_computed [Callgraph_api.Graph]	Is the graph already built?
is_empty [Parameter_sig.Filepath]	Whether the Filepath is empty.
is_root [Callgraph_api.Services]
iter_in_order [Uses]	Iterate over all the functions, in the callgraph order, i.e.
iter_in_rev_order [Uses]	Iterate over all the functions, in the callgraph reverse order, i.e.
iter_on_callees [Uses]	Iterate over all the callees of a given function in a (reverse) depth-first way.
iter_on_callers [Uses]	Iterate over all the callers of a given function in a (reverse) depth-first way.
M
mem [Parameter_sig.Set]	Does the given element belong to the set?
N
name [Options]
nb_calls [Uses]
O
off [Parameter_sig.Bool]	Set the boolean to `false`.
on [Parameter_sig.Bool]	Set the boolean to `true`.
S
self [Callgraph_api.Graph]
self [Subgraph.Make]