- d -

• d : reference_counting< T, empty >
• data : __CPROVER_pipet , cfg_baset< T, P, I >::entry_mapt , cpp_tokent , data_dpt , event_grapht::critical_cyclet , expanding_vectort< T > , guarded_range_domaint , non_sharing_treet< derivedt, named_subtreest > , range_domaint , sharing_nodet< keyT, valueT, equalT > , sharing_treet< derivedt, named_subtreest > , string_dependenciest::builtin_function_nodet , structured_data_entryt , tree_nodet< treet, named_subtreest, sharing > , value_set_fit::object_map_dt , xmlt
• data_ : numberingt< keyt, hasht >
• data_dependency_context : vsd_configt
• data_deps : data_dependency_contextt , dep_graph_domaint
• data_dominators : data_dependency_contextt
• data_dp : instrumentert::cfg_visitort
• data_type : mz_stream_s
• datatype_map : smt2_convt
• DATE_TIME : format_specifiert
• DATE_TIME_UPPER : format_specifiert
• dead_map : goto_program2codet
• deallocated : __CPROVER_contracts_write_set_t
• DECIMAL_FLOAT : format_specifiert
• DECIMAL_INTEGER : format_specifiert
• decision_procedure : cover_goalst , functionst
• decision_procedure_is_boolbvt_ptr : solver_factoryt::solvert
• decision_procedure_ptr : solver_factoryt::solvert
• declaration : scope_treet::scope_nodet , smt_is_dynamic_objectt , smt_object_sizet
• declarator : c_declarationt
• declared_enum_constants : dump_ct
• declaring_class_type : object_creation_infot
• decreases : dfcc_loop_infot , loop_contracts_clauset
• decreases_clauses : contract_clausest
• default_c_standard : gcc_versiont , ms_cl_versiont
• default_configuration : dump_c_configurationt , expr2c_configurationt
• default_cxx_standard : gcc_versiont , ms_cl_versiont
• default_object_bits : configt::ansi_ct , configt::cppt , configt::javat
• default_options : trace_optionst
• default_set : goto_convertt::break_switch_targetst , goto_convertt::targetst
• default_target : goto_convertt::break_switch_targetst , goto_convertt::targetst
• default_transformation : complexity_limitert
• default_value : sparse_arrayt , statement_list_parse_treet::var_declarationt
• deferred_typechecking : cpp_typecheckt
• defined_expressions : smt2_convt
• defines : c_wranglert , configt::ansi_ct
• definition : smt2_parsert::idt
• definition_at : reaching_definitiont
• deleted_functions : goto_difft
• denominator : rationalt
• dep_graph_domain_factoryt : dependence_grapht
• dep_graph_domaint : dependence_grapht
• dependence_grapht : location_sensitive_storaget
• dependencies : dump_ct::typedef_infot , string_dependenciest::string_nodet , string_refinementt
• depends : symex_slicet
• depth : goto_statet , grapht< N >::tarjant
• depth_iterator_baset : const_unique_depth_iteratort
• dereference : goto_program_dereferencet
• dereference_cache : goto_statet
• dereference_callback : value_set_dereferencet
• dereferenced : rw_set_with_trackt
• dereferenced_from : rw_set_with_trackt
• dereferencing : rw_set_with_trackt
• desc : smt_incremental_dry_run_solvert
• description : goto_check_ct::conditiont , property_infot , require_type::expected_type_argumentt
• descriptor : java_bytecode_parse_treet::membert , java_bytecode_parse_treet::methodt::local_variablet
• descriptor_index : name_and_type_infot
• dest : axiomst , take_time_resourcet
• destructor : ansi_c_convert_typet , destructor_and_idt
• destructor_value : scope_treet::scope_nodet
• dfcc_fun_symbol : dfcc_libraryt
• dfcc_fun_to_name : dfcc_libraryt
• dfcc_hook : dfcc_libraryt
• dfcc_name_to_fun : dfcc_libraryt
• dfcc_name_to_type : dfcc_libraryt
• dfcc_type : dfcc_libraryt
• dfcc_type_to_name : dfcc_libraryt
• dg : dep_graph_domain_factoryt , variable_sensitivity_dependence_domain_factoryt
• diagnostics : incorrect_goto_program_exceptiont , invariant_with_diagnostics_failedt
• differences_map_ : unified_difft
• dimacs_cnf_prop : bv_dimacst
• dirty : constant_propagator_ait , dirtyt , goto_program_cfg_infot , goto_symex_statet , incremental_dirtyt , local_bitvector_analysist , local_may_aliast , path_storaget
• dirty_processed_functions : incremental_dirtyt
• dirty_vars : path_acceleratort
• dirty_vars_map : acceleratet
• disable_access_control : cpp_typecheckt
• disabled_flags : flag_overridet
• distance : memory_snapshot_harness_generatort::source_location_matcht
• distinct : smt_core_theoryt
• distinguishers : disjunctive_polynomial_accelerationt , sat_path_enumeratort
• distinguishing_points : disjunctive_polynomial_accelerationt , sat_path_enumeratort
• do_simplify_if : simplify_exprt
• doing_path_exploration : symex_configt
• domain : uncaught_exceptions_analysist
• domain_data_deps : variable_sensitivity_dependence_domaint
• domain_factory : ai_baset
• domain_map : history_sensitive_storaget
• dominators : cfg_dominators_templatet< P, T, post_dom >::nodet
• done : interpretert , java_bytecode_convert_methodt::converted_instructiont
• double_cnt : ansi_c_convert_typet
• double_width : configt::ansi_ct
• driver_program_can_generate_function_body : lazy_goto_functions_mapt , lazy_goto_modelt
• driver_program_generate_function_body : lazy_goto_functions_mapt , lazy_goto_modelt
• drop_unused_functions_enabled : api_optionst
• dstates : trace_automatont
• dt : format_specifiert
• dta : trace_automatont
• dummy_level : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• dump_c_config : dump_ct
• duplicated_bodies : event_grapht
• dynamic_initializations : cpp_typecheckt
• dynamic_types : interpretert
• dynamically_allocated : gdb_value_extractort