Index of values


A
add [Dataflow.StmtStartData]

C
call_stack [Outputs]
call_stack [Inputs]
call_stack [Derefs]
call_stack [Context]
clear [Dataflow.StmtStartData]
combinePredecessors [Context.Computer]
compute [Access_path]
computeFirstPredecessor [Context.Computer]
compute_external [Inputs]
compute_external [Derefs]
compute_external [Context]
compute_internal_using_cfg [Context]
compute_internal_using_prototype [Context]
copy [Context.Computer]
current_stmt [Context.Computer]

D
debug [Context.Computer]
dependencies [Kf_state.INFO]
Additional dependencies of the built state.
display [Context.Computer]
display_one [Context.Computer]
doEdge [Context.Computer]
doGuard [Context.Computer]
doInstr [Context.Computer]
doStmt [Context.Computer]

E
empty [Context]
expr [Inputs]
externalize [Outputs]
externalize [Inputs]
externalize [Derefs]
externalize [Context]

F
filter [Access_path]
filterStmt [Context.Computer]
find [Dataflow.StmtStartData]
find_deps_no_transitivity [Context]

G
get_external [Outputs]
get_external [Inputs]
get_external [Derefs]
get_external [Context]
get_external_using_prototype [Context]
get_internal [Outputs]
get_internal [Inputs]
get_internal [Derefs]
get_internal [Context]
get_using_prototype [Context]
get_with_formals [Inputs]

I
iter [Dataflow.StmtStartData]

M
main [Access_path]
mem [Dataflow.StmtStartData]
memo [Kf_state.S]
memo [Kf_state.Build]

N
name [Kf_state.INFO]
name [Context.Computer]
non_terminating [Context]

P
pretty [Context.Computer]
pretty [Access_path]
pretty_external [Outputs]
pretty_external [Inputs]
pretty_external [Derefs]
pretty_external [Context]
pretty_internal [Outputs]
pretty_internal [Derefs]
pretty_internal [Context]
pretty_with_formals [Inputs]

R
remove_locals_keep_formals [Inputs]
replace [Dataflow.StmtStartData]
resolv_func_vinfo [Context.Computer]

S
self [Kf_state.S]
statement [Outputs]
statement [Inputs]
statement [Derefs]
stmt_can_reach [Context.Computer]

U
under_inputs_termination_no_depend [Context.Computer]