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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

R

S

T

U

V

W

X

Y

Z

_

- d -

• 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
• declare_function() : java_utils.cpp
• declaring_class() : java_utils.cpp, java_utils.h
• default_loop_contract_clauses() : dfcc_cfg_info.cpp
• default_path_strategy() : path_storage.cpp
• default_step() : structured_trace_util.cpp, structured_trace_util.h
• default_step_kind() : structured_trace_util.cpp, structured_trace_util.h
• default_step_name() : structured_trace_util.cpp, structured_trace_util.h
• depends_on() : dfcc_infer_loop_assigns.cpp
• deref_expr() : shadow_memory_util.cpp, shadow_memory_util.h
• dereference() : goto_program_dereference.cpp, goto_program_dereference.h
• deserialize_constant_int_arg() : string_format_builtin_function.cpp
• destruct_locals() : destructor.cpp, destructor.h
• 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_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_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
• 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
• 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
• double_type() : c_types.cpp, c_types.h
• drop_pointer_typecasts() : may_alias.cpp
• drop_quotes() : smt2_dec.cpp
• dummy_open() : driver.h
• dummy_read() : driver.h
• dummy_release() : driver.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