Index of values


A
add [State_builder.Hashtbl]
Add a new binding.
add [Compute.DomSet]
add [Plugin.GEN_STRING_SET]
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.PostComputer]
combineSuccessors [Compute.PostComputer]
compute [Dataflow.BackwardsDataFlow]
Fill in the T.stmtStartData, given a number of initial statements to start from (the sinks for the backwards data flow).
compute [Dataflow.ForwardsDataFlow]
Fill in the T.stmtStartData, given a number of initial statements to start from.
computeFirstPredecessor [Compute.DomComputer]
compute_dom [Compute]
compute_postdom [Compute]
copy [Compute.DomComputer]

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

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

F
filterStmt [Compute.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]
funcExitData [Compute.PostComputer]

G
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.GEN_STRING_SET]
Get a string which concatenates each string in the set with a separator.
get_stmt_dominators [Compute]
get_stmt_postdominators [Compute]
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_dominator [Compute]
is_empty [Plugin.GEN_STRING_SET]
Check if the set is empty.
is_postdominator [Compute]
iter [State_builder.Hashtbl]
iter [Plugin.GEN_STRING_SET]
Iter on each string in the set.
iter_edges_e [Print.Printer]
iter_vertex [Print.Printer]

L
length [State_builder.Hashtbl]
Length of the table.

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

N
name [Compute.PostComputer]
name [Compute.DomComputer]

O
off [Plugin.BOOL]
Set the boolean to false.
on [Plugin.BOOL]
Set the boolean to true.

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

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

S
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.DomComputer]
stmt_dominators [Compute]
stmt_postdominators [Compute]

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