- t -

• t : abstract_objectt , local_cfgt::nodet
• t_ : copy_on_writet< T > , small_shared_ptrt< T >
• tag : java_bytecode_parse_treet::methodt::verification_type_infot , java_bytecode_parsert::pool_entryt , structured_pool_entryt
• tag_following : ansi_c_parsert
• tags : statement_list_parse_treet
• taint : taint_analysist , taint_parse_treet::rulet
• target : _rw_set_loct , function_loc_pairt , goto_symext , ms_cl_versiont , preconditiont , rw_range_set_value_sett , symex_assignt
• target_function : in_function_criteriont
• target_map : local_may_alias_factoryt
• target_number : goto_programt::instructiont
• target_violation_id : cegis_verifiert
• targets : goto_convertt , goto_programt::instructiont , havoc_assigns_clause_targetst
• template_counter : cpp_typecheckt
• template_map : cpp_typecheckt::method_bodyt , cpp_typecheckt
• temporaries : goto_convertt::clean_expr_resultt
• temporary_counter : string_abstractiont
• term : smt2_parsert::named_termt
• terms : monomialt
• text : cpp_tokent , ctokent , document_propertiest::linet
• thin_air_events : event_grapht::graph_explorert
• this_expr : cpp_idt
• this_line : parsert
• thread : abstract_eventt , instrumentert::cfg_visitort
• thread_id : interpretert
• thread_local_vars : concurrency_instrumentationt
• thread_loop_map : unwindsett
• thread_nr : goto_trace_stept , symex_targett::sourcet
• thread_number : default_trace_stept
• threaded : invariant_sett
• threading_support : java_bytecode_convert_methodt , java_bytecode_language_optionst
• threads : goto_symex_statet
• throw_assertion_error : java_bytecode_convert_methodt , java_bytecode_language_optionst
• throw_runtime_exceptions : java_bytecode_instrumentt , java_bytecode_language_optionst
• throw_set : goto_convertt::targetst , goto_convertt::throw_targett
• throw_stack_node : goto_convertt::targetst , goto_convertt::throw_targett
• throw_target : goto_convertt::targetst , goto_convertt::throw_targett
• thrown : uncaught_exceptions_domaint
• throws_exception_table : java_bytecode_parse_treet::methodt
• time : ui_message_handlert
• time_limit_seconds : satcheck_minisat2_baset< T >
• title : statement_list_parse_treet::networkt
• tmp_dirs : compilet
• tmp_post_map : enumerative_loop_contracts_synthesizert
• tmp_symbol_prefix : goto_convertt
• tmp_vars : java_bytecode_convert_methodt
• to_be_merged_irep_store : merged_irepst
• to_check : dfcct
• to_exclude_from_nondet_static : dfcct
• to_function : value_set_fit
• to_replace : dfcct
• to_target_index : value_set_fit
• to_type : sort_based_cast_to_bit_vector_convertert
• token : cscannert , smt2_tokenizert
• token_buffer : cpp_parsert
• token_index : mini_c_parsert
• token_vector : cpp_token_buffert
• tokens : cpp_token_buffert , ctokenitt , mini_c_parsert , statement_list_parse_treet::instructiont
• top : abstract_objectt
• top_level_local : dfcc_cfg_infot
• top_level_loops : dfcc_cfg_infot
• top_level_tracked : dfcc_cfg_infot
• top_level_write_set : dfcc_cfg_infot
• top_stack : write_stackt
• toplevel_block : goto_program2codet
• topsorted_loops : dfcc_cfg_infot
• total : solver_progresst
• total_functions_count : goto_difft
• total_in : mz_stream_s
• total_out : mz_stream_s
• total_steps : interpretert
• total_vccs : goto_symex_statet
• total_width : boolbv_widtht::defined_entryt
• trace : propertyt , solver_optionst
• trace_map : trace_map_storaget
• traces : all_properties_verifier_with_fault_localizationt< incremental_goto_checkerT > , all_properties_verifier_with_trace_storaget< incremental_goto_checkerT > , cover_goals_verifier_with_trace_storaget< incremental_goto_checkerT > , goto_trace_storaget
• traces_must_terminate : cover_configt
• track_backward_jumps : local_control_flow_history_factoryt
• track_forward_jumps : local_control_flow_history_factoryt
• track_options : value_set_analysis_fit
• tracked : dfcc_loop_infot
• tracking : uninitializedt
• transitions : automatont , nfat< T >
• treet : tree_nodet< treet, named_subtreest, sharing >
• true_bdd : mini_bdd_mgrt
• true_string : expr2c_configurationt
• true_taken : goto_program_coverage_recordt::coverage_conditiont
• ts_18661_3_Floatn_types : ansi_c_parsert , configt::ansi_ct
• type : arrayst::lazy_constraintt , boolbv_mapt::map_entryt , concurrency_instrumentationt::shared_vart , concurrency_instrumentationt::thread_local_vart , designatort::entryt , format_elementt , format_tokent , goto_trace_stept , java_bytecode_parse_treet::annotationt , java_bytecode_parse_treet::methodt::stack_map_table_entryt , java_bytecode_parse_treet::methodt::verification_type_infot , linear_functiont , lispexprt , qdimacs_cnft::quantifiert , shared_bufferst::varst , smt2_convt::identifiert , smt2_parsert::idt , smt2_parsert::signature_with_parameter_idst , SSA_stept , symbolt
• type_bit_width : small_shared_n_way_pointee_baset< N, Num >
• type_checked : language_modulet
• type_constructor_names : recursive_initializationt
• type_decl_str : dump_ct::typedef_infot
• type_header_configuration : dump_c_configurationt
• type_ids : saj_tablet
• type_map : remove_function_pointerst , rename_symbolt , template_mapt
• type_names : goto_program2codet
• type_names_set : goto_program2codet
• type_to_construct : value_expr_from_smt_factoryt
• typedef_map : dump_ct
• typedef_name : dump_ct::typedef_infot
• typedef_names : goto_program2codet
• typedef_types : dump_ct
• typemap : equalityt