- d -
- d
: reference_counting< T >
- data
: __CPROVER_pipet
, cfg_baset< T, P, I >::entry_mapt
, cpp_tokent
, data_dpt
, event_grapht::critical_cyclet
, expanding_vectort< T >
, guarded_range_domaint
, irept
, irept::dt
, range_domaint
, sharing_node_innert< keyT, valueT, equalT >
, sharing_node_leaft< keyT, valueT, equalT >
, string_dependenciest::builtin_function_nodet
, value_set_fit::object_map_dt
, value_sett::object_map_dt
, xmlt
- data_
: template_numberingt< Map >
- data_deps
: dep_graph_domaint
- data_dp
: instrumentert::cfg_visitort
- data_type
: mz_stream_s
- datatype_map
: smt2_convt
- DATE_TIME
: string_constraint_generatort::format_specifiert
- DATE_TIME_UPPER
: string_constraint_generatort::format_specifiert
- dead_map
: goto_program2codet
- DECIMAL_FLOAT
: string_constraint_generatort::format_specifiert
- DECIMAL_INTEGER
: string_constraint_generatort::format_specifiert
- declared_enum_constants
: dump_ct
- default_c_standard
: gcc_versiont
- default_cxx_standard
: gcc_versiont
- default_object_bits
: configt::ansi_ct
, configt::bv_encodingt
, 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_value
: sparse_arrayt
- defined_expressions
: smt2_convt
- defines
: configt::ansi_ct
- definition
: smt2_parsert::idt
- definition_at
: reaching_definitiont
- deleted_functions
: goto_difft
- denominator
: rationalt
- dependencies
: dump_ct::typedef_infot
, string_dependenciest::string_nodet
, string_refinementt
- depends
: symex_slicet
- depth
: goto_symex_statet
, goto_symex_statet::goto_statet
, grapht< N >::tarjant
- depth_iterator_baset
: const_unique_depth_iteratort
- 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
, 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
: aig_prop_baset
, aig_prop_constraintt
- destructor
: ansi_c_convert_typet
- destructor_stack
: goto_convertt::targetst
- differences_map_
: unified_difft
- dirty
: constant_propagator_ait
, dirtyt
, goto_symex_statet
, incremental_dirtyt
, local_bitvector_analysist
, local_may_aliast
- dirty_processed_functions
: incremental_dirtyt
- 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_simplify_if
: simplify_exprt
- doing_path_exploration
: goto_symext
- domain
: uncaught_exceptions_analysist
- 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
- driver_callback_after_symex
: bmct
- 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
- dstates
: trace_automatont
- dt
: string_constraint_generatort::format_specifiert
- dta
: trace_automatont
- dummy
: sharing_mapt< keyT, valueT, hashT, equalT >
- duplicated_bodies
: event_grapht
- dynamic_counter
: goto_symext
- dynamic_initializations
: cpp_typecheckt
- dynamic_types
: interpretert