- d -
- d_leaft()
: d_leaft< keyT, valueT, equalT >
- dadda_tree()
: bv_utilst
- data()
: structured_datat
- data_dependencies()
: dep_graph_domaint
, variable_sensitivity_dependence_domaint
- data_dependency_contextt()
: data_dependency_contextt
- data_node()
: structured_data_entryt
- datat()
: datat
- dead()
: symex_target_equationt
, symex_targett
- 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_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
- decision_procedure()
: 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_string_expr()
: java_string_library_preprocesst
- decl_symbol()
: goto_programt::instructiont
- declarator()
: ansi_c_declarationt
- declarators()
: 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_identifier()
: c_declarationt
- decode()
: struct_encodingt
- decorated_symbol_exprt()
: decorated_symbol_exprt
- decrement()
: constant_interval_exprt
, ieee_floatt
- 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
- default_cpctor()
: cpp_typecheckt
- default_cpp_standard()
: configt::cppt
- default_ctor()
: cpp_typecheckt
- default_dtor()
: cpp_typecheckt
- default_value()
: code_typet::parametert
- 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
- definition()
: smt_define_function_commandt
- degree()
: monomialt
- delay_read()
: shared_bufferst
- delayt()
: event_grapht::critical_cyclet::delayt
- deleted()
: minisat_prooft
- delta_view_itemt()
: sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt
- denormalization_shift()
: float_bvt
, float_utilst
- dense_integer_mapt()
: dense_integer_mapt< K, V, KeyToDenseInteger >
- dep_graph_domain_factoryt()
: dep_graph_domain_factoryt
- dep_graph_domaint()
: dep_graph_domaint
- dependence_grapht()
: dependence_grapht
- dependencies()
: languaget
- depends_on_array()
: disjunctive_polynomial_accelerationt
- depth()
: write_stackt
- depth_begin()
: exprt
- depth_cbegin()
: exprt
- depth_cend()
: exprt
- depth_end()
: exprt
- depth_iterator_baset()
: 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_symext
, 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
- descend_tree()
: scope_treet
- describe()
: invariant_failure_containingt
, smt2_parser_error_containingt
- description()
: ansi_c_languaget
, bv_minimizing_dect
, cpp_languaget
, cpp_static_assertt
, java_bytecode_languaget
, json_symtab_languaget
, languaget
, replacement_predicatet
, smt_base_solver_processt
, smt_incremental_dry_run_solvert
, smt_piped_solver_processt
, statement_list_languaget
- descriptor()
: smt_get_value_commandt
, smt_get_value_responset::valuation_pairt
- deserialization_exceptiont()
: deserialization_exceptiont
- designator()
: update_exprt
- designator_enter()
: c_typecheck_baset
- designatort()
: designatort
- 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_and_idt()
: destructor_and_idt
- 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_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_obeys_contractt()
: dfcc_obeys_contractt
- dfcc_pointer_in_ranget()
: dfcc_pointer_in_ranget
- dfcc_spec_functionst()
: dfcc_spec_functionst
- dfcc_swap_and_wrapt()
: dfcc_swap_and_wrapt
- dfcc_wrapper_programt()
: dfcc_wrapper_programt
- dfcct()
: dfcct
- dfs()
: memory_snapshot_harness_generatort::preordert< Key >
- dfs_inner()
: memory_snapshot_harness_generatort::preordert< Key >
- 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
- difference_type()
: pointer_typet
- differences_map()
: unified_difft
- dimacs()
: literalt
- dimacs_cnf_dumpt()
: dimacs_cnf_dumpt
- dimacs_cnft()
: dimacs_cnft
- dirtyt()
: dirtyt
- 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
- 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
, shift_exprt
- 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_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_constt()
: does_remove_constt
- does_type_preserve_const_correctness()
: does_remove_constt
- 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
- dominates()
: cfg_dominators_templatet< P, T, post_dom >
- done()
: minisat_prooft
- dot_attributes()
: graph_nodet< E >
, scope_treet::scope_nodet
- dott()
: dott
- double_precision()
: ieee_float_spect
- 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
- 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
- dstringt()
: dstringt
- dt()
: reference_counting< T, empty >::dt
- dtor()
: cpp_typecheckt
- dummy()
: ait< domainT >
, flow_insensitive_analysist< T >
- dump_automaton_dot_to()
: levenshtein_automatont
, nfat< T >
- 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
- dynamic_object_exprt()
: dynamic_object_exprt
- dynamic_typecast()
: cpp_typecheckt