Here is a list of all variables with links to the classes they belong to:
- t -
- t : wrapped_interval
- t_array : typet
- t_bool : typet
- t_bv : typet
- t_class : typet
- t_code : typet
- t_complex : typet
- t_empty : typet
- t_fixedbv : typet
- t_floatbv : typet
- t_intcap : typet
- t_integer : typet
- t_natural : typet
- t_num : renaming::level2t::name_record
- t_pointer : typet
- t_ptrmem : typet
- t_rational : typet
- t_real : typet
- t_reference : typet
- t_signedbv : typet
- t_struct : typet
- t_symbol : typet
- t_uintcap : typet
- t_union : typet
- t_unsignedbv : typet
- t_vector : typet
- tab : exp2f_data, logf_data
- tables : table_vector_scope
- tag : GNode
- tag_bignum_constants : parser.json_emitter.JsonEmitterDeps
- tag_nonfinite_floats : parser.json_emitter.JsonEmitterDeps
- tag_prefix : clang_c_convertert
- target : code_assign2t, code_goto2t, configt::ansi_ct, execution_statet::parked_patht, goto_symext::symex_resultt, goto_symext, rw_sett
- target_func : pattern_checker
- target_function : goto_coveraget, goto_functions_algorithm
- target_info : clang_c_lexert::LexerContext
- target_name : preprocessor.generator_mixin.GeneratorMixin._YieldReplacer, preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
- target_num : goto_coveraget
- target_number : cbmc_instructiont, goto_programt::instructiont
- target_template : reachability_treet
- targets : cbmc_instructiont, goto_convertt, goto_programt::instructiont
- tccDriver : cudaDeviceProp
- temp_path : solidity_languaget
- temp_prefix : smtlib_convt
- temp_var_name : code_contractst::is_fresh_mapping_t
- temperature : llm::configt
- template_args : cpp_name_type2t
- terminator : goto_cfg::basic_block
- text : rewrite_op, token
- textureAlignment : cudaDeviceProp
- texturePitchAlignment : cudaDeviceProp
- tgt_cnt_set : solidity_convertert
- tgt_cnts : solidity_convertert
- tgt_func : solidity_convertert
- themap : value_sett::object_map_dt
- then_case : code_ifthenelse2t
- thename : symbol2t
- this_map : clang_cpp_convertert
- thread : thread_key, threadsList
- thread_cswitch_threshold : execution_statet
- thread_ended : goto_symex_statet
- thread_id : edget, execution_statet::transition_resultt, goto_symex_statet::merge_statet, renaming::level1t
- thread_last_reads : execution_statet
- thread_last_transition : execution_statet
- thread_last_writes : execution_statet
- thread_nr : goto_trace_stept, symex_targett::sourcet
- thread_num : symbol2t
- thread_start_data : execution_statet
- threads_state : execution_statet
- throw_set : goto_convertt::targetst, goto_convertt::throw_targett
- throw_stack_size : goto_convertt::targetst, goto_convertt::throw_targett
- throw_target : goto_convertt::targetst, goto_convertt::throw_targett
- throws : jimple_method
- thunk_prefix : clang_cpp_convertert
- tid_is_set : execution_statet
- tier : UnsupportedConstructError
- time : date_time
- timeout_ms : llm::configt
- timer_ET : LdIRNode
- timer_fb : RungElement
- timer_IN : LdIRNode
- timer_instance : LdIRNode
- timer_kind : LdIRNode
- timer_PT : LdIRNode
- timer_Q : LdIRNode
- tm : bitwuzla_convt
- tm_gmtoff : tm
- tm_hour : tm
- tm_isdst : tm
- tm_mday : tm
- tm_min : tm
- tm_mon : tm
- tm_sec : tm
- tm_wday : tm
- tm_yday : tm
- tm_year : tm
- tm_zone : tm
- tmp_count : andersent
- tmp_symbol : clang_c_adjust, goto_convertt
- to : jimple_cast, transcendental::piece
- to_bv_counter : cvc5_convt, cvc_convt
- to_node : edget
- token : sexpr
- toks : scope_walker
- TOML_UNREACHABLE : table
- TOP : andersent
- total_assert : goto_coveraget
- total_assert_ins : goto_coveraget
- total_branch : goto_coveraget
- total_claims : goto_symext::symex_resultt, goto_symext
- total_cond : goto_coveraget
- total_func_branch : goto_coveraget
- total_kpath : goto_coveraget
- total_kpath_spanning : goto_coveraget
- total_length : flat_array_shape_info
- total_stack_limit : goto_symext
- totalConstMem : cudaDeviceProp
- totalGlobalMem : cudaDeviceProp
- tp_basicsize : __ESBMC_PyType
- tp_name : __ESBMC_PyType
- trace : bmct::witness_recordt
- trailing_args : python_list::list_eq_target
- trans : exprt
- transition_ordinal : execution_statet
- trigger : LdProperty
- true_arr_ast : array_convt::array_with
- true_value : if2t
- ts : ts_enginet
- TS_slice : reachability_treet
- tuple_api : smt_solver_baset
- tuple_str_member_size : tuple_handler
- tuple_val : PyConstValue
- tv_nsec : timespec
- tv_sec : timespec, timeval
- tv_usec : timeval
- type : __ESBMC_PyListObj, collected_nondet_value, default_value_traits, expr2t, float_traits_base< T, MantissaDigits, DecimalDigits >, format_tokent, goto_functiont, goto_programt::instructiont, goto_trace_stept, integer_traits_base< T >, interval_templatet< T >, invariant, jimple_class_field, jimple_declaration, jimple_identity, jimple_method, jimple_newarray, jimple_static_member, jimple_virtual_member, native_value_traits< T, NodeType >, resultt, solidity_convertert::func_sig, string_traits< T >, symex_target_equationt::SSA_stept, waypoint
- type_aliases : preprocessor.import_typing_mixin.ImportTypingMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
- type_default_value : opt_templ
- type_handler_ : function_call_expr
- type_id : __ESBMC_PyObj, type2t
- type_map : replace_symbolt
- type_name : GNode, UserFBDef, UserFBExec, UserFBInstance
- type_text : local_var
- typecast : exprt
- typeid_value : __ESBMC_exception_detail::__ESBMC_exception_slot, __ESBMC_exception_detail::__ESBMC_handled_exception
- typing_module_names : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.import_typing_mixin.ImportTypingMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
- tz_dsttime : timezone
- tz_minuteswest : timezone
1.15.0