Here is a list of all file members with links to the files they belong to:

- d -

• d_baset : sharing_node.h
• DATA_BLOCK_PARAMETER_NAME : statement_list_typecheck.cpp
• DATA_BLOCK_TYPE_POSTFIX : statement_list_typecheck.cpp
• DATA_CHECK : validate.h
• DATA_CHECK_WITH_DIAGNOSTICS : validate.h
• DATA_INVARIANT : invariant.h
• DATA_INVARIANT_STRUCTURED : invariant.h
• DATA_INVARIANT_WITH_DIAGNOSTICS : invariant.h
• DATA_INVARIANT_WITH_IREP : invariant_utils.h
• DB_ENTRY_POINT_POSTFIX : statement_list_entry_point.cpp
• DEAD : goto_program.h
• dead_mapt : unreachable_instructions.cpp
• dead_object() : pointer_predicates.cpp, pointer_predicates.h
• deallocated() : pointer_predicates.cpp, pointer_predicates.h
• debug_check_axioms_step() : string_refinement.cpp
• debug_model() : string_refinement.cpp
• DECL : goto_program.h
• declare_function() : java_utils.cpp
• declaring_class() : java_utils.h, java_utils.cpp
• default_loop_contract_clauses() : dfcc_cfg_info.cpp
• DEFAULT_MAX_FIELD_SENSITIVITY_ARRAY_SIZE : magic.h
• DEFAULT_MAX_NB_REFINEMENT : string_refinement.h
• default_path_strategy() : path_storage.cpp
• default_step() : structured_trace_util.cpp, structured_trace_util.h
• default_step_kind() : structured_trace_util.h, structured_trace_util.cpp
• default_step_kindt : structured_trace_util.h
• default_step_name() : structured_trace_util.cpp, structured_trace_util.h
• depends_on() : dfcc_infer_loop_assigns.cpp
• DEPRECATED : deprecate.h
• deref_expr() : shadow_memory_util.cpp, shadow_memory_util.h
• dereference() : goto_program_dereference.h, goto_program_dereference.cpp
• deserialize_constant_int_arg() : string_format_builtin_function.cpp
• destruct_locals() : destructor.h, destructor.cpp
• destructive_compact() : value_set_abstract_object.cpp
• detect_file_type() : compile.cpp
• determine_result() : properties.cpp, properties.h
• dfcc() : dfcc.cpp, dfcc.h
• dfcc_check_loop_normal_form() : dfcc_check_loop_normal_form.cpp, dfcc_check_loop_normal_form.h
• dfcc_contract_mode_to_string() : dfcc_contract_mode.cpp, dfcc_contract_mode.h
• dfcc_contract_modet : dfcc_contract_mode.h
• dfcc_funt : dfcc_library.h
• dfcc_get_loop_id() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_has_loop_id() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_infer_loop_assigns_for_function() : dfcc_infer_loop_assigns.cpp, dfcc_infer_loop_assigns.h
• dfcc_infer_loop_assigns_for_loop() : dfcc_infer_loop_assigns.cpp
• dfcc_is_cprover_function_symbol() : dfcc_is_cprover_symbol.cpp, dfcc_is_cprover_symbol.h
• dfcc_is_cprover_pointer_predicate() : dfcc_is_cprover_symbol.cpp, dfcc_is_cprover_symbol.h
• dfcc_is_cprover_static_symbol() : dfcc_is_cprover_symbol.cpp, dfcc_is_cprover_symbol.h
• dfcc_is_loop_body() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_is_loop_exiting() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_is_loop_head() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_is_loop_latch() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_is_loop_top_level() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_loop_nesting_grapht : dfcc_loop_nesting_graph.h
• dfcc_ptr_havoc_modet : dfcc_spec_functions.h
• dfcc_remove_loop_tags() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_root_objects() : dfcc_root_object.cpp, dfcc_root_object.h
• dfcc_set_loop_body() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_set_loop_exiting() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_set_loop_head() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_set_loop_id() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_set_loop_latch() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_set_loop_tag() : dfcc_loop_tags.cpp
• dfcc_set_loop_top_level() : dfcc_loop_tags.cpp, dfcc_loop_tags.h
• dfcc_typet : dfcc_library.h
• disable_may_fail() : dfcc_wrapper_program.cpp
• disable_may_fail_rec() : dfcc_wrapper_program.cpp
• disconnect_unreachable_functions() : call_graph_helpers.cpp, call_graph_helpers.h
• disjunction() : std_expr.cpp, std_expr.h
• dispatch_expr_to_smt_conversion() : convert_expr_to_smt.cpp
• dispatch_table_entries_mapt : remove_virtual_functions.h
• dispatch_table_entriest : remove_virtual_functions.h
• display_index_set() : string_refinement.cpp
• do_prefix() : cpp_type2name.cpp
• do_type_dependencies() : linking.cpp
• document_properties_html() : document_properties.cpp, document_properties.h
• document_properties_latex() : document_properties.cpp, document_properties.h
• does_function_call_return() : remove_returns.cpp, remove_returns.h
• does_pattern_miss_descriptor() : load_method_by_regex.cpp, load_method_by_regex.h
• dominators_pretty_print_node() : cfg_dominators.h
• dot() : dot.cpp, dot.h
• DOTGRAPHSETTINGS : compile.cpp, dot.cpp
• double_type() : c_types.cpp, c_types.h
• dprintf() : stdio.c
• drop_pointer_typecasts() : may_alias.cpp
• drop_quotes() : smt2_dec.cpp
• DSTRING_NUMBERS_MAX : magic.h
• dump() : solver_types.cpp
• dump_c() : dump_c.cpp, dump_c.h
• dump_c_type_header() : dump_c.cpp, dump_c.h
• dump_cpp() : dump_c.cpp, dump_c.h
• dump_loop_contracts() : dump_loop_contracts.cpp, dump_loop_contracts.h
• duplicate_per_byte() : expr_initializer.cpp, expr_initializer.h
• duplicated_previous_step() : show_program.cpp