cprover
const_function_pointer_propagationt Member List

This is the complete list of members for const_function_pointer_propagationt, including all inherited members.

add(const irep_idt &symb, const symbol_exprt &goto_function)const_function_pointer_propagationtinlineprotected
add(const irep_idt &symb, const symbol_exprt &goto_function, unsigned scope)const_function_pointer_propagationtinlineprotected
callsite_stackconst_function_pointer_propagationtprotected
const_function_pointer_propagationt(symbol_tablet &_symbol_table, goto_functionst &_goto_functions, messaget &_message)const_function_pointer_propagationtinline
dup_caller_and_inline_callee(const symbol_exprt &function, unsigned stack_scope)const_function_pointer_propagationtprotected
fun_id_to_invokconst_function_pointer_propagationtprotected
functions_metconst_function_pointer_propagationtprotected
get(const irep_idt &symb)const_function_pointer_propagationtinlineprotected
goto_functionsconst_function_pointer_propagationtprotected
has(const irep_idt &symb) constconst_function_pointer_propagationtinlineprotected
map_uniqueconst_function_pointer_propagationtprotected
messageconst_function_pointer_propagationtprotected
nsconst_function_pointer_propagationtprotected
pointer_to_funconst_function_pointer_propagationtprotected
pointer_to_stackconst_function_pointer_propagationtprotected
propagate(const irep_idt &function)const_function_pointer_propagationtprotected
propagate()const_function_pointer_propagationtinline
remove(const irep_idt &symb)const_function_pointer_propagationtinlineprotected
resolve(const irep_idt &symb, symbol_exprt &goto_function, unsigned &stack_scope)const_function_pointer_propagationtinlineprotected
symbol_tableconst_function_pointer_propagationtprotected