- 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