Index of values


A
add [Computation.HASHTBL_OUTPUT]
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 [Computation.HASHTBL_OUTPUT]
Clear the table.
combinePredecessors [Compute.DomComputer]
combineStmtStartData [Compute.PostComputer]
combineSuccessors [Compute.PostComputer]
compare [Project.Datatype.S]
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]
equal [Project.Datatype.S]
equal [Compute.DomSet]

F
filterStmt [Compute.PostComputer]
filterStmt [Compute.DomComputer]
find [Computation.HASHTBL_OUTPUT]
Return the current binding of the given key.
find [Plugin.STRING_HASHTBL]
find_all [Computation.HASHTBL_OUTPUT]
Return the list of all data associated with the given key.
fold [Computation.HASHTBL_OUTPUT]
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]

H
hash [Project.Datatype.S]
hash [Compute.DomSet]

I
incr [Plugin.INT]
Increment the integer.
inter [Compute.DomSet]
is_comparable_set [Project.Datatype.S]
is_dominator [Compute]
is_empty [Plugin.GEN_STRING_SET]
Check if the set is empty.
is_postdominator [Compute]
iter [Computation.HASHTBL_OUTPUT]
iter [Plugin.GEN_STRING_SET]
Iter on each string in the set.
iter_edges_e [Print.Printer]
iter_vertex [Print.Printer]

L
length [Computation.HASHTBL_OUTPUT]
Length of the table.

M
main [Compute]
map [Compute.DomSet]
mem [Computation.HASHTBL_OUTPUT]
mem [Compute.DomSet]
mem_project [Project.Datatype.S]
!mem_project must be Some g with g f x returning true iff x contains one project p such that f p returns true.
memo [Computation.HASHTBL_OUTPUT]
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 [Compute.DomSet]
pretty_stmt [Print]
print_dot_postdom [Compute]

R
reachedStatement [Dataflow.ForwardsDataFlow]
reduce [Print]
s_postdom are s postdominators, including s.
register_comparable [Project.Datatype.S]
Allow to register a specific compare, equal and hash functions for the datatype.
remove [Computation.HASHTBL_OUTPUT]
remove [Plugin.GEN_STRING_SET]
Remove a string from the option.
replace [Computation.HASHTBL_OUTPUT]
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]

U
unsafe_find [Computation.HASHTBL_OUTPUT]
Unsafe version of find.

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