- d -
- d
: reference_counting< T, empty >
- data
: __CPROVER_pipet
, cfg_baset< T, P, I >::entry_mapt
, cpp_tokent
, data_dpt
, event_grapht::critical_cyclet
, expanding_vectort< T >
, guarded_range_domaint
, non_sharing_treet< derivedt, named_subtreest >
, range_domaint
, sharing_nodet< keyT, valueT, equalT >
, sharing_treet< derivedt, named_subtreest >
, string_dependenciest::builtin_function_nodet
, structured_data_entryt
, tree_nodet< treet, named_subtreest, sharing >
, value_set_fit::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
: format_specifiert
- DATE_TIME_UPPER
: format_specifiert
- dead_map
: goto_program2codet
- debug_level
: symex_configt
- DECIMAL_FLOAT
: format_specifiert
- DECIMAL_INTEGER
: format_specifiert
- decision_procedure
: cover_goalst
, functionst
- decision_procedure_ptr
: solver_factoryt::solvert
- declared_enum_constants
: dump_ct
- declaring_class_type
: object_creation_infot
- default_c_standard
: gcc_versiont
, ms_cl_versiont
- default_configuration
: dump_c_configurationt
, expr2c_configurationt
- default_cxx_standard
: gcc_versiont
, ms_cl_versiont
- default_object_bits
: configt::ansi_ct
, 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_transformation
: complexity_limitert
- default_value
: sparse_arrayt
, statement_list_parse_treet::var_declarationt
- deferred_typechecking
: cpp_typecheckt
- defined_expressions
: smt2_convt
- defines
: configt::ansi_ct
- definition
: smt2_parsert::idt
- definition_at
: reaching_definitiont
- deleted_functions
: goto_difft
- denominator
: rationalt
- dep_graph_domain_factoryt
: dependence_grapht
- dep_graph_domaint
: dependence_grapht
- dependence_grapht
: location_sensitive_storaget
- dependencies
: dump_ct::typedef_infot
, string_dependenciest::string_nodet
, string_refinementt
- depends
: symex_slicet
- depth
: goto_statet
, grapht< N >::tarjant
- depth_iterator_baset
: const_unique_depth_iteratort
- dereference
: goto_program_dereferencet
- dereference_callback
: value_set_dereferencet
- dereferenced
: rw_set_with_trackt
- dereferenced_from
: rw_set_with_trackt
- dereferencing
: rw_set_with_trackt
- description
: goto_checkt::conditiont
, property_infot
, require_type::expected_type_argumentt
- descriptor
: java_bytecode_parse_treet::membert
, java_bytecode_parse_treet::methodt::local_variablet
- descriptor_index
: name_and_type_infot
- destruction_graph
: destructor_treet
- destructor
: ansi_c_convert_typet
, destructor_and_idt
- destructor_stack
: goto_convertt::targetst
- destructor_value
: destructor_treet::destructor_nodet
- dg
: dep_graph_domain_factoryt
- diagnostics
: incorrect_goto_program_exceptiont
, invariant_with_diagnostics_failedt
- differences_map_
: unified_difft
- dirty
: constant_propagator_ait
, dirtyt
, goto_symex_statet
, incremental_dirtyt
, local_bitvector_analysist
, local_may_aliast
, path_storaget
- dirty_processed_functions
: incremental_dirtyt
- dirty_vars
: path_acceleratort
- dirty_vars_map
: acceleratet
- disable_access_control
: cpp_typecheckt
- distance
: memory_snapshot_harness_generatort::source_location_matcht
- distinguishers
: disjunctive_polynomial_accelerationt
, sat_path_enumeratort
- distinguishing_points
: disjunctive_polynomial_accelerationt
, sat_path_enumeratort
- do_simplify_if
: simplify_exprt
- doing_path_exploration
: symex_configt
- domain
: uncaught_exceptions_analysist
- domain_factory
: ai_baset
- domain_map
: history_sensitive_storaget
- dominators
: cfg_dominators_templatet< P, T, post_dom >::nodet
- done
: interpretert
, java_bytecode_convert_methodt::converted_instructiont
- double_cnt
: ansi_c_convert_typet
- double_width
: configt::ansi_ct
- 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
: format_specifiert
- dta
: trace_automatont
- dummy_level
: sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
- dump_c_config
: dump_ct
- duplicated_bodies
: event_grapht
- dynamic_counter
: goto_symext
- dynamic_initializations
: cpp_typecheckt
- dynamic_types
: interpretert
- dynamically_allocated
: gdb_value_extractort