Index of values

A
add [State_builder.Hashtbl]

Add a new binding.

add [Compute.DomSet]
B
build_dot [Print]
build_reduced_graph [Print]
C
clear [State_builder.Hashtbl]

Clear the table.

combineStmtStartData [Compute.MakePostDom.PostComputer]
combineSuccessors [Compute.MakePostDom.PostComputer]
compute [Dataflow2.Backwards]

Fill in the T.stmtStartData, given a number of initial statements to start from (the sinks for the backwards data flow).

compute_postdom [Compute.MakePostDom]
D
debug [Compute.MakePostDom.PostComputer]
default_edge_attributes [Print.Printer]
default_vertex_attributes [Print.Printer]
dependencies [Compute.MakePostDomArg]
display_postdom [Compute.MakePostDom]
doInstr [Compute.MakePostDom.PostComputer]
doStmt [Compute.MakePostDom.PostComputer]
dst [Print.Printer.E]
E
edge_attributes [Print.Printer]
eval_cond [Compute.MakePostDomArg]
F
filterIf [Compute.MakePostDom.PostComputer]
filterStmt [Compute.MakePostDom.PostComputer]
find [State_builder.Hashtbl]

Return the current binding of the given key.

find_all [State_builder.Hashtbl]

Return the list of all data associated with the given key.

fold [State_builder.Hashtbl]
fold_sorted [State_builder.Hashtbl]
funcExitData [Compute.MakePostDom.PostComputer]
G
get_function_name [Parameter_sig.String]

returns the given argument only if it is a valid function name (see Parameter_customize.get_c_ified_functions for more information), and abort otherwise.

get_plain_string [Parameter_sig.String]

always return the argument, even if the argument is not a function name.

get_possible_values [Parameter_sig.String]

What are the acceptable values for this parameter.

get_postdom [Print]
get_stmt_postdominators [Compute.MakePostDom]
get_subgraph [Print.Printer]
graph_attributes [Print.Printer]
I
inter [Compute.DomSet]
is_accessible [Compute.MakePostDomArg]
is_postdominator [Compute.MakePostDom]
iter [State_builder.Hashtbl]
iter_edges_e [Print.Printer]
iter_sorted [State_builder.Hashtbl]
iter_vertex [Print.Printer]
L
length [State_builder.Hashtbl]

Length of the table.

M
map [Compute.DomSet]
mem [State_builder.Hashtbl]
mem [Compute.DomSet]
memo [State_builder.Hashtbl]

Memoization.

N
name [Compute.MakePostDomArg]
name [Compute.MakePostDom.PostComputer]
O
output [Compute]
P
pretty [Compute.MakePostDom.PostComputer]
pretty [Print.Printer.V]
pretty_stmt [Print]
print_dot_postdom [Compute.MakePostDom]
R
reduce [Print]

s_postdom are s postdominators, including s.

remove [State_builder.Hashtbl]
replace [State_builder.Hashtbl]

Add a new binding.

S
set_possible_values [Parameter_sig.String]

Set what are the acceptable values for this parameter.

src [Print.Printer.E]
stmt_postdominators [Compute.MakePostDom]
V
vertex_attributes [Print.Printer]
vertex_name [Print.Printer]