loopst Member List

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

add_modified_var_to_loop(const expr2tc &expr)	loopst
add_pointer_array_write_ptr(const expr2tc &ptr)	loopst	inline
add_unmodified_var_to_loop(const expr2tc &expr)	loopst
add_written_pointee(const expr2tc &pointee)	loopst	inline
add_written_pointer(const expr2tc &ptr)	loopst	inline
dump() const	loopst
dump_loop_vars() const	loopst
effective_loop_head() const	loopst
get_modified_loop_vars() const	loopst
get_original_loop_exit() const	loopst
get_original_loop_head() const	loopst
get_pointer_array_write_ptrs() const	loopst	inline
get_unmodified_loop_vars() const	loopst
get_written_pointees() const	loopst	inline
get_written_pointers() const	loopst	inline
loop_varst typedef	loopst
loopst()	loopst	inline
modified_loop_vars	loopst	protected
original_loop_exit	loopst	protected
original_loop_head	loopst	protected
output_loop_vars_to(std::ostream &oss) const	loopst
output_to(std::ostream &oss) const	loopst
pointer_array_write_ptrs_	loopst	protected
pointer_array_write_unresolvable() const	loopst	inline
pointer_array_write_unresolvable_	loopst	protected
set_original_loop_exit(goto_programt::targett _loop_exit)	loopst
set_original_loop_head(goto_programt::targett _loop_head)	loopst
set_pointer_array_write_unresolvable()	loopst	inline
set_size(std::size_t size)	loopst	inline
set_unnamed_pointer_write()	loopst	inline
set_writes_through_pointer()	loopst	inline
size	loopst	protected
unmodified_loop_vars	loopst	protected
unnamed_pointer_write() const	loopst	inline
unnamed_pointer_write_	loopst	protected
writes_through_pointer() const	loopst	inline
writes_through_pointer_	loopst	protected
written_pointees_	loopst	protected
written_pointers_	loopst	protected