Here is a list of all variables with links to the classes they belong to:

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

- 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_ : numberingt< keyt, hasht >
• data_dependency_context : vsd_configt
• data_deps : data_dependency_contextt, dep_graph_domaint
• data_dominators : data_dependency_contextt
• data_dp : instrumentert::cfg_visitort
• datatype_map : smt2_convt
• DATE_TIME : format_specifiert
• DATE_TIME_UPPER : format_specifiert
• dead_map : goto_program2codet
• deallocated : __CPROVER_contracts_write_set_t
• DECIMAL_FLOAT : format_specifiert
• DECIMAL_INTEGER : format_specifiert
• decision_procedure : cover_goalst, functionst
• decision_procedure_is_boolbvt_ptr : solver_factoryt::solvert
• decision_procedure_ptr : solver_factoryt::solvert
• declaration : scope_treet::scope_nodet, smt_is_dynamic_objectt, smt_object_sizet
• declarator : c_declarationt
• declared_enum_constants : dump_ct
• declaring_class_type : object_creation_infot
• decreases : dfcc_loop_infot, loop_contracts_clauset
• decreases_clauses : contract_clausest
• 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 : c_wranglert, 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_cache : goto_statet
• dereference_callback : value_set_dereferencet
• dereferenced : rw_set_with_trackt
• dereferenced_from : rw_set_with_trackt
• dereferencing : rw_set_with_trackt
• desc : smt_incremental_dry_run_solvert
• description : 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
• dest : axiomst, take_time_resourcet
• destructor : ansi_c_convert_typet, destructor_and_idt
• destructor_value : scope_treet::scope_nodet
• dfcc_debug_lib : configt::ansi_ct
• dfcc_fun_symbol : dfcc_libraryt
• dfcc_fun_to_name : dfcc_libraryt
• dfcc_hook : dfcc_libraryt
• dfcc_name_to_fun : dfcc_libraryt
• dfcc_name_to_type : dfcc_libraryt
• dfcc_type : dfcc_libraryt
• dfcc_type_to_name : dfcc_libraryt
• dg : dep_graph_domain_factoryt, variable_sensitivity_dependence_domain_factoryt
• diagnostics : incorrect_goto_program_exceptiont, invariant_with_diagnostics_failedt
• differences_map_ : unified_difft
• dimacs_cnf_prop : bv_dimacst
• dirty : constant_propagator_ait, dirtyt, goto_program_cfg_infot, 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
• disabled_flags : flag_overridet
• distance : memory_snapshot_harness_generatort::source_location_matcht
• distinct : smt_core_theoryt
• 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_data_deps : variable_sensitivity_dependence_domaint
• 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
• drop_unused_functions_enabled : api_optionst
• 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_initializations : cpp_typecheckt
• dynamic_types : interpretert
• dynamically_allocated : gdb_value_extractort