- d -
- d
: reference_counting< T >
- data
: __CPROVER_pipet
, cpp_tokent
, irept
, irept::dt
, sharing_nodet< keyT, valueT, predT, no_sharing >
, xmlt
- data_deps
: dep_graph_domaint
- data_dp
: instrumentert::cfg_visitort
- data_type
: mz_stream_s
- datatype_map
: smt2_convt
- dead_map
: goto_program2codet
- dec_solve_was_called
: smt1_dect
- declared_enum_constants
: dump_ct
- default_set
: goto_convertt::break_switch_targetst
, goto_convertt::targetst
- default_target
: goto_convertt::break_switch_targetst
, goto_convertt::targetst
- defined_expressions
: smt2_convt
- defines
: configt::ansi_ct
- definition_at
: reaching_definitiont
- deleted_functions
: goto_difft
- denominator
: rationalt
- dependencies
: dump_ct::typedef_infot
- depends
: symex_slicet
- depth
: goto_symex_statet
, goto_symex_statet::goto_statet
, grapht< N >::tarjant
, path_symex_statet
- depth_limit
: path_searcht
- dereference
: goto_program_dereferencet
- dereference_callback
: value_set_dereferencet
- dereference_location
: goto_program_dereferencet
- dereferenced
: rw_set_with_trackt
- dereferenced_from
: rw_set_with_trackt
- dereferencing
: rw_set_with_trackt
- description
: bmc_all_propertiest::goalt
, bmc_covert::goalt
, path_searcht::property_entryt
- dest
: aig_prop_baset
, aig_prop_constraintt
- destructor
: ansi_c_convert_typet
- destructor_stack
: goto_convertt::targetst
- differences_map
: unified_difft
- dirty
: dirtyt
, goto_symex_statet
, local_bitvector_analysist
, local_may_aliast
- dirty_vars
: path_acceleratort
- dirty_vars_map
: acceleratet
- disable_access_control
: cpp_typecheckt
- distinguishers
: disjunctive_polynomial_accelerationt
, sat_path_enumeratort
- distinguishing_points
: disjunctive_polynomial_accelerationt
, sat_path_enumeratort
- do_arithmetic_refinement
: bv_refinementt
- do_array_refinement
: bv_refinementt
- do_simplify_if
: simplify_exprt
- dominators
: cfg_dominators_templatet< P, T, post_dom >::nodet
- done
: interpretert
, java_bytecode_convert_methodt::converted_instructiont
- double_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- double_width
: configt::ansi_ct
- dstates
: trace_automatont
- dta
: trace_automatont
- dummy
: sharing_mapt< keyT, valueT, hashT, predT >
, sharing_nodet< keyT, valueT, predT, no_sharing >
- duplicated_bodies
: event_grapht
- dynamic_count
: var_mapt
- dynamic_counter
: goto_symext
- dynamic_initializations
: cpp_typecheckt