- a -

• assignment_typet : goto_trace_stept , symex_targett
• axiomt : partial_order_concurrencyt

- b -

• bitst : local_bitvector_analysist::flagst
• bytecode_write_typet : java_bytecode_convert_methodt

- c -

• c_standardt : configt::ansi_ct
• c_typet : c_typecastt
• check_statust : goto_check_ct
• clockt : timestampert
• constraint_typet : arrayst
• cpp_standardt : configt::cppt

- d -

• decl_typet : ansi_c_parsert
• DeclKind : Parser
• differencet : unified_difft

- e -

• elf_classt : elf_readert
• endiannesst : configt::ansi_ct
• expr_changedt : simplify_exprt::resultt< T >

- f -

• flag_typet : format_tokent
• flavort : gcc_versiont
• flavourt : configt::ansi_ct
• format_typet : format_elementt

- g -

• gdb_statet : gdb_apit
• get_modet : rw_range_sett

- i -

• id_classt : cpp_idt
• initializedt : interpretert::memory_cellt
• insert_actiont : value_sett
• instruction_sizet : java_bytecode_convert_methodt
• instrumentation_resultt : remove_exceptionst
• integral_resultt : write_stackt
• is_nondett : nondet_instruction_infot
• is_nullablet : nondet_instruction_infot

- k -

• kindt : dep_edget , jsont , new_scopet , vs_dep_edget

- l -

• lazy_typet : arrayst
• length_modifierst : format_tokent
• libt : configt::ansi_ct
• lookup_kindt : cpp_scopet

- m -

• malloc_failure_modet : configt::ansi_ct
• message_levelt : messaget
• method_handle_kindt : java_class_typet , method_handle_infot
• mod_flagt : change_impactt
• modeltypet : qdimacs_coret
• modet : custom_bitvector_domaint

- o -

• operationt : abstract_eventt
• ost : configt::ansi_ct
• outcomet : inductiveness_resultt

- p -

• preprocessort : configt::ansi_ct
• progresst : incremental_goto_checkert::resultt

- r -

• relt : float_bvt , float_utilst
• renamingt : linkingt
• representationt : bv_utilst , format_tokent
• resultt : decision_proceduret , propt , safety_checkert
• rounding_modet : ieee_floatt

- s -

• send_responset : piped_processt
• set_optionst : goto_model_validation_optionst
• shiftt : bv_utilst
• solvert : smt2_convt
• stack_frame_type : java_bytecode_parse_treet::methodt::stack_map_table_entryt
• statet : piped_processt
• statust : cnf_solvert , cover_goalst::goalt , main_function_resultt , satcheck_zchaff_baset
• step_statust : ai_history_baset
• stylet : format_spect

- t -

• targett : ms_cl_versiont
• TemplateDeclKind : Parser
• token_typet : format_tokent
• track_optionst : value_set_analysis_fit
• tv_enumt : tvt
• typet : goto_trace_stept , qdimacs_cnft::quantifiert

- u -

• uit : ui_message_handlert
• unbounded_arrayt : boolbvt
• unwind_strategyt : goto_unwindt

- v -

• variable_cast_argumentt : java_bytecode_convert_methodt
• verification_type_info_type : java_bytecode_parse_treet::methodt::verification_type_infot
• violation_locationt : cext
• violation_typet : cext

- w -

• wantt : cpp_typecheck_resolvet
• whatt : string_abstractiont
• wheret : smt2_convt
• write_is_shared_resultt : goto_symex_statet