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

- i -

• i : array_convt::array_with, curandStateScrambledSobol32, curandStateScrambledSobol64, curandStateSobol32, curandStateSobol64
• i_and : exprt
• i_ashr : exprt
• i_bitand : exprt
• i_bitnot : exprt
• i_bitor : exprt
• i_bitxor : exprt
• i_cmp_three_way : exprt
• i_false : exprt
• i_ge : exprt
• i_gt : exprt
• i_if : exprt
• i_le : exprt
• i_lshr : exprt
• i_lt : exprt
• i_not : exprt
• i_or : exprt
• i_shl : exprt
• i_true : exprt
• i_type : exprt
• i_xor : exprt
• id() : clang_c_languaget, clang_cpp_languaget, cudaDevicesList, edget, irept, jimple_languaget, languaget, ld_languaget, LdIRRung, LdProperty, nodet, property_rowt, python_languaget, RungNode, smt_solver_baset::ptr_flatten_entry, smt_sort, solidity_convertert::func_sig, solidity_languaget, symbolt
• id_address_of : irept
• id_and : irept
• id_array : irept
• id_bool : irept
• id_class() : irept
• id_code : irept
• id_constant : irept
• id_dereference : irept
• id_empty : irept
• id_fixedbv : irept
• id_floatbv : irept
• id_incomplete_array : irept
• id_index : irept
• id_member : irept
• id_not : irept
• id_notequal : irept
• id_of() : exception_typeidt
• id_or : irept
• id_pointer : irept
• id_sett : cpp_expr2stringt
• id_shorthand() : c_expr2stringt
• id_signedbv : irept
• id_string() : irept
• id_struct : irept
• id_symbol : irept
• id_typecast : irept
• id_union : irept
• id_unsignedbv : irept
• id_vector : irept
• id_width : property_countst
• ident : smtlib_convt::symbol_table_rec
• identifier() : irept, value_sett::entryt
• identifiers : base_type_eqt
• identifierst : base_type_eqt
• idirafter_paths : configt::ansi_ct
• idx : array_convt::array_select, array_convt::array_with, array_convt::idx_record, array_convt::index_map_rec
• idx_record_containert : array_convt
• ieee_float_spect() : ieee_float_spect
• ieee_floateq : exprt
• ieee_floatt() : ieee_floatt
• ieee_fma2t() : ieee_fma2t
• ieee_sqrt2t() : ieee_sqrt2t
• if() : table
• if2t() : if2t
• if_exprt() : if_exprt
• IGNORE : CspMap
• ignore : symex_target_equationt::SSA_stept
• ignored() : assertion_cache, slicer, ssa_features, ssa_step_algorithm, symmetry_breakingt
• ILP32 : configt
• ILP64 : configt
• implements : jimple_file
• implicit : address_of2t, irept
• implicit_typecast() : c_typecastt
• implicit_typecast_arithmetic() : c_typecastt
• implicit_typecast_followed() : c_typecastt
• implicit_union_copy_move : code_type2t
• implies : exprt
• implies_exprt() : implies_exprt
• imply_ast() : smt_solver_baset
• import_aliases : parser.import_resolver.ModuleImportInfo
• import_resolver : parser.json_emitter.EmitPipelineDeps
• imported_calls : preprocessor.function_value_types._Analysis
• imported_module_names : preprocessor.loop_mixin.LoopMixin, preprocessor.module_rewrite_mixin.ModuleRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• imported_value() : preprocessor.function_value_types._Analysis
• imports : preprocessor.function_value_types._Analysis
• in : parsert
• IN1_var : ArithFBNode
• IN2_var : ArithFBNode
• in_block : dynamic_type_detail::numeric_bindingt
• in_contract_clause() : python_converter
• in_order_bindings : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• in_pin_source : GNode
• in_pins : GNode
• in_pre_state() : frame_enforcert
• in_short_circuit : goto_convertt
• in_stream : smtlib_convt::process_emitter
• in_unchecked_block : solidity_convertert
• IN_var : TimerFBNode
• in_wires : UserFBExec, UserFBInstance
• include_files : configt::ansi_ct
• include_paths : configt::ansi_ct
• incomplete() : irept
• increase_indent() : formatter
• increment() : ieee_floatt
• increment_active_atomic_number() : execution_statet
• increment_context_switch() : execution_statet
• incrementer() : bitblast_convt
• indent() : formatter, formatter_config
• indent_array_elements() : formatter
• indent_columns() : formatter
• indent_str() : c_expr2stringt
• indent_sub_tables() : formatter
• index : exprt, index2t, index_exprt, jimple_deref, numpy_nditer_state, path_component, python_list, smt_solver_baset::flat_storet
• index2t() : index2t
• index_bool_mask_rows() : python_list
• index_exprt() : index_exprt
• index_map_containert : array_convt
• index_map_rect : array_convt
• index_reads : symex_slicet
• index_strided_axis() : python_list
• indirect_calls : andersent
• inductive_assertion : goto_programt::instructiont
• inductive_step : goto_symext
• inductive_step_disabled_exceptiont() : inductive_step_disabled_exceptiont
• inductive_step_instruction : goto_programt::instructiont
• infer_lambda_return_type() : python_lambda
• infer_literal_element_type() : python_list
• infinity_flag : ieee_floatt
• inheritanceMap : solidity_convertert
• init : code_decl2t, code_for2t, picosha2::hash256_one_by_one, transition_systemt::statet, transt
• init_addr_space_array() : smt_solver_baset
• init_field : constant_union2t
• init_pointer_obj() : smt_solver_baset
• init_value : VarDecl
• init_variable() : clang_c_maint
• initial_readers : array_convt
• initial_readert : array_convt
• initialization() : irept
• initialize() : abstract_domain_baset, ai_baset, goto_symex_statet, static_analysis_baset, value_set_analysist, value_set_domaint
• initialized : BytesDynamic, static_analysis_baset
• initializer : constant_array_of2t, irept
• initializers : goto2ct, solidity_convertert
• inject_parameter_type_assertions() : python_typechecking
• inline_calls_in_quantifier_body() : goto_convertt
• inline_instruction() : goto_inlinet
• inlined() : irept
• inlined_funcs : goto_functiont, goto_inlinet
• input_overflow_check() : goto_checkt
• input_overflow_check_arr() : goto_checkt
• input_overflow_check_int() : goto_checkt
• input_vars : UserFBDef, UserFBExec
• inputs : transition_systemt
• insert() : array, goto_programt, persistent_set< K, Hash >, replace_symbolt, static_analysis_baset, value_sett
• insert_assert() : goto_coveraget
• insert_assert_before_loop() : goto_loop_invariantt
• insert_constructor_initializers() : clang_cpp_convertert
• insert_havoc_and_assume_before_condition() : goto_loop_invariantt
• insert_inductive_step_and_termination() : goto_loop_invariantt
• insert_modifier_json() : solidity_convertert
• insert_or_assign() : table
• insert_swap() : goto_programt
• instance : dynamic_object2t, dynamic_object_exprt
• instance_class_map : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• instance_name : ArithFBNode, CounterFBNode, GNode, TimerFBNode, UserFBExec, UserFBInstance
• instance_var_classes : preprocessor.module_rewrite_mixin.ModuleRewriteMixin
• instances : preprocessor.namedtuple_lowering._Lowering
• instantiate_gcc_polymorphic_builtin() : clang_c_adjust
• instr_type : cbmc_instructiont
• instruction : property_locationt, property_rowt
• instructions : cbmc_functiont, goto_programt
• instructionst : goto_programt
• instructiont() : goto_programt::instructiont
• INT : c_typecastt, PyConstValue
• INT128 : c_typecastt
• int_128_width : configt::ansi_ct
• int_encoding : smt_solver_baset
• int_shift_op_array : smt_solver_baset
• int_type : std::char_traits< charT >
• int_val : PyConstValue
• int_value : numeric_value
• int_width : configt::ansi_ct
• intcap_typet() : intcap_typet
• integer_bits : fixedbv_spect, fixedbv_type2t, irept
• integer_intervalt : interval_domaint
• integrated : cudaDeviceProp
• interactive_ileaves : reachability_treet
• interleaving_failed : bmct
• interleaving_number : bmct
• interleaving_unviable : execution_statet
• INTERNAL : dereferencet, dereferencet::modet
• internal_additions() : clang_c_languaget, clang_cpp_languaget
• internal_deref_items : goto_symext
• interpolate_intervals() : interval_domaint
• intersect_with() : interval_templatet< T >
• intersection() : unsigned_union_find, wrapped_interval
• interval : interval_domaint
• interval_analysis_ibex_contractor() : interval_analysis_ibex_contractor
• interval_arithmetic_right_shift() : interval_templatet< T >
• interval_bitand() : interval_templatet< T >
• interval_bitor() : interval_templatet< T >
• interval_bitxor() : interval_templatet< T >
• interval_domain_state : goto_symext
• interval_domaint() : interval_domaint
• interval_left_shift() : interval_templatet< T >
• interval_logical_right_shift() : interval_templatet< T >
• interval_map : interval_domaint
• interval_snapshot : goto_symex_statet::merge_statet
• interval_templatet() : interval_templatet< T >
• interval_to_domain() : interval_analysis_ibex_contractor
• intervals : interval_domaint
• intrinsic_builtin_object_size() : goto_symext
• intrinsic_get_object_size() : goto_symext
• intrinsic_get_thread_data() : goto_symext
• intrinsic_get_thread_id() : goto_symext
• intrinsic_havoc_object() : goto_symext
• intrinsic_init_thread_local() : goto_symext
• intrinsic_json : solidity_languaget
• intrinsic_kill_monitor() : goto_symext
• intrinsic_memchr() : goto_symext
• intrinsic_memcmp() : goto_symext
• intrinsic_memcpy() : goto_symext
• intrinsic_memcpy_impl() : goto_symext
• intrinsic_memmove() : goto_symext
• intrinsic_memset() : goto_symext
• intrinsic_really_atomic_begin() : goto_symext
• intrinsic_really_atomic_end() : goto_symext
• intrinsic_register_monitor() : goto_symext
• intrinsic_set_thread_data() : goto_symext
• intrinsic_spawn_thread() : goto_symext
• intrinsic_switch_from() : goto_symext
• intrinsic_switch_from_monitor() : goto_symext
• intrinsic_switch_to() : goto_symext
• intrinsic_switch_to_monitor() : goto_symext
• intrinsic_terminate_thread() : goto_symext
• intrinsic_yield() : goto_symext
• intval : smtlib_smt_ast
• invalid : dynamic_object2t
• invalid_object() : irept, pointer_logict
• invalid_pointer2t() : invalid_pointer2t
• invalid_ptr_ast : smt_solver_baset
• invalidate_object() : goto_symext
• invar() : transt
• invariant : nodet
• invariant_refutes() : bmct
• invariant_scope : nodet
• invariants : goto_programt::instructiont::loop_contract_datat, transition_systemt, yamlt
• invc : logf_data
• invert() : bitblast_convt, literalt, tvt
• invert_ast() : smt_solver_baset
• invert_bool() : interval_templatet< T >, wrapped_interval
• invln2_scaled : exp2f_data
• invoke_solc() : solidity_languaget
• iov_base : iovec
• iov_len : iovec
• IP16 : configt
• IP32 : configt
• ipos : table
• ir_ieee : smt_solver_baset
• ir_ieee_api : smt_solver_baset
• ir_ieee_convt() : ir_ieee_convt
• irep2_owns_arms : clang_c_adjust
• irep2t() : irep2t
• irep_container() : irep_container< T >
• irep_idt() : irep_idt
• irep_serializationt() : irep_serializationt, irept
• ireps_on_read : irep_serializationt::ireps_containert
• ireps_on_write : irep_serializationt::ireps_containert
• irept() : irept
• irepts_on_readt : irep_serializationt::ireps_containert
• irepts_on_writet : irep_serializationt::ireps_containert
• is_2d_array() : type_handler
• is_address_of() : irept
• is_address_taken_local() : reachability_treet
• is_aggregate_type() : clang_c_convertert, clang_cpp_convertert
• is_and() : irept
• is_annotated_contract_function() : code_contractst
• is_anonymous_member() : expr2ct
• is_arm() : configt::triple
• is_array() : array, irept, jimple_type, table
• is_array_of_tables() : array, table
• is_assert() : goto_programt::instructiont, goto_trace_stept, symex_target_equationt::SSA_stept
• is_assert_call() : function_call_builder
• is_assign() : goto_programt::instructiont
• is_assignment() : goto_trace_stept, symex_target_equationt::SSA_stept
• is_assume() : goto_programt::instructiont, goto_trace_stept, symex_target_equationt::SSA_stept
• is_assume_call() : function_call_builder
• is_assume_false() : goto_symext
• is_atomic_begin() : goto_programt::instructiont
• is_atomic_end() : goto_programt::instructiont
• is_atomic_symbol() : goto_convertt
• is_auxiliary : cbmc_symbolt
• is_backwards_goto() : goto_programt::instructiont
• is_base_case_violated() : esbmc_parseoptionst
• IS_BIG_ENDIAN : configt::ansi_ct
• is_binary_dispatch_function() : python_math
• is_block_brace() : scope_walker
• is_bool() : irept
• is_bool_mask_rows_type() : python_list
• is_boolean() : array, exprt, table
• is_bottom() : ai_domain_baset, cse_domaint, interval_domaint, interval_templatet< T >
• is_bound : solidity_convertert
• is_bounded() : bounded_math
• is_branching() : goto_trace_stept, symex_target_equationt::SSA_stept
• is_builtin_type() : type_utils
• is_bundled() : file_operations::file_data
• is_byte_type() : solidity_convertert
• is_bytes_array() : type_utils
• is_bytes_type() : solidity_convertert
• is_bytesN_type() : solidity_convertert
• is_c_model_func() : type_utils
• is_catch() : goto_programt::instructiont
• is_char_type() : type_utils
• is_class() : preprocessor.check_type_lowering._Lowering
• is_class_object() : python_converter
• is_class_value_type() : type_handler
• is_code() : irept
• is_comment() : irept
• is_compiler_generated() : code_contractst
• is_complex : scalar_value
• is_concurrent() : reachability_treet::reduction_statst
• is_consensus_func() : type_utils
• is_consensus_type() : type_utils
• is_constant() : bitblast_convt, c_qualifierst, exprt, irept, literalt
• is_constructor_call() : clang_cpp_adjust_irep2, type_handler
• is_ConstructorOrDestructor() : clang_cpp_convertert
• is_copy_or_move_ctor() : clang_cpp_convertert
• is_CopyOrMoveOperator() : clang_cpp_convertert
• is_cover_call() : function_call_builder
• is_coverage : esbmc_parseoptionst
• is_cur_state_guard_false() : execution_statet
• is_dataclass() : preprocessor.dataclass_mixin.DataclassMixin
• is_date() : array, table
• is_date_time() : array, table
• is_decl() : goto_programt::instructiont
• is_decl_ident_set() : irept
• is_default : code_switch_case2t, code_switch_caset
• is_defaulted_ctor() : clang_cpp_convertert
• is_dereference() : irept
• is_destructor_entry() : goto_convertt
• is_dict_literal() : python_dict_handler
• is_dict_subscript() : type_utils
• is_dict_type() : python_dict_handler
• is_digit : parse_integer_traits< 10 >, parse_integer_traits< 16 >, parse_integer_traits< 2 >, parse_integer_traits< 8 >
• is_double() : ieee_floatt
• is_duplicate_component() : clang_cpp_convertert
• is_duplicate_method() : clang_cpp_convertert
• is_dyn_array() : solidity_convertert
• is_dynamic_set() : irept
• is_empty() : c_qualifierst, Contractors, irept
• is_empty_set() : CspMap
• is_end_function() : goto_programt::instructiont
• is_entirely_constant() : ssa_features
• is_entry_module : preprocessor.class_context_mixin.ClassContextMixin, preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• is_equal() : wrapped_interval
• is_esbmc_library_function() : solidity_convertert
• is_even() : BigInt
• is_explored() : reachability_treet::scheduler_framet
• is_exported : cbmc_symbolt
• is_expression() : irept
• is_extern : cbmc_symbolt, irept, symbolt
• is_false() : constant_bool2t, exprt, guard2tc, literalt, tvt
• is_fd_virtual_or_overriding() : clang_c_convertert, clang_cpp_convertert
• is_field_global_storage() : clang_c_convertert
• is_file_local : cbmc_symbolt
• is_finite() : decimal.Decimal, fixedbvt, ieee_floatt
• is_fixedbv() : irept
• is_float() : ieee_floatt
• is_float_vs_char() : type_utils
• is_floatbv() : irept
• is_floating_point() : array, table
• is_free : dereferencet::modet
• is_freebsd() : configt::triple
• is_func_sig_cover() : solidity_convertert
• is_function() : preprocessor.check_type_lowering._Lowering
• is_function_call() : goto_programt::instructiont, irept
• is_gcc_polymorphic_builtin() : clang_c_adjust
• is_global : reachability_treet
• is_goto() : goto_programt::instructiont
• is_goto_cov : claim_slicer
• is_has_complete_formula() : reachability_treet
• is_homogeneous() : array, table
• is_identifier_set() : irept
• is_imported_model() : parser.parser_cli.ImportResolverLike
• is_imported_module() : python_converter
• is_included() : wrapped_interval
• is_incomplete() : property_verdict_tablet
• is_incomplete_array() : irept
• is_index() : irept
• is_inductive_step_violated() : esbmc_parseoptionst
• is_infinite() : decimal.Decimal
• is_infinity() : fixedbvt, ieee_floatt
• is_inherit : solidity_convertert::func_sig
• is_inline() : table
• is_input : cbmc_symbolt, VarDecl
• is_instance_call() : python_annotation< Json >
• is_instance_check() : goto_checkt
• is_int : numeric_value
• is_int64() : BigInt
• is_integer() : array, float.float, table
• is_integer_type() : type_utils
• is_interface() : jimple_file
• is_internal : dereferencet::modet
• is_intrinsic_method : jimple_expr_invoke
• is_ite : array_convt::array_with
• is_kind() : optionst
• is_known() : tvt
• is_lambda() : clang_cpp_convertert
• is_lambda_assignment() : python_lambda
• is_le_than() : interval_templatet< T >
• is_len_call() : function_call_builder
• is_library : solidity_convertert::func_sig
• is_list_call_escaped() : python_converter
• IS_LITTLE_ENDIAN : configt::ansi_ct
• is_live_variable() : dereference_callbackt, goto_program_dereferencet, symex_dereference_statet
• is_local() : date_time
• is_location() : goto_programt::instructiont
• is_loop_invariant() : goto_programt::instructiont
• is_losslessly_convertible_to_native : default_value_traits, float_traits_base< T, MantissaDigits, DecimalDigits >, native_value_traits< T, NodeType >, signed_integer_traits< T >, string_traits< T >, unsigned_integer_traits< T >
• is_low_level_call() : solidity_convertert
• is_low_level_property() : solidity_convertert
• is_lvalue : cbmc_symbolt
• is_macos() : configt::triple
• is_macro : cbmc_symbolt, irept, symbolt
• is_mapped() : interval_domaint
• is_mapping_set_lvalue() : solidity_convertert
• is_math_dispatch_target() : python_math
• is_math_dispatch_target_cached() : python_math
• is_md_virtual_or_overriding() : clang_cpp_convertert
• is_member() : irept
• is_member_decl_static() : clang_c_convertert
• is_module_receiver() : python_converter
• is_NaN() : fixedbvt, ieee_floatt
• is_nan() : decimal.Decimal
• is_native : default_value_traits, float_traits_base< T, MantissaDigits, DecimalDigits >, integer_traits_base< T >, native_value_traits< T, NodeType >, string_traits< T >
• is_nditer_call() : numpy_nditer
• is_negative() : BigInt, fixedbvt, ieee_floatt
• is_nil() : irept
• is_nondet_call() : jimple_expr_invoke, jimple_virtual_invoke
• is_nondet_collection_builder() : type_utils
• is_nondet_object() : andersent
• is_normal() : decimal.Decimal, fixedbvt, ieee_floatt
• is_not() : irept
• is_not_nil() : irept
• is_notequal() : irept
• is_number() : array, table
• is_numeric_scalar_type() : type_handler
• is_numpy_call() : function_call_builder
• is_numpy_complex_array() : type_utils
• is_numpy_string_array() : type_utils
• is_odd() : BigInt
• is_one() : exprt
• is_optional_scalar() : type_utils
• is_optional_str_pointer() : type_utils
• is_optional_struct() : type_utils
• is_or() : irept
• is_ordered_comparison() : type_utils
• is_other() : goto_programt::instructiont
• is_output : cbmc_symbolt, goto_trace_stept, symex_target_equationt::SSA_stept, VarDecl
• is_padding() : expr2ct
• is_parameter : cbmc_symbolt, irept, symbolt
• is_payable : solidity_convertert::func_sig
• is_pointer() : irept
• is_pointer_check : solidity_convertert
• is_pointer_free() : type_handler
• is_pointer_record() : type_handler
• is_positive() : BigInt
• is_prefix_of() : struct_typet
• is_private() : jimple_modifiers
• is_property : cbmc_symbolt
• is_public() : jimple_modifiers
• is_python_exceptions() : type_utils
• is_python_gc_object() : goto_symext
• is_python_model_func() : type_utils
• is_qnan() : decimal.Decimal
• is_random_call() : numpy_random
• is_range_loop : preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• is_read : dereferencet::modet
• is_recursively_zero() : c_expr2stringt
• is_redundant() : k_path_spanning_sett
• is_reentry_check : solidity_convertert
• is_registered() : exception_typeidt
• is_relational_op() : type_utils
• is_renumber() : goto_trace_stept, symex_target_equationt::SSA_stept
• is_representable() : interval_templatet< T >, wrapped_interval
• is_restricted : c_qualifierst
• is_restrictive() : exception_specificationt
• is_return() : goto_programt::instructiont
• is_retypable_subscript() : python_dict_handler
• is_retyped() : python_converter
• is_riscv() : configt::triple
• is_root() : union_find< T >, unsigned_union_find
• is_root_number() : union_find< T >
• is_runtime_numpy_slice() : python_list
• is_set : symbolt, symex_targett::sourcet
• is_shared_storage() : reachability_treet
• is_signed() : decimal.Decimal, float_traits_base< T, MantissaDigits, DecimalDigits >, integer_traits_base< T >, parse_integer_traits< 10 >, parse_integer_traits< 16 >, parse_integer_traits< 2 >, parse_integer_traits< 8 >
• is_signedbv() : irept
• is_skip() : goto_programt::instructiont, goto_trace_stept, jimple_assignment, symex_target_equationt::SSA_stept
• is_sleeping() : reachability_treet::scheduler_framet
• is_snan() : decimal.Decimal
• is_sol_builin_symbol() : solidity_convertert
• is_solidity : library_load_report
• is_state_var : cbmc_symbolt
• is_static() : jimple_modifiers
• is_static_lifetime : cbmc_symbolt
• is_str_only_method() : type_utils
• is_string() : array, table
• is_string_type() : type_handler, type_utils
• is_struct() : irept
• is_subnormal() : decimal.Decimal
• is_subset_of() : c_qualifierst
• is_subseteq() : interval_templatet< T >
• is_subtype() : exception_typeidt
• is_symbol() : irept
• is_table() : array, table
• is_tagged() : dynamic_type_handler
• is_tagged_scalar_type() : type_handler
• is_target() : goto_programt::instructiont
• is_target_func() : goto_coveraget
• is_thread_local : cbmc_symbolt, irept, symbolt
• is_throw() : goto_programt::instructiont
• is_time() : array, table
• is_top() : ai_domain_baset, cse_domaint, interval_domaint, interval_templatet< T >, wrapped_interval
• is_transition_blocked_by_mpor() : execution_statet
• is_transparent : string_view_equal, string_view_hash
• is_true() : constant_bool2t, exprt, guard2tc, literalt, tvt
• is_truthy() : PyConstValue
• is_tuple : __ESBMC_PyListObj
• is_tuple_type() : tuple_handler
• is_type : cbmc_symbolt, irept, symbolt
• is_type_identifier() : type_utils
• is_type_of_none() : preprocessor.check_type_lowering._Lowering
• is_typecast() : irept
• is_typeddict() : type_utils
• is_typedef_struct_union() : expr2ct
• is_uint64() : BigInt
• is_unary_dispatch_function() : python_math
• is_union() : irept
• is_unknown() : tvt
• is_unlowered_math_builtin() : clang_c_convertert
• is_unreachable_call() : function_call_builder
• is_unsignedbv() : irept
• is_valid_object() : goto_symext
• is_value() : array, table
• is_value_returning_method() : python_dict_handler
• is_var_getter_matched() : solidity_convertert
• is_vector() : irept
• is_volatile : c_qualifierst, cbmc_symbolt
• is_weak : cbmc_symbolt
• is_windows_abi() : configt::triple
• is_write : dereferencet::modet
• is_zero() : BigInt, decimal.Decimal, exprt, fixedbvt, ieee_floatt
• is_zero_length_array() : string_handler
• isinstance() : preprocessor.check_type_lowering._Lowering
• isIntervalChanged() : vart
• isMultiGpuBoard : cudaDeviceProp
• isnan : exprt
• isolate() : unsigned_union_find
• isset() : cmdlinet
• it_interval : itimerspec
• it_value : itimerspec
• ite() : array_ast, array_sym_smt_ast, smt_ast, tuple_node_smt_ast, tuple_sym_smt_ast
• items : __ESBMC_PyListObj, queue.LifoQueue, queue.Queue
• iter : code_for2t
• iterable_loop_counter : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• iterator : array, numpy_nditer_item, parse_result, path, table, value_sett::object_map_dt
• iterator_category : table_iterator< IsConst >
• iterator_classes : preprocessor.iter_next_lowering._Lowering, preprocessor.loop_mixin.LoopMixin, preprocessor.module_rewrite_mixin.ModuleRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• iterator_params : preprocessor.loop_mixin.LoopMixin, preprocessor.module_rewrite_mixin.ModuleRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin