A | |
add [State_builder.Hashtbl] | Add a new binding. |
add [Set.S] |
|
add_path_bounds [Slevel_analysis.Specific] | |
add_seq [Set.S] | Add the given elements to the set, in order. |
after [Region_analysis.Make] | |
all_nodes [Region_analysis_sig.Node.Graph] | |
analyze [Register] | |
analyze [Slevel_analysis] | |
analyze [Loop_analysis] | |
analyze [LoopAnalysis.Loop_analysis] | |
C | |
cardinal [Set.S] | Return the number of elements of a set. |
choose [Set.S] | Return one element of the given set, or raise |
choose_opt [Set.S] | Return one element of the given set, or |
clear [State_builder.Hashtbl] | Clear the table. |
cmp_kf_by_name [Slevel_analysis] | |
compare [Set.S] | Total ordering between sets. |
compile_node [Slevel_analysis.SpecificNoBranches] | |
compile_node [Slevel_analysis.Specific] | |
compile_node [Region_analysis_stmt.M] | |
compile_node [Region_analysis_sig.Node] | |
copy [Region_analysis_sig.Node.Dict] | |
create [Region_analysis_sig.Node.Edge_Dict] | |
create [Region_analysis_sig.Node.Dict] | |
D | |
diff [Set.S] | Set difference: |
disjoint [Set.S] | Test if two sets are disjoint. |
display_results [Slevel_analysis] | |
dominates [Region_analysis_sig.Node.DomTree] | |
domtree_postfix_iter [Region_analysis_sig.Node.DomTree] | |
E | |
elements [Set.S] | Return the list of all elements of the given set. |
empty [Set.S] | The empty set. |
entry_node [Region_analysis_sig.Node.Graph] | |
equal [Set.S] |
|
exists [Set.S] |
|
exit_nodes [Region_analysis_sig.Node.Graph] | |
F | |
filter [Set.S] |
|
find [State_builder.Hashtbl] | Return the current binding of the given key. |
find [Set.S] |
|
find_all [State_builder.Hashtbl] | Return the list of all data associated with the given key. |
find_first [Set.S] |
|
find_first_opt [Set.S] |
|
find_last [Set.S] |
|
find_last_opt [Set.S] |
|
find_opt [Set.S] |
|
fold [State_builder.Hashtbl] | |
fold [Set.S] |
|
fold_bounds [Loop_analysis] | |
fold_bounds [LoopAnalysis.Loop_analysis] | |
fold_sorted [State_builder.Hashtbl] | |
for_all [Set.S] |
|
G | |
get [Region_analysis_sig.Node.Edge_Dict] | |
get [Region_analysis_sig.Node.Dict] | |
get_bounds [Loop_analysis] | |
get_bounds [LoopAnalysis.Loop_analysis] | |
get_range [Parameter_sig.Int] | What is the possible range of values for this parameter. |
I | |
incr [Parameter_sig.Int] | Increment the integer. |
inter [Set.S] | Set intersection. |
is_empty [Set.S] | Test whether a set is empty or not. |
iter [State_builder.Hashtbl] | |
iter [Region_analysis_sig.Node.Edge_Dict] | |
iter [Set.S] |
|
iter [Region_analysis_sig.Node.Dict] | |
iter_preds [Region_analysis_sig.Node.Graph] | |
iter_sorted [State_builder.Hashtbl] | |
iter_succs [Region_analysis_sig.Node.Graph] | |
J | |
join [Slevel_analysis.SpecificNoBranches] | |
join [Slevel_analysis.Specific] | |
join [Region_analysis_stmt.M] | |
join [Region_analysis_sig.Node] | |
join2 [Slevel_analysis.SpecificNoBranches] | |
join2 [Slevel_analysis.Specific] | |
join2_stmts [Slevel_analysis.SpecificNoBranches] | |
join2_stmts [Slevel_analysis.Specific] | |
K | |
kf [Slevel_analysis.SpecificNoBranches] | |
kf [Slevel_analysis.Specific] | |
kf [Region_analysis_stmt.M] | |
L | |
length [State_builder.Hashtbl] | Length of the table. |
M | |
main [Register] | |
map [Set.S] |
|
max_elt [Set.S] | Same as |
max_elt_opt [Set.S] | Same as |
max_slevel_encountered [Slevel_analysis] | |
mem [State_builder.Hashtbl] | |
mem [Set.S] |
|
memo [State_builder.Hashtbl] | Memoization. |
min_elt [Set.S] | Return the smallest element of the given set
(with respect to the |
min_elt_opt [Set.S] | Return the smallest element of the given set
(with respect to the |
mu [Slevel_analysis.SpecificNoBranches] | |
mu [Slevel_analysis.Specific] | |
mu [Region_analysis_stmt.M] | |
mu [Region_analysis_sig.Node] | |
O | |
of_list [Set.S] |
|
of_seq [Set.S] | Build a set from the given bindings |
off [Parameter_sig.Bool] | Set the boolean to |
on [Parameter_sig.Bool] | Set the boolean to |
P | |
partition [Set.S] |
|
pretty [Region_analysis_sig.Node] | |
R | |
remove [State_builder.Hashtbl] | |
remove [Set.S] |
|
replace [State_builder.Hashtbl] | Add a new binding. |
S | |
set [Region_analysis_sig.Node.Edge_Dict] | |
set [Region_analysis_sig.Node.Dict] | |
set_range [Parameter_sig.Int] | Set what is the possible range of values for this parameter. |
singleton [Set.S] |
|
split [Set.S] |
|
subset [Set.S] |
|
T | |
to_seq [Set.S] | Iterate on the whole set, in ascending order |
to_seq_from [Set.S] |
|
U | |
union [Set.S] | Set union. |
update_max_slevel_encountered [Slevel_analysis] |