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

- t -

• table() : parse_result, table
• table_init_pair() : table_init_pair
• table_iterator() : table_iterator< IsConst >
• table_vector_scope() : table_vector_scope
• tag() : irept
• tagged_binop_result_may_be_tagged() : dynamic_type_handler
• tagged_elem_type_or() : python_list
• tagged_scalar_byte_size() : type_handler
• tagged_scalar_type_id() : type_handler
• tagged_scalar_type_matches() : type_handler
• tagged_symbol_id() : dynamic_type_handler
• target() : messaget::statet
• target_is_mapped() : ait< domainT >
• targets() : irept
• targetst() : goto_convertt::targetst
• task_done() : queue.LifoQueue, queue.Queue
• tearDown() : unittest.TestCase
• terminate() : smtlib_convt::process_emitter
• terminate_handler() : goto_symext
• ternary_if() : interval_templatet< T >, wrapped_interval
• terse_kvps() : formatter
• then_case() : code_ifthenelset
• theorem() : irept
• this_architecture() : configt
• this_operating_system() : configt
• thrash_type_symbols() : goto_convert_functionst
• throw_targett() : goto_convertt::throw_targett
• time() : time
• time_offset() : time_offset
• tmp_dir_override() : file_operations::tmp_dir_override
• tmp_file() : file_operations::tmp_file
• tmp_path() : file_operations::tmp_path
• to() : irept
• to_ansi_c_string() : fixedbvt, ieee_floatt
• to_array() : constant_string2t
• to_char_type() : std::char_traits< charT >
• to_code2t() : jimple_assignment, jimple_declaration, jimple_full_method_body, jimple_goto, jimple_if, jimple_invoke, jimple_label, jimple_method_body, jimple_method_field
• to_double() : ieee_floatt
• to_expr() : fixedbvt, ieee_floatt, value_sett
• to_expr2t() : jimple_binop, jimple_cast, jimple_constant, jimple_deref, jimple_expr, jimple_expr_invoke, jimple_lengthof, jimple_newarray, jimple_nondet, jimple_static_member, jimple_symbol, jimple_virtual_invoke, jimple_virtual_member
• to_exprt() : jimple_class_field, jimple_class_member, jimple_expr, jimple_file, jimple_identity, jimple_method, jimple_method_body, jimple_method_field
• to_float() : ieee_floatt
• to_int64() : BigInt
• to_int_type() : std::char_traits< charT >
• to_integer() : fixedbvt, ieee_floatt
• to_irep() : symbolt
• to_json() : LdVerifyResult
• to_object_descriptors() : andersent
• to_oss() : Contractors
• to_predicate() : ai_domain_baset
• to_string() : configt::triple, irept, jimple_assertion, jimple_assignment, jimple_ast, jimple_binop, jimple_cast, jimple_class_field, jimple_constant, jimple_declaration, jimple_deref, jimple_expr_invoke, jimple_file, jimple_full_method_body, jimple_goto, jimple_identity, jimple_if, jimple_invoke, jimple_label, jimple_lengthof, jimple_method, jimple_modifiers, jimple_new, jimple_newarray, jimple_nondet, jimple_static_member, jimple_symbol, jimple_type, jimple_virtual_invoke, jimple_virtual_member, symbol_id, tvt
• to_string_decimal() : ieee_floatt
• to_string_scientific() : ieee_floatt
• to_type() : ieee_float_spect
• to_type2t() : jimple_type
• to_typet() : jimple_type
• to_uint64() : BigInt
• TOML_ASYMMETRICAL_EQUALITY_OPS() : array
• TOML_CONSTRAINED_TEMPLATE() : array, table, time, time_offset
• TOML_DELETE_DEFAULTS() : depth_counter_scope, error_builder, parse_scope, table_vector_scope
• top() : goto_symex_statet
• top_source() : andersent
• topological_sort() : solidity_convertert
• tostring() : expr2t, type2t
• total() : k_path_spanning_sett
• total_stack_size() : goto_symex_statet
• touch_entry() : value_sett
• track_new_pointer() : goto_symext
• tracked_view_axes() : python_list
• trans() : transt
• transform() : abstract_domain_baset, ai_domain_baset, cse_domaint, interval_domaint, value_set_domaint
• translate() : goto2ct, st_fb_translator
• transt() : transt
• true_case() : if_exprt
• true_exprt() : true_exprt
• trunc() : wrapped_interval
• truncate() : array, path
• truncated() : path
• try_build_diagonal_pointer_view() : python_list
• try_build_fill_diagonal_mutation() : python_list
• try_build_flat_index_assignment_target() : python_list
• try_build_numpy_param_slice_view() : python_list
• try_build_ravel_pointer_view() : python_list
• try_build_strided_basic_view() : python_list
• try_build_strided_view_index() : python_list
• try_build_symbolic_view_list() : python_list
• try_constant_fold_eq() : python_dict_handler
• try_convert_body_native() : goto_convert_functionst
• try_copy_symbolic_view() : python_list
• try_eval_call() : python_consteval
• try_eval_global_expr() : python_consteval
• try_get_delegate_shadow_call() : solidity_convertert
• try_get_signature_dispatched_call() : solidity_convertert
• try_handle_len_string_fast_path() : string_handler
• try_inline_delegate_shadow_helper_call() : solidity_convertert
• try_inline_pure_call() : goto_convertt
• try_reduce_symbolic_view() : python_list
• try_reshape_symbolic_view() : python_list
• try_resolve_constant_double() : python_math
• ts_enginet() : ts_enginet
• ts_step_renamert() : ts_step_renamert
• ts_strategy_requested() : esbmc_parseoptionst
• tuple_array_create() : smt_tuple_node_flattener, smt_tuple_sym_flattener, tuple_iface, yices_convt, z3_convt
• tuple_array_create_despatch() : smt_solver_baset
• tuple_array_of() : smt_tuple_node_flattener, smt_tuple_sym_flattener, tuple_iface, yices_convt, z3_convt
• tuple_create() : smt_tuple_node_flattener, smt_tuple_sym_flattener, tuple_iface, yices_convt, z3_convt
• tuple_fresh() : smt_tuple_node_flattener, smt_tuple_sym_flattener, tuple_iface, yices_convt, z3_convt
• tuple_get() : smt_tuple_node_flattener, smt_tuple_sym_flattener, tuple_iface, yices_convt, z3_convt
• tuple_get_array_elem() : smt_tuple_node_flattener, smt_tuple_sym_flattener, tuple_iface, yices_convt, z3_convt
• tuple_get_rec() : smt_tuple_node_flattener, smt_tuple_sym_flattener
• tuple_handler() : tuple_handler
• tuple_node_smt_ast() : tuple_node_smt_ast
• tuple_sym_smt_ast() : tuple_sym_smt_ast
• tvt() : tvt
• type() : array, irept, path_component, table
• type2t() : type2t
• type_assertions_enabled() : python_converter
• type_exprt() : type_exprt
• type_flags() : element_type_registry
• type_handler() : type_handler
• type_id() : irept
• type_needs_rename() : goto_convert_functionst
• type_to_string() : type_handler
• typecast2t() : typecast2t
• typecast_exprt() : typecast_exprt
• typecheck() : clang_c_languaget, clang_cpp_languaget, jimple_languaget, language_uit, languaget, ld_languaget, python_languaget, solidity_languaget, typecheckt
• typecheck_main() : typecheckt
• TypeCheckError() : TypeCheckError
• typeid_object() : clang_cpp_convertert
• types_attribute() : exception_specificationt
• typet() : typet