- d -

• d_ct : sharing_nodet< keyT, valueT, equalT >
• d_it : sharing_nodet< keyT, valueT, equalT >
• d_lt : sharing_nodet< keyT, valueT, equalT >
• data_dependency_context_ptrt : data_dependency_contextt
• data_depst : variable_sensitivity_dependence_domaint
• data_typet : cfg_baset< T, P, I >::entry_mapt , data_dpt , event_grapht::critical_cyclet , expanding_vectort< T > , numberingt< keyt, hasht > , value_set_fit::object_map_dt
• datat : sharing_nodet< keyT, valueT, equalT >
• datatype_mapt : smt2_convt
• dead_mapt : goto_program2codet
• decl_deadt : full_slicert
• decl_identifierst : goto_programt
• declaration_hop_instrumentationt : goto_convertt
• declaratorst : ansi_c_declarationt , cpp_declarationt
• declared_enum_constants_mapt : dump_ct
• defined_expressionst : smt2_convt
• delta_viewt : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• dep_node_to_cfgt : full_slicert
• dependenciest : data_dependency_contextt
• depst : dep_graph_domaint
• diff_pairt : interpretert
• difference_type : cmdlinet::option_namest::option_names_iteratort , concat_iteratort< first_iteratort, second_iteratort > , dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue > , depth_iterator_baset< depth_iterator_t > , filter_iteratort< iteratort > , map_iteratort< iteratort, outputt > , symbol_table_baset::iteratort , zip_iteratort< first_iteratort, second_iteratort, same_size >
• differences_mapt : unified_difft
• differencest : unified_difft
• distinguish_mapt : disjunctive_polynomial_accelerationt , sat_path_enumeratort
• distinguish_valuest : disjunctive_polynomial_accelerationt , sat_path_enumeratort
• domain_mapt : history_sensitive_storaget
• domaint : mathematical_function_typet , value_set_analysis_templatet< VSDT >
• dt : non_sharing_treet< derivedt, named_subtreest > , sharing_treet< derivedt, named_subtreest >
• dynamic_initializationst : cpp_typecheckt
• dynamic_object_id_sett : value_set_fit
• dynamic_typest : interpretert