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

- d -

• d : arg_struct_f5i2, arg_struct_i_ui_ull_f, curandStateXORWOW
• data : BytesStatic, collections.Counter, irept, irept::dt, sexpr, string_pool::chunk_t, xmlt
• data_model : configt
• dataclasses_module_names : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• dataType : cudnnfilterdesc, cudnntensordesc
• datatype_members : constant_array2t, constant_struct2t, constant_union2t, constant_vector2t
• date : date_time
• date_time() : date_time
• day : datetime.datetime
• db : assertion_cache
• dead_store_advisories : bmct, esbmc_parseoptionst
• dead_store_sarif_written : bmct
• debug_print : symex_target_equationt
• 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
• DECIMAL : format_spect
• decimal_class_alias : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.import_typing_mixin.ImportTypingMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• decimal_imported : preprocessor.import_typing_mixin.ImportTypingMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• decimal_module_alias : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.import_typing_mixin.ImportTypingMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• decimal_module_imported : preprocessor.import_typing_mixin.ImportTypingMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• decl_ident() : irept
• decl_identifierst : goto_programt
• decl_value() : irept
• declaration_history : goto_symex_statet::framet
• 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
• declared_indices : code_contractst::arr_elem_snapshot_t
• declared_outer : python_converter::scope_bindings
• declared_ufs : smtlib_convt
• 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 : function_values::candidate
• def_end : nested_func
• def_kind() : preprocessor.function_value_types._Analysis
• def_start : nested_func
• default_convert_array_of() : array_iface
• default_flags() : clang_c_languaget, jimple_languaget, languaget, ld_languaget, python_languaget
• default_output_dir : ctest_generator, pytest_generator
• default_replace_dynamic_allocation() : goto_symext
• default_set : goto_convertt::break_switch_targetst, goto_convertt::targetst
• default_target : goto_convertt::break_switch_targetst, goto_convertt::targetst
• default_value() : code_typet::argumentt
• defaultdict_alias : preprocessor.import_typing_mixin.ImportTypingMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• defaultdict_imported : preprocessor.import_typing_mixin.ImportTypingMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• defer_assumption() : execution_statet, goto_symext
• defer_check() : python_converter
• deferred_assumptions : goto_symext
• define() : smt_convt, smt_solver_baset
• defines : configt::ansi_ct
• defs : preprocessor.function_value_dispatch._Plan, preprocessor.function_value_types._Analysis
• del_var() : value_sett
• delegate_shadow_param_remap : solidity_convertert
• delegate_shadow_target_cname : solidity_convertert
• delegate_shadow_target_return_params : solidity_convertert
• delete_all_asts() : smt_solver_baset
• delete_modifier_json() : solidity_convertert
• dependency_chain : execution_statet
• depends : symex_slicet
• depends_on_tracked() : symex_slicet
• deps : library_load_report
• depth : cmath_lowering_policy::expr_cost, preprocessor.generator_mixin.GeneratorMixin._YieldFromToFor
• depth_ : depth_counter_scope
• depth_counter_scope() : depth_counter_scope
• depth_limit : goto_symext
• deref : exprt, rw_sett::entryt
• dereference() : dereferencet, goto_program_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_location : 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
• derived_to_base : typecast2t
• derived_type : VarDecl
• describe_strided_view() : python_list
• description : LdProperty, LdVerifyResult, opt_templ, property_locationt, property_rowt, TOML_PARSE_ERROR_BASE
• deserialise : library_load_report
• 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
• destructor_stack : goto_convertt::targetst
• destructor_stackt : goto_convertt
• 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
• deviceOverlap : cudaDeviceProp
• deviceProp : cudaDevicesList
• dfault() : irept
• dfs_execution_statet() : dfs_execution_statet
• dfs_explore_thread() : reachability_treet
• diag_ids : clang_c_lexert::LexerContext
• diag_opts : clang_c_lexert::LexerContext
• diagnose_contract_target() : code_contractst
• diagnose_unknown_properties() : esbmc_parseoptionst
• diags : clang_c_lexert::LexerContext
• dict_items_vars : preprocessor.generator_mixin.GeneratorMixin, preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• dict_literal_values : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• dict_literal_vars : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• dicts : preprocessor.function_value_types._Analysis
• diff() : persistent_map< K, V, Hash >, persistent_set< K, Hash >
• difference() : wrapped_interval
• difference_type : array, table_iterator< IsConst >
• dig : sys._FloatInfo
• digits() : BigInt, float_traits_base< T, MantissaDigits, DecimalDigits >
• digits10 : float_traits_base< T, MantissaDigits, DecimalDigits >
• dilation_h : cudnnconvoldesc
• dilation_w : cudnnconvoldesc
• dimensions : jimple_type
• dir : preprocessor.function_value_types._Analysis
• direct_targets : frame_enforcert::classified_assignst
• directed_interleavings : reachability_treet
• direction_vectors : curandStateScrambledSobol32, curandStateScrambledSobol64, curandStateSobol32, curandStateSobol64
• disable_bounds_check : goto_checkt
• disable_div_by_zero_check : goto_checkt
• disable_fp_conversion_check : goto_checkt
• disable_pointer_check : goto_checkt
• disable_pointer_relation_check : goto_checkt
• disable_unlimited_scanf_check : goto_checkt
• discard_comma_operands() : goto_convertt
• disjunction_may_simplify() : guard2tc
• dispatched_statements() : preprocessor.bound_method_dispatch._Rebound
• div() : BigInt, exprt
• 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
• divided_operand_pairs : 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
• doc : pugi_doc_wrapper
• document_order : GNode
• does_forward_condition_hold() : esbmc_parseoptionst
• doit() : c2goto_parseopt, esbmc_parseoptionst, parseoptions_baset, python2goto_parseopt
• doit_k_induction_parallel() : esbmc_parseoptionst
• domain : smtlib_smt_sort
• DOUBLE : c_typecastt, format_tokent
• double_align : configt::ansi_ct
• DOUBLE_ENG : format_tokent
• DOUBLE_G : format_tokent
• DOUBLE_HEX : format_tokent
• double_precision() : ieee_float_spect
• double_value : numeric_value
• double_width : configt::ansi_ct
• drain_to_unexplored() : reachability_treet
• drop_destructor() : goto_convertt
• drop_inactive_contract_clause() : goto_convertt
• dt() : irept::dt
• dt_mutex : irept::dt
• dtype : numpy_nditer_operand
• 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_info_arr_name : goto_symext
• dyn_sized_array_excp() : array_type2t::dyn_sized_array_excp
• dynamic() : irept
• dynamic_counter : execution_statet
• dynamic_memory : goto_symext
• dynamic_object2t() : dynamic_object2t
• dynamic_object_exprt() : dynamic_object_exprt
• dynamic_object_sizes : goto_symext
• dynamic_type_handler() : dynamic_type_handler, python_converter
• dynobj : exprt