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

build_array_constructor(const exprt &depth, const symbol_exprt &result)	recursive_initializationt	private
build_constructor(const exprt &expr)	recursive_initializationt	private
build_constructor_body(const exprt &depth_symbol, const symbol_exprt &result_symbol, const std::optional< exprt > &size_symbol, const std::optional< irep_idt > &lhs_name, const bool is_nullable)	recursive_initializationt	private
build_dynamic_array_constructor(const exprt &depth, const symbol_exprt &result, const exprt &size, const std::optional< irep_idt > &lhs_name)	recursive_initializationt	private
build_function_pointer_constructor(const symbol_exprt &result, bool is_nullable)	recursive_initializationt	private
build_nondet_constructor(const symbol_exprt &result) const	recursive_initializationt	private
build_pointer_constructor(const exprt &depth, const symbol_exprt &result)	recursive_initializationt	private
build_struct_constructor(const exprt &depth, const symbol_exprt &result)	recursive_initializationt	private
common_arguments_origins	recursive_initializationt	private
equal_cluster_idt typedef	recursive_initializationt
find_equal_cluster(const irep_idt &name) const	recursive_initializationt	private
free_cluster_origins(code_blockt &body)	recursive_initializationt
free_if_possible(const exprt &expr, code_blockt &body)	recursive_initializationt
get_associated_size_variable(const irep_idt &array_name) const	recursive_initializationt	private
get_free_function()	recursive_initializationt
get_fresh_fun_symbol(const std::string &fun_name, const typet &fun_type)	recursive_initializationt	private
get_fresh_global_name(const std::string &symbol_name, const exprt &initial_value) const	recursive_initializationt	private
get_fresh_global_symexpr(const std::string &symbol_name) const	recursive_initializationt	private
get_fresh_local_symexpr(const std::string &symbol_name) const	recursive_initializationt	private
get_fresh_local_typed_symexpr(const std::string &symbol_name, const typet &type) const	recursive_initializationt	private
get_fresh_param_symbol(const std::string &param_name, const typet &param_type)	recursive_initializationt	private
get_malloc_function()	recursive_initializationt	private
get_symbol_expr(const irep_idt &symbol_name) const	recursive_initializationt	private
goto_model	recursive_initializationt	private
initialization_config	recursive_initializationt	private
initialize(const exprt &lhs, const exprt &depth, code_blockt &body)	recursive_initializationt
initialize_selected_member(const exprt &lhs, const exprt &depth, code_blockt &body, const std::vector< irep_idt > &selection_spec)	recursive_initializationt	private
is_array_size_parameter(const irep_idt &cmdline_arg) const	recursive_initializationt	private
is_initialization_allowed(const symbolt &symbol)	recursive_initializationt	inlinestatic
max_depth_var_name	recursive_initializationt	private
min_depth_var_name	recursive_initializationt	private
needs_freeing(const exprt &expr) const	recursive_initializationt
recursion_sett typedef	recursive_initializationt
recursive_initializationt(recursive_initialization_configt initialization_config, goto_modelt &goto_model)	recursive_initializationt
should_be_treated_as_array(const irep_idt &pointer_name) const	recursive_initializationt	private
should_be_treated_as_cstring(const irep_idt &pointer_name) const	recursive_initializationt	private
type2id(const typet &type) const	recursive_initializationt	private
type_constructor_names	recursive_initializationt	private
type_constructor_namest typedef	recursive_initializationt