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

aggressive_slicert(goto_modelt &_goto_model, message_handlert &_msg)	aggressive_slicert	inline
call_depth	aggressive_slicert
call_graph	aggressive_slicert	private
doit()	aggressive_slicert
find_functions_that_contain_name_snippet()	aggressive_slicert	private
functions_to_keep	aggressive_slicert	private
get_all_functions_containing_properties()	aggressive_slicert	private
goto_model	aggressive_slicert	private
message_handler	aggressive_slicert	private
name_snippets	aggressive_slicert
note_functions_to_keep(const irep_idt &destination_function)	aggressive_slicert	private
preserve_all_direct_paths	aggressive_slicert
preserve_functions(const std::list< std::string > &function_list)	aggressive_slicert	inline
start_function	aggressive_slicert	private
user_specified_properties	aggressive_slicert