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

- d -

• d_leaft() : d_leaft< keyT, valueT, equalT >
• dadda_tree() : bv_utilst
• data() : structured_datat
• data_dependencies() : dep_graph_domaint, variable_sensitivity_dependence_domaint
• data_dependency_contextt() : data_dependency_contextt
• data_node() : structured_data_entryt
• datat() : datat
• dead() : symex_target_equationt, symex_targett
• dead_ptr() : prophecy_pointer_in_range_exprt, prophecy_r_or_w_ok_exprt
• dead_symbol() : goto_programt::instructiont
• deallocate_state_exprt() : deallocate_state_exprt
• deallocated_ptr() : prophecy_pointer_in_range_exprt, prophecy_r_or_w_ok_exprt
• debug() : messaget
• debug1() : float_utilst
• debug2() : float_utilst
• dec_solve() : bv_refinementt, decision_proceduret, prop_conv_solvert, smt2_convt, smt2_dect, smt2_incremental_decision_proceduret, string_refinementt
• decision_procedure() : solver_factoryt::solvert
• decision_procedure_text() : bv_refinementt, decision_proceduret, prop_conv_solvert, smt2_convt, smt2_dect, smt2_incremental_decision_proceduret, string_refinementt
• decl() : acceleratet, symex_target_equationt, symex_targett
• decl_string_expr() : java_string_library_preprocesst
• decl_symbol() : goto_programt::instructiont
• declarator() : ansi_c_declarationt
• declarators() : ansi_c_declarationt, cpp_declarationt
• declare() : goto_symex_statet
• declare_arguments() : function_call_harness_generatort::implt
• declare_created_symbols() : allocate_objectst, java_object_factoryt, symbol_factoryt
• declare_define_locals() : string_abstractiont
• declared_identifier() : c_declarationt
• decode() : struct_encodingt
• decorated_symbol_exprt() : decorated_symbol_exprt
• decrement() : constant_interval_exprt, ieee_float_valuet
• decrement_use_count() : copy_on_write_pointeet< Num >, small_shared_n_way_pointee_baset< N, Num >, small_shared_pointeet< Num >
• default_access() : struct_union_typet
• default_argument() : template_parametert
• default_assignop() : cpp_typecheckt
• default_assignop_value() : cpp_typecheckt
• default_c_standard() : configt::ansi_ct
• default_cpctor() : cpp_typecheckt
• default_cpp_standard() : configt::cppt
• default_ctor() : cpp_typecheckt
• default_dtor() : cpp_typecheckt
• default_value() : code_typet::parametert
• define_array_function() : smt2_incremental_decision_proceduret
• define_constants() : smt2_solvert
• define_dependent_functions() : smt2_incremental_decision_proceduret
• define_index_identifiers() : smt2_incremental_decision_proceduret
• define_object_properties() : smt2_incremental_decision_proceduret
• define_object_size() : smt2_convt
• defined_entryt() : boolbv_widtht::defined_entryt
• definition() : smt_define_function_commandt
• degree() : monomialt
• delay_read() : shared_bufferst
• delayt() : event_grapht::critical_cyclet::delayt
• deleted() : minisat_prooft
• delta_view_itemt() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt
• denormalization_shift() : float_bvt, float_utilst
• dense_integer_mapt() : dense_integer_mapt< K, V, KeyToDenseInteger >
• dep_graph_domain_factoryt() : dep_graph_domain_factoryt
• dep_graph_domaint() : dep_graph_domaint
• dependence_grapht() : dependence_grapht
• dependencies() : languaget
• depends_on_array() : disjunctive_polynomial_accelerationt
• depth() : write_stackt
• depth_begin() : exprt
• depth_cbegin() : exprt
• depth_cend() : exprt
• depth_end() : exprt
• depth_iterator_baset() : depth_iterator_baset< depth_iterator_t >
• depth_iterator_expr_statet() : depth_iterator_expr_statet
• depth_iteratort() : depth_iteratort
• depth_limited_search() : grapht< N >
• dereference() : goto_symext, value_set_dereferencet
• dereference_expr() : goto_program_dereferencet
• dereference_expression() : goto_program_dereferencet
• dereference_exprt() : dereference_exprt
• dereference_instruction() : goto_program_dereferencet
• dereference_program() : goto_program_dereferencet
• dereference_rec() : goto_program_dereferencet, goto_symext, value_set_fit, value_sett
• dereference_type_compare() : value_set_dereferencet
• descend_tree() : scope_treet
• describe() : invariant_failure_containingt, smt2_parser_error_containingt
• description() : ansi_c_languaget, bv_minimizing_dect, cpp_languaget, cpp_static_assertt, java_bytecode_languaget, json_symtab_languaget, languaget, replacement_predicatet, smt_base_solver_processt, smt_incremental_dry_run_solvert, smt_piped_solver_processt, statement_list_languaget
• descriptor() : smt_get_value_commandt, smt_get_value_responset::valuation_pairt
• deserialization_exceptiont() : deserialization_exceptiont
• designator() : update_exprt
• designator_enter() : c_typecheck_baset
• designatort() : designatort
• destruct() : destructt< I, pointee_baset, Ts >, destructt< 0, pointee_baset, Ts... >, small_shared_n_way_ptrt< Ts >
• destructive_append() : goto_programt
• destructive_insert() : goto_programt
• destructor_and_idt() : destructor_and_idt
• det_flush() : shared_bufferst
• detach() : reference_counting< T, empty >, sharing_treet< derivedt, named_subtreest >
• detailed_conflict_report() : linking_diagnosticst
• detailed_conflict_report_rec() : linking_diagnosticst
• determinise() : trace_automatont
• dfcc_cfg_infot() : dfcc_cfg_infot
• dfcc_contract_clauses_codegent() : dfcc_contract_clauses_codegent
• dfcc_contract_functionst() : dfcc_contract_functionst
• dfcc_contract_handlert() : dfcc_contract_handlert
• dfcc_instrument_loopt() : dfcc_instrument_loopt
• dfcc_instrumentt() : dfcc_instrumentt
• dfcc_is_freeablet() : dfcc_is_freeablet
• dfcc_is_fresht() : dfcc_is_fresht
• dfcc_libraryt() : dfcc_libraryt
• dfcc_lift_memory_predicatest() : dfcc_lift_memory_predicatest
• dfcc_loop_infot() : dfcc_loop_infot
• dfcc_loop_nesting_graph_nodet() : dfcc_loop_nesting_graph_nodet
• dfcc_obeys_contractt() : dfcc_obeys_contractt
• dfcc_pointer_equalst() : dfcc_pointer_equalst
• dfcc_pointer_in_ranget() : dfcc_pointer_in_ranget
• dfcc_spec_functionst() : dfcc_spec_functionst
• dfcc_swap_and_wrapt() : dfcc_swap_and_wrapt
• dfcc_wrapper_programt() : dfcc_wrapper_programt
• dfcct() : dfcct
• dfs() : memory_snapshot_harness_generatort::preordert< Key >
• dfs_inner() : memory_snapshot_harness_generatort::preordert< Key >
• diagnostics_as_string() : diagnostics_helpert< T >, diagnostics_helpert< char * >, diagnostics_helpert< char[N]>, diagnostics_helpert< dstringt >, diagnostics_helpert< irep_pretty_diagnosticst >, diagnostics_helpert< source_locationt >, diagnostics_helpert< std::string >
• die_if_uninitialized() : dirtyt
• difference_type() : pointer_typet
• differences_map() : unified_difft
• dimacs() : literalt
• dimacs_cnf_dumpt() : dimacs_cnf_dumpt
• dimacs_cnft() : dimacs_cnft
• dirtyt() : dirtyt
• disable_checks() : dfcc_libraryt
• disable_flag() : flag_overridet
• disable_follow_compounds() : dump_c_configurationt
• disable_include_compunds() : dump_c_configurationt
• disable_include_function_bodies() : dump_c_configurationt
• disable_include_function_decls() : dump_c_configurationt
• disable_include_global_decls() : dump_c_configurationt
• disable_include_global_vars() : dump_c_configurationt
• disable_include_typedefs() : dump_c_configurationt
• disallow_subexpr_by_id() : c_typecheck_baset
• disambiguate_functions() : cpp_typecheck_resolvet
• disambiguate_template_classes() : cpp_typecheck_resolvet
• disconnect_unreachable() : grapht< N >
• disjunction_may_simplify() : guard_bddt, guard_exprt
• disjunctive_polynomial_accelerationt() : disjunctive_polynomial_accelerationt
• dispatch_table_entryt() : dispatch_table_entryt
• display_array_constraint_count() : arrayst
• display_name() : symbolt
• distance() : gdb_value_extractort::memory_scopet, shift_exprt
• div() : float_bvt, float_utilst
• div_by_zero_check() : goto_check_ct
• div_exprt() : div_exprt
• divide() : constant_interval_exprt
• divide_and_round() : ieee_floatt
• dividend() : div_exprt, euclidean_mod_exprt, mod_exprt
• divider() : bv_utilst
• divisor() : div_exprt, euclidean_mod_exprt, mod_exprt
• djb_manglert() : djb_manglert
• do_alloca() : goto_convertt
• do_array_equal() : goto_convertt
• do_array_op() : goto_convertt
• do_arrays() : acceleration_utilst, polynomial_acceleratort
• do_assume() : abstract_environmentt
• do_assumptions() : acceleration_utilst, polynomial_acceleratort
• do_atomic_begin() : goto_convertt
• do_atomic_end() : goto_convertt
• do_builtin() : cpp_typecheck_resolvet
• do_ci_lazy_method_conversion() : java_bytecode_languaget
• do_cpp_new() : goto_convertt
• do_create_thread() : goto_convertt
• do_designated_initializer() : c_typecheck_baset
• do_dot_function_calls() : dott
• do_end_function() : value_set_fit, value_sett
• do_exception_handling() : java_bytecode_convert_methodt
• do_format_string_read() : string_instrumentationt
• do_format_string_write() : string_instrumentationt
• do_fscanf() : string_instrumentationt
• do_function_call() : flow_insensitive_analysis_baset, goto_convertt, string_instrumentationt, value_set_fit, value_sett
• do_function_call_if() : goto_convertt
• do_function_call_other() : goto_convertt
• do_function_call_rec() : flow_insensitive_analysis_baset
• do_function_call_symbol() : goto_convertt
• do_function_calls() : parameter_assignmentst, remove_returnst
• do_havoc_slice() : cleanert, goto_convertt
• do_indent() : xmlt
• do_indirect_call_and_rtti_removal() : goto_instrument_parse_optionst
• do_initializer() : c_typecheck_baset
• do_initializer_list() : c_typecheck_baset
• do_initializer_rec() : c_typecheck_baset
• do_input() : goto_convertt
• do_java_new() : goto_convertt
• do_java_new_array() : goto_convertt
• do_nonrecursive() : acceleration_utilst
• do_not_instrument() : dfcc_instrumentt
• do_not_typechecked() : cpp_typecheckt
• do_output() : goto_convertt
• do_partial_inlining() : goto_instrument_parse_optionst
• do_postponed() : bv_pointers_widet
• do_printf() : goto_convertt
• do_prob_coin() : goto_convertt
• do_prob_uniform() : goto_convertt
• do_prop_solve() : cnf_clause_listt, dimacs_cnf_dumpt, external_satt, pbs_dimacs_cnft, propt, satcheck_booleforce_baset, satcheck_cadical_baset, satcheck_glucose_baset< T >, satcheck_ipasirt, satcheck_lingelingt, satcheck_minisat1_baset, satcheck_minisat1_coret, satcheck_minisat2_baset< T >, satcheck_picosatt, satcheck_zchaff_baset, satcheck_zcoret
• do_remove_const_function_pointers_only() : goto_instrument_parse_optionst
• do_remove_returns() : goto_instrument_parse_optionst
• do_scanf() : goto_convertt
• do_simplify() : goto_symext
• do_snprintf() : string_instrumentationt
• do_special_functions() : c_typecheck_baset
• do_sprintf() : string_instrumentationt
• do_strcat() : string_instrumentationt
• do_strchr() : string_instrumentationt
• do_strerror() : string_instrumentationt
• do_strncmp() : string_instrumentationt
• do_strrchr() : string_instrumentationt
• do_strstr() : string_instrumentationt
• do_strtok() : string_instrumentationt
• do_typecast() : c_typecastt
• do_virtual_table() : cpp_typecheckt
• document_propertiest() : document_propertiest
• does_expr_lose_const() : does_remove_constt
• does_remove_constt() : does_remove_constt
• does_type_preserve_const_correctness() : does_remove_constt
• doit() : aggressive_slicert, armcc_modet, as_modet, cbmc_parse_optionst, compilet, crangler_parse_optionst, cw_modet, document_propertiest, gcc_modet, goto_analyzer_parse_optionst, goto_bmc_parse_optionst, goto_cc_modet, goto_diff_parse_optionst, goto_harness_parse_optionst, goto_inspect_parse_optionst, goto_instrument_parse_optionst, goto_synthesizer_parse_optionst, janalyzer_parse_optionst, jbmc_parse_optionst, jdiff_parse_optionst, ld_modet, memory_analyzer_parse_optionst, ms_cl_modet, ms_link_modet, parse_options_baset, symtab2gb_parse_optionst
• domain() : mathematical_function_typet
• dominates() : cfg_dominators_templatet< P, T, post_dom >
• done() : minisat_prooft
• dot_attributes() : graph_nodet< E >, scope_treet::scope_nodet
• dott() : dott
• double_precision() : ieee_float_spect
• downcast() : depth_iterator_baset< depth_iterator_t >, smt_check_sat_response_kindt::storert< derivedt >, smt_indext::storert< derivedt >, smt_logict::storert< derivedt >, smt_optiont::storert< derivedt >, smt_sortt::storert< derivedt >, smt_termt::storert< derivedt >
• dp() : data_dpt
• dp_analysis() : data_dpt
• dp_merge() : data_dpt
• draw_edges_from_ret_to_jsr() : java_bytecode_convert_methodt
• drop() : ranget< iteratort >
• drop_existing_l1_name() : goto_symex_statet
• drop_l1_name() : goto_symex_statet
• drop_source_location() : exprt
• drop_unused_functions() : api_optionst, api_sessiont
• dstringt() : dstringt
• dt() : reference_counting< T, empty >::dt
• dtor() : cpp_typecheckt
• dummy() : ait< domainT >, flow_insensitive_analysist< T >
• dump_automaton_dot_to() : levenshtein_automatont, nfat< T >
• dump_c_configurationt() : dump_c_configurationt
• dump_ct() : dump_ct
• dump_map() : abstract_objectt
• dump_map_diff() : abstract_objectt
• dump_on_stream() : string_container_statisticst
• dump_typedefs() : dump_ct
• DumpDot() : mini_bdd_mgrt
• DumpTable() : mini_bdd_mgrt
• DumpTikZ() : mini_bdd_mgrt
• duplicate_code_symbol() : linkingt
• duplicate_non_type_symbol() : linkingt
• duplicate_object_symbol() : linkingt
• duplicate_type_symbol() : linkingt
• dynamic_object_exprt() : dynamic_object_exprt
• dynamic_typecast() : cpp_typecheckt