- 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
• identifiert : ansi_c_parsert
• idst : class_hierarchy_grapht , class_hierarchyt
• idt : bdd_nodet , value_set_fit
• implementationt : forward_list_as_mapt< keyt, mappedt >
• implementst : java_bytecode_parse_treet::classt
• implicit_generic_typest : java_implicitly_generic_class_typet
• incoming_post : instrumentert::cfg_visitort
• incomingt : state_encodingt
• index_fieldt : small_mapt< T, Ind, Num >
• index_listt : designatort
• index_mapt : arrayst
• index_sett : arrayst
• indext : bdd_nodet
• ineq_sett : invariant_sett
• inline_mapt : goto_inlinet
• inner_mapt : sparse_bitvector_analysist< V >
• innert : d_internalt< keyT, valueT, equalT >
• input_entryt : interpretert
• input_valuest : interpretert
• instantiation_stackt : cpp_typecheckt
• instructionst : goto_programt , java_bytecode_convert_methodt , java_bytecode_parse_treet::methodt , statement_list_parse_treet
• instructiont : assembler_parsert , java_bytecode_convert_methodt , java_bytecode_parsert
• int_mapt : interval_domaint
• internal_abstract_object_pointert : abstract_objectt
• internal_sharing_ptrt : abstract_objectt
• interval_abstract_value_pointert : interval_evaluator
• intervalt : interval_uniont
• 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
• iterator : cfg_baset< T, P, I >::entry_mapt , dense_integer_mapt< K, V, KeyToDenseInteger > , event_grapht::critical_cyclet , expanding_vectort< T > , fixed_keys_map_wrappert< mapt > , forward_list_as_mapt< keyt, mappedt > , guarded_range_domaint , irep_hash_mapt< Key, T > , json_objectt , numberingt< keyt, hasht > , range_domaint , union_find< T, hasht > , value_set_fit::object_map_dt
• iterator_category : cmdlinet::option_namest::option_names_iteratort , concat_iteratort< first_iteratort, second_iteratort > , dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue > , depth_iterator_baset< depth_iterator_t > , filter_iteratort< iteratort > , map_iteratort< iteratort, outputt > , symbol_table_baset::iteratort , zip_iteratort< first_iteratort, second_iteratort, same_size >
• iteratort : sparse_vectort< T >