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

- i -

• id() : clang_c_languaget, clang_cpp_languaget, irept, jimple_languaget, languaget, ld_languaget, python_languaget, solidity_languaget
• id_class() : irept
• id_of() : exception_typeidt
• id_shorthand() : c_expr2stringt
• id_string() : irept
• identifier() : irept
• ieee_float_spect() : ieee_float_spect
• ieee_floatt() : ieee_floatt
• ieee_fma2t() : ieee_fma2t
• ieee_sqrt2t() : ieee_sqrt2t
• if() : table
• if2t() : if2t
• if_exprt() : if_exprt
• ignored() : assertion_cache, slicer, ssa_features, ssa_step_algorithm, symmetry_breakingt
• implicit() : irept
• implicit_typecast() : c_typecastt
• implicit_typecast_arithmetic() : c_typecastt
• implicit_typecast_followed() : c_typecastt
• implies_exprt() : implies_exprt
• imply_ast() : smt_solver_baset
• imported_value() : preprocessor.function_value_types._Analysis
• in_contract_clause() : python_converter
• in_pre_state() : frame_enforcert
• incomplete() : irept
• increase_indent() : formatter
• increment() : ieee_floatt
• increment_active_atomic_number() : execution_statet
• increment_context_switch() : execution_statet
• incrementer() : bitblast_convt
• indent() : formatter
• indent_array_elements() : formatter
• indent_columns() : formatter
• indent_str() : c_expr2stringt
• indent_sub_tables() : formatter
• index() : index_exprt, path_component, python_list
• index2t() : index2t
• index_bool_mask_rows() : python_list
• index_exprt() : index_exprt
• index_strided_axis() : python_list
• inductive_step_disabled_exceptiont() : inductive_step_disabled_exceptiont
• infer_lambda_return_type() : python_lambda
• infer_literal_element_type() : python_list
• init() : picosha2::hash256_one_by_one, transt
• init_addr_space_array() : smt_solver_baset
• init_pointer_obj() : smt_solver_baset
• init_variable() : clang_c_maint
• initialization() : irept
• initialize() : abstract_domain_baset, ai_baset, goto_symex_statet, static_analysis_baset, value_set_analysist, value_set_domaint
• initializer() : irept
• inject_parameter_type_assertions() : python_typechecking
• inline_calls_in_quantifier_body() : goto_convertt
• inline_instruction() : goto_inlinet
• inlined() : irept
• input_overflow_check() : goto_checkt
• input_overflow_check_arr() : goto_checkt
• input_overflow_check_int() : goto_checkt
• 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_object_exprt
• instantiate_gcc_polymorphic_builtin() : clang_c_adjust
• instructiont() : goto_programt::instructiont
• intcap_typet() : intcap_typet
• integer_bits() : irept
• internal_additions() : clang_c_languaget, clang_cpp_languaget
• interpolate_intervals() : interval_domaint
• intersect_with() : interval_templatet< T >
• intersection() : unsigned_union_find, wrapped_interval
• 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_domaint() : interval_domaint
• interval_left_shift() : interval_templatet< T >
• interval_logical_right_shift() : interval_templatet< T >
• interval_templatet() : interval_templatet< T >
• interval_to_domain() : interval_analysis_ibex_contractor
• 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_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
• invalid_object() : irept
• invalid_pointer2t() : invalid_pointer2t
• invalidate_object() : goto_symext
• invar() : transt
• invariant_refutes() : bmct
• invert() : bitblast_convt, literalt, tvt
• invert_ast() : smt_solver_baset
• invert_bool() : interval_templatet< T >, wrapped_interval
• invoke_solc() : solidity_languaget
• ir_ieee_convt() : ir_ieee_convt
• irep2t() : irep2t
• irep_container() : irep_container< T >
• irep_idt() : irep_idt
• irep_serializationt() : irep_serializationt
• irept() : irept
• 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_backwards_goto() : goto_programt::instructiont
• is_base_case_violated() : esbmc_parseoptionst
• 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_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_concurrent() : reachability_treet::reduction_statst
• is_consensus_func() : type_utils
• is_consensus_type() : type_utils
• is_constant() : bitblast_convt, 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_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_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_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_equal() : wrapped_interval
• is_esbmc_library_function() : solidity_convertert
• is_even() : BigInt
• is_explored() : reachability_treet::scheduler_framet
• is_expression() : irept
• is_extern() : irept
• 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_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_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_goto() : goto_programt::instructiont
• 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_inline() : table
• is_instance_call() : python_annotation< Json >
• is_instance_check() : goto_checkt
• is_int64() : BigInt
• is_integer() : array, float.float, table
• is_integer_type() : type_utils
• is_interface() : jimple_file
• 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_list_call_escaped() : python_converter
• 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_low_level_call() : solidity_convertert
• is_low_level_property() : solidity_convertert
• is_macos() : configt::triple
• is_macro() : irept
• 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_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() : goto_trace_stept, symex_target_equationt::SSA_stept
• is_padding() : expr2ct
• is_parameter() : irept
• is_pointer() : irept
• is_pointer_free() : type_handler
• is_pointer_record() : type_handler
• is_positive() : BigInt
• is_prefix_of() : struct_typet
• is_private() : jimple_modifiers
• 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_recursively_zero() : c_expr2stringt
• is_redundant() : k_path_spanning_sett
• 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_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_shared_storage() : reachability_treet
• is_signed() : decimal.Decimal
• is_signedbv() : irept
• is_skip() : goto_programt::instructiont, goto_trace_stept, symex_target_equationt::SSA_stept
• is_sleeping() : reachability_treet::scheduler_framet
• is_snan() : decimal.Decimal
• is_sol_builin_symbol() : solidity_convertert
• is_static() : jimple_modifiers
• 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() : irept
• 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_true() : constant_bool2t, exprt, guard2tc, literalt, tvt
• is_truthy() : PyConstValue
• is_tuple_type() : tuple_handler
• is_type() : irept
• 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_windows_abi() : configt::triple
• is_zero() : BigInt, decimal.Decimal, exprt, fixedbvt, ieee_floatt
• is_zero_length_array() : string_handler
• isinstance() : preprocessor.check_type_lowering._Lowering
• isIntervalChanged() : vart
• isolate() : unsigned_union_find
• isset() : cmdlinet
• ite() : array_ast, array_sym_smt_ast, smt_ast, tuple_node_smt_ast, tuple_sym_smt_ast