Here is a list of all variables with links to the classes they belong to:
- 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 : goto_check_ct::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
- 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
1.9.8