- i -
- id2node_pairt
: instrumentert::cfg_visitort
- id2nodet
: instrumentert::cfg_visitort
- id_listt
: goto_program2codet
- id_mapt
: cpp_scopest
, java_string_library_preprocesst
, new_scopet
, smt2_parsert
- id_sett
: cpp_scopest
, cpp_scopet
- id_type_mapt
: c_typecheck_baset
- identifier_mapt
: smt2_convt
- identifierst
: base_type_eqt
- identifiert
: ansi_c_parsert
- idst
: class_hierarchy_grapht
, class_hierarchyt
- idt
: value_set_fit
, value_set_fivrnst
, value_set_fivrt
, value_sett
- implementst
: java_bytecode_parse_treet::classt
- implicit_generic_typest
: java_implicitly_generic_class_typet
- incoming_post
: instrumentert::cfg_visitort
- index_fieldt
: small_mapt< T, Ind, Num >
- index_listt
: designatort
- index_mapt
: arrayst
- index_sett
: arrayst
- ineq_sett
: invariant_sett
- inline_mapt
: goto_inlinet
- inner_mapt
: sparse_bitvector_analysist< V >
- innert
: d_internalt< keyT, valueT, equalT >
, sharing_mapt< keyT, valueT, hashT, equalT >
- input_entryt
: interpretert
- input_valuest
: interpretert
- instancest
: bmc_all_propertiest::goalt
, bmc_covert::goalt
- instantiation_stackt
: cpp_typecheckt
- instructionst
: goto_programt
, java_bytecode_convert_methodt
, java_bytecode_parse_treet::methodt
, java_bytecode_parsert
- instructiont
: assembler_parsert
, java_bytecode_convert_methodt
, java_bytecode_parsert
- int_mapt
: interval_domaint
- inverse_memory_mapt
: interpretert
- io_argst
: goto_trace_stept
- irep_storet
: merge_full_irept
, merge_irept
- ireps_on_readt
: irep_serializationt::ireps_containert
- ireps_on_writet
: irep_serializationt::ireps_containert
- is_threaded_sett
: is_threadedt
- itemst
: ansi_c_parse_treet
, cpp_linkage_spect
, cpp_namespace_spect
, cpp_parse_treet
, jsil_parse_treet
- iterator
: cfg_baset< T, P, I >::entry_mapt
, event_grapht::critical_cyclet
, expanding_vectort< T >
, fixed_keys_map_wrappert< mapt >
, guarded_range_domaint
, irep_hash_mapt< Key, T >
, range_domaint
, template_numberingt< Map >
, union_find< T >
, value_set_fit::object_map_dt
, value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
, value_sett::object_map_dt
- iterator_category
: depth_iterator_baset< depth_iterator_t >
, symbol_table_baset::iteratort
- iteratort
: sparse_vectort< T >