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

add_created_symbol(const symbolt &symbol)	allocate_objectst
allocate_automatic_local_object(code_blockt &assignments, const exprt &target_expr, const typet &allocate_type, const irep_idt &basename_prefix="tmp")	allocate_objectst
allocate_automatic_local_object(const typet &allocate_type, const irep_idt &basename_prefix="tmp")	allocate_objectst
allocate_dynamic_object(code_blockt &output_code, const exprt &target_expr, const typet &allocate_type)	allocate_objectst
allocate_dynamic_object_symbol(code_blockt &output_code, const exprt &target_expr, const typet &allocate_type)	allocate_objectst
allocate_non_dynamic_object(code_blockt &assignments, const exprt &target_expr, const typet &allocate_type, const bool static_lifetime, const irep_idt &basename_prefix)	allocate_objectst	private
allocate_object(code_blockt &assignments, const exprt &target_expr, const typet &allocate_type, const lifetimet lifetime, const irep_idt &basename_prefix="tmp")	allocate_objectst
allocate_objectst(const irep_idt &symbol_mode, const source_locationt &source_location, const irep_idt &name_prefix, symbol_table_baset &symbol_table)	allocate_objectst	inline
allocate_static_global_object(code_blockt &assignments, const exprt &target_expr, const typet &allocate_type, const irep_idt &basename_prefix="tmp")	allocate_objectst
declare_created_symbols(code_blockt &init_code)	allocate_objectst
mark_created_symbols_as_input(code_blockt &init_code)	allocate_objectst
name_prefix	allocate_objectst	private
ns	allocate_objectst	private
source_location	allocate_objectst	private
symbol_mode	allocate_objectst	private
symbol_table	allocate_objectst	private
symbols_created	allocate_objectst	private