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

- d -

• date_time() : date_time
• dec_solve() : bitwuzla_convt, bitwuzllob_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, minisat_convt, neurosym_convt, smt_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• dec_solve_assuming() : bitwuzla_convt, boolector_convt, cvc5_convt, smt_convt, smt_solver_baset, yices_convt, z3_convt
• decay_array_arguments() : python_adjust
• decay_function_choice() : python_converter
• decide_ileave_direction() : reachability_treet
• decl_ident() : irept
• decl_value() : irept
• declaration_type() : irept
• declare() : renaming::level2t
• declare_dynamic_type_names() : dynamic_type_handler
• declare_gcc_polymorphic_builtin() : clang_c_adjust
• declare_implicit_callee() : clang_c_adjust_irep2
• declare_polymorphic_builtin() : clang_c_adjust_irep2
• declare_skipped_locals() : goto_convertt
• declares() : scope_walker
• declares_contracts() : code_contractst
• decode_pointer_repr() : smt_solver_baset
• decompose_select_chain() : smt_solver_baset
• decompose_store_chain() : smt_solver_baset
• decompose_stores() : smt_solver_baset
• decrease_indent() : formatter
• decrease_stack_frame_size() : goto_symex_statet::framet
• decrement() : ieee_floatt
• decrement_active_atomic_number() : execution_statet
• def_kind() : preprocessor.function_value_types._Analysis
• default_convert_array_of() : array_iface
• default_flags() : clang_c_languaget, jimple_languaget, languaget, ld_languaget, python_languaget
• default_replace_dynamic_allocation() : goto_symext
• default_value() : code_typet::argumentt
• defer_assumption() : execution_statet, goto_symext
• defer_check() : python_converter
• define() : smt_convt, smt_solver_baset
• del_var() : value_sett
• delete_all_asts() : smt_solver_baset
• delete_modifier_json() : solidity_convertert
• depends_on_tracked() : symex_slicet
• depth_counter_scope() : depth_counter_scope
• dereference() : dereferencet, goto_symext
• dereference2t() : dereference2t
• dereference_assume() : dereference_callbackt, goto_program_dereferencet, symex_dereference_statet
• dereference_expr() : dereferencet, goto_program_dereferencet
• dereference_expression() : goto_program_dereferencet
• dereference_exprt() : dereference_exprt
• dereference_failure() : dereference_callbackt, goto_program_dereferencet, symex_dereference_statet
• dereference_instruction() : goto_program_dereferencet
• dereference_program() : goto_program_dereferencet
• dereferencet() : dereferencet
• derive_exception_ids() : python_adjust
• derive_exception_ids_rec() : python_adjust
• derived_this_arg() : irept
• describe_strided_view() : python_list
• description() : TOML_PARSE_ERROR_BASE
• destination() : irept
• destroy_comma_operand_temporaries() : goto_convertt
• destroy_full_expression_temporaries() : goto_convertt
• destroy_object_on_body_unwind() : clang_cpp_convertert
• destructive_append() : goto_programt
• destructive_insert() : goto_programt
• detach() : formatter, irep_container< T >
• detatch() : irept
• detect_and_process_submodules() : parser.parser_cli.ImportResolverLike
• detect_dynamic_return_type() : dynamic_type_handler
• detect_dynamic_type_names() : dynamic_type_handler
• determine_fallback_element_type() : goto_symext
• dfault() : irept
• dfs_execution_statet() : dfs_execution_statet
• dfs_explore_thread() : reachability_treet
• diagnose_contract_target() : code_contractst
• diagnose_unknown_properties() : esbmc_parseoptionst
• diff() : persistent_map< K, V, Hash >, persistent_set< K, Hash >
• difference() : wrapped_interval
• digits() : BigInt
• discard_comma_operands() : goto_convertt
• disjunction_may_simplify() : guard2tc
• dispatched_statements() : preprocessor.bound_method_dispatch._Rebound
• div() : BigInt
• div_by_zero_check() : goto_checkt
• div_exprt() : div_exprt
• diverges() : value_kinds
• divide_and_round() : ieee_floatt
• divide_by_element_size() : smt_solver_baset
• do_abort() : goto_convertt
• do_alloca() : goto_convertt
• do_assert_fail() : goto_convertt
• do_atomic_begin() : goto_convertt
• do_atomic_end() : goto_convertt
• do_bmc() : esbmc_parseoptionst
• do_bmc_strategy() : esbmc_parseoptionst
• do_context_bound_deepening() : esbmc_parseoptionst
• do_cpp_new() : goto_convertt
• do_create_thread() : goto_convertt
• do_end_function() : value_sett
• do_exit() : goto_convertt
• do_free() : goto_convertt, value_sett
• do_function_call() : ai_baset, goto_convertt, static_analysis_baset, value_sett
• do_function_call_dereference() : goto_convertt
• do_function_call_if() : goto_convertt
• do_function_call_rec() : ai_baset, static_analysis_baset
• do_function_call_symbol() : goto_convertt
• do_indent() : xmlt
• do_malloc() : goto_convertt
• do_mem() : goto_convertt
• do_operator_new() : goto_convertt
• do_pattern_check() : pattern_checker
• do_printf() : goto_convertt
• do_realloc() : goto_convertt
• do_simplify() : address_of2t, bitcast2t, byte_extract2t, byte_update2t, cmp_three_way2t, code_decl2t, concat2t, constant_array2t, constant_struct2t, expr2t, extract2t, goto_symext, ieee_fma2t, ieee_sqrt2t, if2t, index2t, member2t, nearbyint2t, new_object2t, not2t, overflow2t, overflow_cast2t, pointer_offset2t, same_object2t, sizeof2t, typecast2t, with2t
• do_special_functions() : clang_c_adjust
• do_sync() : goto_convertt
• do_ts_strategy() : esbmc_parseoptionst
• do_typecast() : c_typecastt
• does_forward_condition_hold() : esbmc_parseoptionst
• doit() : c2goto_parseopt, esbmc_parseoptionst, parseoptions_baset, python2goto_parseopt
• doit_k_induction_parallel() : esbmc_parseoptionst
• double_precision() : ieee_float_spect
• drain_to_unexplored() : reachability_treet
• drop_destructor() : goto_convertt
• drop_inactive_contract_clause() : goto_convertt
• dt() : irept::dt
• dump() : array_ast, BigInt, bitw_smt_ast, btor_smt_ast, contextt, Contractors, CspMap, cvc5_smt_ast, cvc_smt_ast, expr2t, goto_functionst, goto_loopst, goto_programt, goto_programt::instructiont, goto_trace_stept, guard2tc, interval_analysis_ibex_contractor, interval_domaint, interval_templatet< T >, irept, jimple_ast, loopst, mathsat_smt_ast, renaming::level2t, smt_ast, smtlib_smt_ast, symbolt, symex_target_equationt::SSA_stept, transition_systemt, tuple_node_smt_ast, tuple_sym_smt_ast, type2t, value_sett, vart, yices_smt_ast, z3_smt_ast
• dump_bv() : minisat_convt
• dump_expr() : smt_convt, smt_solver_baset
• dump_failed_parse_result() : formatter
• dump_graph() : goto_cfg
• dump_internal_state() : dereference_callbackt, symex_dereference_statet
• dump_loop_vars() : loopst
• dump_smt() : bitwuzla_convt, bitwuzllob_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, neurosym_convt, smt_convt, smt_solver_baset, smtlib_convt, z3_convt
• dyn_sized_array_excp() : array_type2t::dyn_sized_array_excp
• dynamic() : irept
• dynamic_object2t() : dynamic_object2t
• dynamic_object_exprt() : dynamic_object_exprt
• dynamic_type_handler() : dynamic_type_handler