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
]