- d -
- d_ct
: sharing_node_innert< keyT, valueT, equalT >
- d_it
: sharing_node_innert< keyT, valueT, equalT >
- d_lt
: sharing_node_leaft< keyT, valueT, equalT >
- data_typet
: cfg_baset< T, P, I >::entry_mapt
, data_dpt
, event_grapht::critical_cyclet
, expanding_vectort< T >
, template_numberingt< Map >
, value_set_fit::object_map_dt
, value_sett::object_map_dt
- datatype_mapt
: smt2_convt
- dead_mapt
: goto_program2codet
- decl_deadt
: full_slicert
- decl_identifierst
: goto_programt
- declaratorst
: ansi_c_declarationt
, cpp_declarationt
- declared_enum_constants_mapt
: dump_ct
- defined_expressionst
: smt2_convt
- delta_viewt
: sharing_mapt< keyT, valueT, hashT, equalT >
- dep_node_to_cfgt
: full_slicert
- depst
: dep_graph_domaint
- destructor_stackt
: goto_convertt
- diff_pairt
: interpretert
- difference_type
: concat_iteratort< first_iteratort, second_iteratort >
, depth_iterator_baset< depth_iterator_t >
, filter_iteratort< iteratort >
, map_iteratort< iteratort, outputt >
, symbol_table_baset::iteratort
- differences_mapt
: unified_difft
- differencest
: unified_difft
- distinguish_mapt
: disjunctive_polynomial_accelerationt
, sat_path_enumeratort
- distinguish_valuest
: disjunctive_polynomial_accelerationt
, sat_path_enumeratort
- domaint
: mathematical_function_typet
, value_set_analysis_templatet< VSDT >
- dynamic_initializationst
: cpp_typecheckt
- dynamic_object_id_sett
: value_set_fit
, value_set_fivrnst
, value_set_fivrt
, value_sett
- dynamic_typest
: interpretert