goto_loopst Member List

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

add_loop_var(loopst &loop, const expr2tc &expr, bool is_modified)	goto_loopst	protected
add_modified_var(loopst &loop, const expr2tc &expr)	goto_loopst	protected
add_unmodified_var(loopst &loop, const expr2tc &expr)	goto_loopst	protected
apply_callee_summary(loopst &loop, const function_summaryt &summary, const code_function_call2t &call)	goto_loopst	protectedstatic
collect_address_taken(const expr2tc &expr, function_summaryt &out) const	goto_loopst	protected
collect_lhs_symbols(const expr2tc &expr, function_summaryt &out) const	goto_loopst	protected
collect_loop_symbols(const expr2tc &expr, loopst::loop_varst &out) const	goto_loopst	protected
compute_function_summary(const irep_idt &fname, std::vector< irep_idt > &in_progress, function_summaryt &out)	goto_loopst	protected
create_function_loop(goto_programt::instructionst::iterator loop_head, goto_programt::instructionst::iterator loop_exit)	goto_loopst	protected
dump() const	goto_loopst
find_function_loops()	goto_loopst
function_loops	goto_loopst	protected
function_loopst typedef	goto_loopst	protected
function_name	goto_loopst	protected
function_summary_cache	goto_loopst	protected
get_loops() const	goto_loopst	inline
get_loops()	goto_loopst	inline
get_modified_variables(goto_programt::instructionst::iterator instruction, function_loopst::iterator loop, std::vector< irep_idt > &function_name)	goto_loopst	protected
goto_function	goto_loopst	protected
goto_functions	goto_loopst	protected
goto_loopst(const irep_idt &_function_name, goto_functionst &_goto_functions, goto_functiont &_goto_function)	goto_loopst	inline
merge_summary(const function_summaryt &from, function_summaryt &out)	goto_loopst	protectedstatic
note_pointer_write(const expr2tc &target, function_summaryt &local, std::vector< expr2tc > &written_ptrs)	goto_loopst	protectedstatic
summarise_call(const code_function_call2t &call, std::vector< irep_idt > &in_progress, function_summaryt &local, std::vector< expr2tc > &written_ptrs)	goto_loopst	protected