- d -
- 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, predT >
- dep_node_to_cfgt
: full_slicert
- depst
: dep_graph_domaint
- destructor_stackt
: goto_convertt
- difference_type
: sorted_vector< K, bNoDuplicates, Pr, A >
- differences_mapt
: unified_difft
- differencest
: unified_difft
- distinguish_mapt
: disjunctive_polynomial_accelerationt
, sat_path_enumeratort
- distinguish_valuest
: disjunctive_polynomial_accelerationt
, sat_path_enumeratort
- dynamic_initializationst
: cpp_typecheckt
- dynamic_object_id_sett
: value_set_fit
, value_set_fivrnst
, value_set_fivrt
, value_sett