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

- t -

• target_less_than : goto_programt
• target_mapt : local_may_alias_factoryt
• target_sett : cfg_dominators_templatet< P, T, post_dom >, instrumentert
• targetst : goto_programt::instructiont, goto_programt
• targett : goto_programt::instructiont, goto_programt
• template_parameterst : template_typet
• term_storert : smt_declare_function_commandt
• thread_local_varst : concurrency_instrumentationt
• thread_loop_mapt : unwindsett
• to_be_merged_irep_storet : merged_irepst
• to_mapt : d_internalt< keyT, valueT, equalT >, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >, sharing_nodet< keyT, valueT, equalT >
• tokenst : c_declarationt, cpp_token_buffert, ctokenitt, mini_c_parsert
• tokent : smt2_tokenizert
• trace_mapt : trace_map_storaget
• trace_ptrt : ai_baset, ai_domain_baset, ai_domain_factory_baset, ai_domain_factory_default_constructort< domainT >, ai_domain_factory_location_constructort< domainT >, ai_domain_factoryt< domainT >, ai_history_baset, ai_storage_baset
• trace_set_ptrt : ai_storage_baset
• trace_sett : ai_baset, ai_history_baset, ai_storage_baset
• tracet : ai_storage_baset, propertyt
• transition_ranget : automatont
• transition_tablet : automatont
• transitionst : automatont
• tree_implementationt : non_sharing_treet< derivedt, named_subtreest >, sharing_treet< derivedt, named_subtreest >
• type : detail::expr_dynamic_cast_return_typet< Ret, T >, detail::expr_try_dynamic_cast_return_typet< Ret, T >, get_typet< I, Ts >
• type_constructor_namest : recursive_initializationt
• type_mapt : remove_function_pointerst, rename_symbolt, template_mapt
• type_variablest : java_generic_parameter_tagt
• type_variablet : java_generic_parameter_tagt, java_generic_parametert
• typedef_mapt : dump_ct
• typedef_typest : dump_ct
• typemapt : equalityt