Index of values


A
add [State_builder.Hashtbl]
Add a new binding.
add [Compute.DomSet]
add [Plugin.String_collection]
Add a string to the string set option.
add_choice [Plugin.Indexed_val]
adds a new choice for the option.

B
build_dot [Print]
build_reduced_graph [Print]

C
clear [State_builder.Hashtbl]
Clear the table.
combinePredecessors [Compute.DomComputer]
combineStmtStartData [Compute.MakePostDom.PostComputer]
combineSuccessors [Compute.MakePostDom.PostComputer]
compute [Dataflow.Backwards]
Fill in the T.stmtStartData, given a number of initial statements to start from (the sinks for the backwards data flow).
compute [Dataflow.Forwards]
Fill in the T.stmtStartData, given a number of initial statements to start from.
computeFirstPredecessor [Compute.DomComputer]
compute_dom [Compute]
compute_postdom [Compute.MakePostDom]
copy [Compute.DomComputer]

D
debug [Compute.MakePostDom.PostComputer]
debug [Compute.DomComputer]
default_edge_attributes [Print.Printer]
default_vertex_attributes [Print.Printer]
dependencies [Compute.MakePostDomArg]
display_dom [Compute]
display_postdom [Compute.MakePostDom]
doEdge [Compute.DomComputer]
doGuard [Compute.DomComputer]
doInstr [Compute.MakePostDom.PostComputer]
doInstr [Compute.DomComputer]
doStmt [Compute.MakePostDom.PostComputer]
doStmt [Compute.DomComputer]
dst [Print.Printer.E]

E
edge_attributes [Print.Printer]
eval_cond [Compute.MakePostDomArg]
exists [Plugin.String_collection]
Checks if at least one element of the set satisfies the predicate.

F
filterIf [Compute.MakePostDom.PostComputer]
filterStmt [Compute.MakePostDom.PostComputer]
filterStmt [Compute.DomComputer]
find [State_builder.Hashtbl]
Return the current binding of the given key.
find [Plugin.String_hashtbl]
find_all [State_builder.Hashtbl]
Return the list of all data associated with the given key.
fold [State_builder.Hashtbl]
fold [Plugin.String_collection]
Fold on each string in the set.
fold_sorted [State_builder.Hashtbl]
funcExitData [Compute.MakePostDom.PostComputer]

G
get_possible_values [Plugin.String_collection]
What are the acceptable values for this parameter.
get_possible_values [Plugin.String]
What are the acceptable values for this parameter.
get_postdom [Print]
get_range [Plugin.Int]
What is the possible range of values for this parameter.
get_set [Plugin.String_collection]
Get a string which concatenates each string in the set with a separator.
get_stmt_dominators [Compute]
get_stmt_postdominators [Compute.MakePostDom]
get_subgraph [Print.Printer]
get_val [Plugin.Indexed_val]
the currently selected value.
graph_attributes [Print.Printer]

I
incr [Plugin.Int]
Increment the integer.
inter [Compute.DomSet]
is_accessible [Compute.MakePostDomArg]
is_dominator [Compute]
is_empty [Plugin.String_collection]
Check if the set is empty.
is_postdominator [Compute.MakePostDom]
iter [State_builder.Hashtbl]
iter [Plugin.String_collection]
Iter on each string in the set.
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]
name [Compute.DomComputer]

O
off [Plugin.Bool]
Set the boolean to false.
on [Plugin.Bool]
Set the boolean to true.
output [Plugin.WithOutput]
To be used by the plugin to output the results of the option in a controlled way.
output [Compute]

P
pretty [Compute.MakePostDom.PostComputer]
pretty [Compute.DomComputer]
pretty [Print.Printer.V]
pretty_stmt [Print]
print_dot_postdom [Compute.MakePostDom]

R
reachedStatement [Dataflow.Forwards]
reduce [Print]
s_postdom are s postdominators, including s.
remove [State_builder.Hashtbl]
remove [Plugin.String_collection]
Remove a string from the option.
replace [State_builder.Hashtbl]
Add a new binding.

S
set_output_dependencies [Plugin.WithOutput]
Set the dependencies for the output of the option.
set_possible_values [Plugin.String_collection]
Set what are the acceptable values for this parameter.
set_possible_values [Plugin.String]
Set what are the acceptable values for this parameter.
set_range [Plugin.Int]
Set what is the possible range of values for this parameter.
src [Print.Printer.E]
stmt_can_reach [Compute.MakePostDom.PostComputer]
stmt_can_reach [Compute.DomComputer]
stmt_dominators [Compute]
stmt_postdominators [Compute.MakePostDom]

V
vertex_attributes [Print.Printer]
vertex_name [Print.Printer]