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

- d -

• d : reference_counting< T, empty >
• d_ct : sharing_nodet< keyT, valueT, equalT >
• d_it : sharing_nodet< keyT, valueT, equalT >
• d_leaft() : d_leaft< keyT, valueT, equalT >
• d_lt : sharing_nodet< keyT, valueT, equalT >
• dadda_tree() : bv_utilst
• 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, structured_datat, tree_nodet< treet, named_subtreest, sharing >, value_set_fit::object_map_dt, xmlt
• data_ : numberingt< keyt, hasht >
• data_dependencies() : dep_graph_domaint, variable_sensitivity_dependence_domaint
• data_dependency_context : vsd_configt
• data_dependency_context_ptrt : data_dependency_contextt
• data_dependency_contextt() : data_dependency_contextt
• data_deps : data_dependency_contextt, dep_graph_domaint
• data_depst : variable_sensitivity_dependence_domaint
• data_dominators : data_dependency_contextt
• data_dp : instrumentert::cfg_visitort
• data_node() : structured_data_entryt
• data_typet : cfg_baset< T, P, I >::entry_mapt, data_dpt, event_grapht::critical_cyclet, expanding_vectort< T >, numberingt< keyt, hasht >, value_set_fit::object_map_dt
• datat() : datat, sharing_nodet< keyT, valueT, equalT >
• datatype_map : smt2_convt
• datatype_mapt : smt2_convt
• DATE_TIME : format_specifiert
• DATE_TIME_UPPER : format_specifiert
• dead() : symex_target_equationt, symex_targett
• dead_map : goto_program2codet
• dead_mapt : goto_program2codet
• dead_ptr() : prophecy_pointer_in_range_exprt, prophecy_r_or_w_ok_exprt
• dead_symbol() : goto_programt::instructiont
• deallocate_state_exprt() : deallocate_state_exprt
• deallocated : __CPROVER_contracts_write_set_t
• deallocated_ptr() : prophecy_pointer_in_range_exprt, prophecy_r_or_w_ok_exprt
• debug() : messaget
• debug1() : float_utilst
• debug2() : float_utilst
• dec_solve() : bv_refinementt, decision_proceduret, prop_conv_solvert, smt2_convt, smt2_dect, smt2_incremental_decision_proceduret, string_refinementt
• DECIMAL_FLOAT : format_specifiert
• DECIMAL_INTEGER : format_specifiert
• decision_procedure : cover_goalst, functionst, solver_factoryt::solvert
• decision_procedure_is_boolbvt_ptr : solver_factoryt::solvert
• decision_procedure_ptr : solver_factoryt::solvert
• decision_procedure_text() : bv_refinementt, decision_proceduret, prop_conv_solvert, smt2_convt, smt2_dect, smt2_incremental_decision_proceduret, string_refinementt
• decl() : acceleratet, symex_target_equationt, symex_targett
• decl_deadt : full_slicert
• decl_identifierst : goto_programt
• decl_string_expr() : java_string_library_preprocesst
• decl_symbol() : goto_programt::instructiont
• decl_typet : ansi_c_parsert
• declaration : scope_treet::scope_nodet, smt_is_dynamic_objectt, smt_object_sizet
• declaration_hop_instrumentationt : goto_convertt
• declarator() : ansi_c_declarationt, c_declarationt
• declarators() : ansi_c_declarationt, cpp_declarationt
• declaratorst : ansi_c_declarationt, cpp_declarationt
• declare() : goto_symex_statet
• declare_arguments() : function_call_harness_generatort::implt
• declare_created_symbols() : allocate_objectst, java_object_factoryt, symbol_factoryt
• declare_define_locals() : string_abstractiont
• declared_enum_constants : dump_ct
• declared_enum_constants_mapt : dump_ct
• declared_identifier() : c_declarationt
• declaring_class_type : object_creation_infot
• DeclKind : Parser
• decode() : struct_encodingt
• decorated_symbol_exprt() : decorated_symbol_exprt
• decreases : dfcc_loop_infot, loop_contracts_clauset
• decreases_clauses : contract_clausest
• decrement() : constant_interval_exprt, ieee_float_valuet
• decrement_use_count() : copy_on_write_pointeet< Num >, small_shared_n_way_pointee_baset< N, Num >, small_shared_pointeet< Num >
• default_access() : struct_union_typet
• default_argument() : template_parametert
• default_assignop() : cpp_typecheckt
• default_assignop_value() : cpp_typecheckt
• default_c_standard() : configt::ansi_ct, gcc_versiont, ms_cl_versiont
• default_configuration : dump_c_configurationt, expr2c_configurationt
• default_cpctor() : cpp_typecheckt
• default_cpp_standard() : configt::cppt
• default_ctor() : cpp_typecheckt
• default_cxx_standard : gcc_versiont, ms_cl_versiont
• default_dtor() : cpp_typecheckt
• 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() : code_typet::parametert, sparse_arrayt, statement_list_parse_treet::var_declarationt
• deferred_typechecking : cpp_typecheckt
• define_array_function() : smt2_incremental_decision_proceduret
• define_constants() : smt2_solvert
• define_dependent_functions() : smt2_incremental_decision_proceduret
• define_index_identifiers() : smt2_incremental_decision_proceduret
• define_object_properties() : smt2_incremental_decision_proceduret
• define_object_size() : smt2_convt
• defined_entryt() : boolbv_widtht::defined_entryt
• defined_expressions : smt2_convt
• defined_expressionst : smt2_convt
• defines : c_wranglert, configt::ansi_ct
• definition : smt2_parsert::idt, smt_define_function_commandt
• definition_at : reaching_definitiont
• degree() : monomialt
• DEL_CTRL_DEP : change_impactt
• DEL_DATA_DEP : change_impactt
• delay_read() : shared_bufferst
• delayt() : event_grapht::critical_cyclet::delayt
• DELETED : change_impactt
• deleted() : minisat_prooft
• deleted_functions : goto_difft
• delta_view_itemt() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt
• delta_viewt : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• denominator : rationalt
• denormalization_shift() : float_bvt, float_utilst
• dense_integer_mapt() : dense_integer_mapt< K, V, KeyToDenseInteger >
• dep_graph_domain_factoryt() : dep_graph_domain_factoryt, dependence_grapht
• dep_graph_domaint() : dep_graph_domaint, dependence_grapht
• dep_node_to_cfgt : full_slicert
• dependence_graph_test_get_control_deps : dep_graph_domaint
• dependence_graph_test_get_data_deps : dep_graph_domaint
• dependence_grapht() : dependence_grapht, location_sensitive_storaget
• dependencies : dump_ct::typedef_infot, languaget, string_dependenciest::string_nodet, string_refinementt
• dependenciest : data_dependency_contextt
• depends : symex_slicet
• depends_on_array() : disjunctive_polynomial_accelerationt
• depst : dep_graph_domaint
• depth : goto_statet, grapht< N >::tarjant, write_stackt
• depth_begin() : exprt
• depth_cbegin() : exprt
• depth_cend() : exprt
• depth_end() : exprt
• depth_iterator_baset : const_unique_depth_iteratort, depth_iterator_baset< depth_iterator_t >
• depth_iterator_expr_statet() : depth_iterator_expr_statet
• depth_iteratort() : depth_iteratort
• depth_limited_search() : grapht< N >
• dereference : goto_program_dereferencet, goto_symext, value_set_dereferencet
• dereference_cache : goto_statet
• dereference_callback : value_set_dereferencet
• dereference_expr() : goto_program_dereferencet
• dereference_expression() : goto_program_dereferencet
• dereference_exprt() : dereference_exprt
• dereference_instruction() : goto_program_dereferencet
• dereference_program() : goto_program_dereferencet
• dereference_rec() : goto_program_dereferencet, goto_symext, value_set_fit, value_sett
• dereference_type_compare() : 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
• descend_tree() : scope_treet
• describe() : invariant_failure_containingt, smt2_parser_error_containingt
• description() : ansi_c_languaget, bv_minimizing_dect, cpp_languaget, cpp_static_assertt, goto_check_ct::conditiont, java_bytecode_languaget, json_symtab_languaget, languaget, property_infot, replacement_predicatet, require_type::expected_type_argumentt, smt_base_solver_processt, smt_incremental_dry_run_solvert, smt_piped_solver_processt, statement_list_languaget
• descriptor : java_bytecode_parse_treet::membert, java_bytecode_parse_treet::methodt::local_variablet, smt_get_value_commandt, smt_get_value_responset::valuation_pairt
• descriptor_index : name_and_type_infot
• deserialization_exceptiont() : deserialization_exceptiont
• designator() : update_exprt
• designator_enter() : c_typecheck_baset
• designatort() : designatort
• dest : axiomst, take_time_resourcet
• destruct() : destructt< I, pointee_baset, Ts >, destructt< 0, pointee_baset, Ts... >, small_shared_n_way_ptrt< Ts >
• destructive_append() : goto_programt
• destructive_insert() : goto_programt
• destructor : ansi_c_convert_typet, destructor_and_idt
• destructor_and_idt() : destructor_and_idt
• destructor_value : scope_treet::scope_nodet
• det_flush() : shared_bufferst
• detach() : reference_counting< T, empty >, sharing_treet< derivedt, named_subtreest >
• detailed_conflict_report() : linking_diagnosticst
• detailed_conflict_report_rec() : linking_diagnosticst
• determinise() : trace_automatont
• dfcc_cfg_infot() : dfcc_cfg_infot
• dfcc_contract_clauses_codegent() : dfcc_contract_clauses_codegent
• dfcc_contract_functionst() : dfcc_contract_functionst
• dfcc_contract_handlert() : dfcc_contract_handlert
• dfcc_debug_lib : configt::ansi_ct
• dfcc_fun_symbol : dfcc_libraryt
• dfcc_fun_to_name : dfcc_libraryt
• dfcc_hook : dfcc_libraryt
• dfcc_instrument_loopt() : dfcc_instrument_loopt
• dfcc_instrumentt() : dfcc_instrumentt
• dfcc_is_freeablet() : dfcc_is_freeablet
• dfcc_is_fresht() : dfcc_is_fresht
• dfcc_libraryt() : dfcc_libraryt
• dfcc_lift_memory_predicatest() : dfcc_lift_memory_predicatest
• dfcc_loop_infot() : dfcc_loop_infot
• dfcc_loop_nesting_graph_nodet() : dfcc_loop_nesting_graph_nodet
• dfcc_name_to_fun : dfcc_libraryt
• dfcc_name_to_type : dfcc_libraryt
• dfcc_obeys_contractt() : dfcc_obeys_contractt
• dfcc_pointer_equalst() : dfcc_pointer_equalst
• dfcc_pointer_in_ranget() : dfcc_pointer_in_ranget
• dfcc_spec_functionst() : dfcc_spec_functionst
• dfcc_swap_and_wrapt() : dfcc_swap_and_wrapt
• dfcc_type : dfcc_libraryt
• dfcc_type_to_name : dfcc_libraryt
• dfcc_wrapper_programt() : dfcc_wrapper_programt
• dfcct() : dfcct
• dfs() : memory_snapshot_harness_generatort::preordert< Key >
• dfs_inner() : memory_snapshot_harness_generatort::preordert< Key >
• dg : dep_graph_domain_factoryt, variable_sensitivity_dependence_domain_factoryt
• diagnostics : incorrect_goto_program_exceptiont, invariant_with_diagnostics_failedt
• diagnostics_as_string() : diagnostics_helpert< T >, diagnostics_helpert< char * >, diagnostics_helpert< char[N]>, diagnostics_helpert< dstringt >, diagnostics_helpert< irep_pretty_diagnosticst >, diagnostics_helpert< source_locationt >, diagnostics_helpert< std::string >
• die_if_uninitialized() : dirtyt
• diff_pairt : interpretert
• difference_type : cmdlinet::option_namest::option_names_iteratort, concat_iteratort< first_iteratort, second_iteratort >, dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >, depth_iterator_baset< depth_iterator_t >, filter_iteratort< iteratort >, map_iteratort< iteratort, outputt >, pointer_typet, symbol_table_baset::iteratort, zip_iteratort< first_iteratort, second_iteratort, same_size >
• differences_map() : unified_difft
• differences_map_ : unified_difft
• differences_mapt : unified_difft
• differencest : unified_difft
• differencet : unified_difft
• dimacs() : literalt
• dimacs_cnf_dumpt() : dimacs_cnf_dumpt
• dimacs_cnf_prop : bv_dimacst
• dimacs_cnft() : dimacs_cnft
• 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
• dirtyt() : dirtyt
• DISABLE : goto_check_ct
• disable_access_control : cpp_typecheckt
• disable_checks() : dfcc_libraryt
• disable_flag() : flag_overridet
• disable_follow_compounds() : dump_c_configurationt
• disable_include_compunds() : dump_c_configurationt
• disable_include_function_bodies() : dump_c_configurationt
• disable_include_function_decls() : dump_c_configurationt
• disable_include_global_decls() : dump_c_configurationt
• disable_include_global_vars() : dump_c_configurationt
• disable_include_typedefs() : dump_c_configurationt
• disabled_flags : flag_overridet
• disallow_subexpr_by_id() : c_typecheck_baset
• disambiguate_functions() : cpp_typecheck_resolvet
• disambiguate_template_classes() : cpp_typecheck_resolvet
• disconnect_unreachable() : grapht< N >
• disjunction_may_simplify() : guard_bddt, guard_exprt
• disjunctive_polynomial_accelerationt() : disjunctive_polynomial_accelerationt
• dispatch_table_entryt() : dispatch_table_entryt
• display_array_constraint_count() : arrayst
• display_name() : symbolt
• distance() : gdb_value_extractort::memory_scopet, memory_snapshot_harness_generatort::source_location_matcht, shift_exprt
• distinct : smt_core_theoryt
• distinguish_mapt : disjunctive_polynomial_accelerationt, sat_path_enumeratort
• distinguish_valuest : disjunctive_polynomial_accelerationt, sat_path_enumeratort
• distinguishers : disjunctive_polynomial_accelerationt, sat_path_enumeratort
• distinguishing_points : disjunctive_polynomial_accelerationt, sat_path_enumeratort
• div() : float_bvt, float_utilst
• div_by_zero_check() : goto_check_ct
• div_exprt() : div_exprt
• divide() : constant_interval_exprt
• divide_and_round() : ieee_floatt
• dividend() : div_exprt, euclidean_mod_exprt, mod_exprt
• divider() : bv_utilst
• divisor() : div_exprt, euclidean_mod_exprt, mod_exprt
• djb_manglert() : djb_manglert
• do_alloca() : goto_convertt
• do_array_equal() : goto_convertt
• do_array_op() : goto_convertt
• do_arrays() : acceleration_utilst, polynomial_acceleratort
• do_assume() : abstract_environmentt
• do_assumptions() : acceleration_utilst, polynomial_acceleratort
• do_atomic_begin() : goto_convertt
• do_atomic_end() : goto_convertt
• do_builtin() : cpp_typecheck_resolvet
• do_ci_lazy_method_conversion() : java_bytecode_languaget
• do_cpp_new() : goto_convertt
• do_create_thread() : goto_convertt
• do_designated_initializer() : c_typecheck_baset
• do_dot_function_calls() : dott
• do_end_function() : value_set_fit, value_sett
• do_exception_handling() : java_bytecode_convert_methodt
• do_format_string_read() : string_instrumentationt
• do_format_string_write() : string_instrumentationt
• do_fscanf() : string_instrumentationt
• do_function_call() : flow_insensitive_analysis_baset, goto_convertt, string_instrumentationt, value_set_fit, value_sett
• do_function_call_if() : goto_convertt
• do_function_call_other() : goto_convertt
• do_function_call_rec() : flow_insensitive_analysis_baset
• do_function_call_symbol() : goto_convertt
• do_function_calls() : parameter_assignmentst, remove_returnst
• do_havoc_slice() : cleanert, goto_convertt
• do_indent() : xmlt
• do_indirect_call_and_rtti_removal() : goto_instrument_parse_optionst
• do_initializer() : c_typecheck_baset
• do_initializer_list() : c_typecheck_baset
• do_initializer_rec() : c_typecheck_baset
• do_input() : goto_convertt
• do_java_new() : goto_convertt
• do_java_new_array() : goto_convertt
• do_nonrecursive() : acceleration_utilst
• do_not_instrument() : dfcc_instrumentt
• do_not_typechecked() : cpp_typecheckt
• do_output() : goto_convertt
• do_partial_inlining() : goto_instrument_parse_optionst
• do_postponed() : bv_pointers_widet
• do_printf() : goto_convertt
• do_prob_coin() : goto_convertt
• do_prob_uniform() : goto_convertt
• do_prop_solve() : cnf_clause_listt, dimacs_cnf_dumpt, external_satt, pbs_dimacs_cnft, propt, satcheck_booleforce_baset, satcheck_cadical_baset, satcheck_glucose_baset< T >, satcheck_ipasirt, satcheck_lingelingt, satcheck_minisat1_baset, satcheck_minisat1_coret, satcheck_minisat2_baset< T >, satcheck_picosatt, satcheck_zchaff_baset, satcheck_zcoret
• do_remove_const_function_pointers_only() : goto_instrument_parse_optionst
• do_remove_returns() : goto_instrument_parse_optionst
• do_scanf() : goto_convertt
• do_simplify() : goto_symext
• do_simplify_if : simplify_exprt
• do_snprintf() : string_instrumentationt
• do_special_functions() : c_typecheck_baset
• do_sprintf() : string_instrumentationt
• do_strcat() : string_instrumentationt
• do_strchr() : string_instrumentationt
• do_strerror() : string_instrumentationt
• do_strncmp() : string_instrumentationt
• do_strrchr() : string_instrumentationt
• do_strstr() : string_instrumentationt
• do_strtok() : string_instrumentationt
• do_typecast() : c_typecastt
• do_virtual_table() : cpp_typecheckt
• document_propertiest() : document_propertiest
• does_expr_lose_const() : does_remove_constt
• does_remove_const_testt : does_remove_constt
• does_remove_constt() : does_remove_constt
• does_type_preserve_const_correctness() : does_remove_constt
• doing_path_exploration : symex_configt
• doit() : aggressive_slicert, armcc_modet, as_modet, cbmc_parse_optionst, compilet, crangler_parse_optionst, cw_modet, document_propertiest, gcc_modet, goto_analyzer_parse_optionst, goto_bmc_parse_optionst, goto_cc_modet, goto_diff_parse_optionst, goto_harness_parse_optionst, goto_inspect_parse_optionst, goto_instrument_parse_optionst, goto_synthesizer_parse_optionst, janalyzer_parse_optionst, jbmc_parse_optionst, jdiff_parse_optionst, ld_modet, memory_analyzer_parse_optionst, ms_cl_modet, ms_link_modet, parse_options_baset, symtab2gb_parse_optionst
• domain() : mathematical_function_typet, uncaught_exceptions_analysist
• domain_data_deps : variable_sensitivity_dependence_domaint
• domain_factory : ai_baset
• domain_map : history_sensitive_storaget
• domain_mapt : history_sensitive_storaget
• domaint : mathematical_function_typet, value_set_analysis_templatet< VSDT >
• dominates() : cfg_dominators_templatet< P, T, post_dom >
• dominators : cfg_dominators_templatet< P, T, post_dom >::nodet
• done : interpretert, java_bytecode_convert_methodt::converted_instructiont, minisat_prooft
• dot_attributes() : graph_nodet< E >, scope_treet::scope_nodet
• dott() : dott
• DOUBLE : c_typecastt, java_bytecode_parse_treet::methodt::verification_type_infot
• double_cnt : ansi_c_convert_typet
• double_precision() : ieee_float_spect
• double_width : configt::ansi_ct
• downcast() : depth_iterator_baset< depth_iterator_t >, smt_check_sat_response_kindt::storert< derivedt >, smt_indext::storert< derivedt >, smt_logict::storert< derivedt >, smt_optiont::storert< derivedt >, smt_sortt::storert< derivedt >, smt_termt::storert< derivedt >
• dp() : data_dpt
• dp_analysis() : data_dpt
• dp_merge() : data_dpt
• draw_edges_from_ret_to_jsr() : java_bytecode_convert_methodt
• 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() : ranget< iteratort >
• drop_existing_l1_name() : goto_symex_statet
• drop_l1_name() : goto_symex_statet
• drop_source_location() : exprt
• drop_unused_functions() : api_optionst, api_sessiont
• drop_unused_functions_enabled : api_optionst
• dstates : trace_automatont
• dstringt() : dstringt
• dt : format_specifiert, non_sharing_treet< derivedt, named_subtreest >, reference_counting< T, empty >::dt, sharing_treet< derivedt, named_subtreest >
• dta : trace_automatont
• dtor() : cpp_typecheckt
• dummy() : ait< domainT >, flow_insensitive_analysist< T >
• dummy_level : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• dump_automaton_dot_to() : levenshtein_automatont, nfat< T >
• dump_c_config : dump_ct
• dump_c_configurationt() : dump_c_configurationt
• dump_ct() : dump_ct
• dump_map() : abstract_objectt
• dump_map_diff() : abstract_objectt
• dump_on_stream() : string_container_statisticst
• dump_typedefs() : dump_ct
• DumpDot() : mini_bdd_mgrt
• DumpTable() : mini_bdd_mgrt
• DumpTikZ() : mini_bdd_mgrt
• duplicate_code_symbol() : linkingt
• duplicate_non_type_symbol() : linkingt
• duplicate_object_symbol() : linkingt
• duplicate_type_symbol() : linkingt
• duplicated_bodies : event_grapht
• dynamic_initializations : cpp_typecheckt
• dynamic_initializationst : cpp_typecheckt
• dynamic_object_exprt() : dynamic_object_exprt
• dynamic_object_id_sett : value_set_fit
• dynamic_typecast() : cpp_typecheckt
• dynamic_types : interpretert
• dynamic_typest : interpretert
• dynamically_allocated : gdb_value_extractort