Here is a list of all variables 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 : cudaDevicesList, edget, LdIRRung, LdProperty, nodet, property_rowt, RungNode, smt_solver_baset::ptr_flatten_entry, smt_sort, solidity_convertert::func_sig, symbolt
• id_address_of : irept
• id_and : irept
• id_array : irept
• id_bool : 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_or : irept
• id_pointer : irept
• id_signedbv : 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 : value_sett::entryt
• identifiers : 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
• ieee_floateq : exprt
• IGNORE : CspMap
• ignore : symex_target_equationt::SSA_stept
• implements : jimple_file
• implicit : address_of2t
• implicit_union_copy_move : code_type2t
• implies : exprt
• 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
• imports : preprocessor.function_value_types._Analysis
• in : parsert
• IN1_var : ArithFBNode
• IN2_var : ArithFBNode
• in_block : dynamic_type_detail::numeric_bindingt
• in_order_bindings : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• in_pin_source : GNode
• in_pins : GNode
• 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
• indent : formatter_config
• index : exprt, index2t, jimple_deref, numpy_nditer_state, smt_solver_baset::flat_storet
• index_reads : symex_slicet
• indirect_calls : andersent
• inductive_assertion : goto_programt::instructiont
• inductive_step : goto_symext
• inductive_step_instruction : goto_programt::instructiont
• infinity_flag : ieee_floatt
• inheritanceMap : solidity_convertert
• init : code_decl2t, code_for2t, transition_systemt::statet
• init_field : constant_union2t
• init_value : VarDecl
• initial_readers : array_convt
• initialized : BytesDynamic, static_analysis_baset
• initializer : constant_array_of2t
• initializers : goto2ct, solidity_convertert
• inlined_funcs : goto_functiont, goto_inlinet
• input_vars : UserFBDef, UserFBExec
• inputs : transition_systemt
• instance : dynamic_object2t
• 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
• instr_type : cbmc_instructiont
• instruction : property_locationt, property_rowt
• instructions : cbmc_functiont, goto_programt
• int_128_width : configt::ansi_ct
• int_encoding : smt_solver_baset
• int_shift_op_array : smt_solver_baset
• int_val : PyConstValue
• int_value : numeric_value
• int_width : configt::ansi_ct
• integer_bits : fixedbv_spect, fixedbv_type2t
• integrated : cudaDeviceProp
• interactive_ileaves : reachability_treet
• interleaving_failed : bmct
• interleaving_number : bmct
• interleaving_unviable : execution_statet
• INTERNAL : dereferencet
• internal_deref_items : goto_symext
• interval_domain_state : goto_symext
• interval_snapshot : goto_symex_statet::merge_statet
• intervals : interval_domaint
• intrinsic_json : solidity_languaget
• intval : smtlib_smt_ast
• invalid : dynamic_object2t
• invalid_object : pointer_logict
• invalid_ptr_ast : smt_solver_baset
• invariant : nodet
• invariant_scope : nodet
• invariants : goto_programt::instructiont::loop_contract_datat, transition_systemt, yamlt
• invc : logf_data
• invln2_scaled : exp2f_data
• iov_base : iovec
• iov_len : iovec
• ipos : table
• ir_ieee : smt_solver_baset
• ir_ieee_api : smt_solver_baset
• irep2_owns_arms : clang_c_adjust
• ireps_on_read : irep_serializationt::ireps_containert
• ireps_on_write : irep_serializationt::ireps_containert
• is_auxiliary : cbmc_symbolt
• is_bound : solidity_convertert
• is_complex : scalar_value
• is_constant : c_qualifierst
• is_coverage : esbmc_parseoptionst
• is_default : code_switch_case2t
• is_digit : parse_integer_traits< 10 >, parse_integer_traits< 16 >, parse_integer_traits< 2 >, parse_integer_traits< 8 >
• is_entry_module : preprocessor.class_context_mixin.ClassContextMixin, preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• is_exported : cbmc_symbolt
• is_extern : cbmc_symbolt, symbolt
• is_file_local : cbmc_symbolt
• is_global : reachability_treet
• is_goto_cov : claim_slicer
• is_inherit : solidity_convertert::func_sig
• is_input : cbmc_symbolt, VarDecl
• is_int : numeric_value
• is_intrinsic_method : jimple_expr_invoke
• is_ite : array_convt::array_with
• is_library : solidity_convertert::func_sig
• 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_lvalue : cbmc_symbolt
• is_macro : cbmc_symbolt, symbolt
• is_native : default_value_traits, float_traits_base< T, MantissaDigits, DecimalDigits >, integer_traits_base< T >, native_value_traits< T, NodeType >, string_traits< T >
• is_output : cbmc_symbolt, VarDecl
• is_parameter : cbmc_symbolt, symbolt
• is_payable : solidity_convertert::func_sig
• is_pointer_check : solidity_convertert
• is_property : cbmc_symbolt
• is_range_loop : preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• is_reentry_check : solidity_convertert
• is_restricted : c_qualifierst
• is_set : symbolt, symex_targett::sourcet
• is_signed : 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_skip : jimple_assignment
• is_solidity : library_load_report
• is_state_var : cbmc_symbolt
• is_static_lifetime : cbmc_symbolt
• is_thread_local : cbmc_symbolt, symbolt
• is_tuple : __ESBMC_PyListObj
• is_type : cbmc_symbolt, symbolt
• is_volatile : c_qualifierst, cbmc_symbolt
• is_weak : cbmc_symbolt
• isMultiGpuBoard : cudaDeviceProp
• isnan : exprt
• it_interval : itimerspec
• it_value : itimerspec
• items : __ESBMC_PyListObj, queue.LifoQueue, queue.Queue
• iter : code_for2t
• iterable_loop_counter : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• iterator : numpy_nditer_item, table
• 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