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

- a -

• a_s_r_entryt : goto_symex_statet
• a_s_w_entryt : goto_symex_statet
• abstract_aggregate_baset : full_array_abstract_objectt, full_struct_abstract_objectt, two_value_array_abstract_objectt, two_value_struct_abstract_objectt, two_value_union_abstract_objectt
• abstract_value_pointert : abstract_value_objectt
• abstraction_types_mapt : string_abstractiont
• address_mapt : java_bytecode_convert_methodt, partial_order_concurrencyt
• alias_sett : local_may_aliast
• aliasest : escape_domaint, global_may_alias_domaint
• allocationst : goto_check_ct
• allocationt : goto_check_ct
• alphabett : trace_automatont
• annotationst : java_bytecode_parse_treet
• annotationt : java_bytecode_convert_classt, java_bytecode_parsert
• applicationst : functionst
• argst : cmdlinet, gcc_cmdlinet, java_bytecode_parse_treet::instructiont
• argument_typet : abstract_equalert, abstract_hashert
• argumentst : code_function_callt, cpp_template_args_baset, function_application_exprt
• array_constraint_countt : arrayst
• array_equalitiest : arrayst
• array_index_mapt : string_constraintt
• arrayt : jsont
• asm_label_mapt : c_typecheck_baset
• assertion_factoryt : cover_instrumenter_baset
• assertionst : goto_check_ct
• assign_recursion_sett : value_set_fit
• assignment_idt : interpretert
• assignment_typet : goto_symext
• assignmentt : cnf_clause_list_assignmentt, qbf_qube_coret
• assignst : function_assignst, havoc_loopst
• attributest : xmlt