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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

- 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 >, const_post_depth_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 >