- i -
- id2node_pairt
: instrumentert::cfg_visitort
- id2nodet
: instrumentert::cfg_visitort
- id_containert
: xml_irep_convertt::ireps_containert
- id_listt
: goto_program2codet
- id_mapt
: cpp_scopest
, new_scopet
, var_mapt
- id_replace_mapt
: xml_irep_convertt::ireps_containert
- id_sett
: code_contractst
, cpp_scopest
, cpp_scopet
, dirtyt
, expr2cppt
, goto_program2codet
, linkingt
- id_type_mapt
: c_typecheck_baset
- identifier_mapt
: cvc_convt
, dplib_convt
, smt1_convt
, smt2_convt
- identifierst
: base_type_eqt
- identifiert
: ansi_c_parsert
- idst
: class_hierarchyt
- idt
: value_set_fit
, value_set_fivrnst
, value_set_fivrt
, value_sett
- implementst
: java_bytecode_parse_treet::classt
- incoming_post
: instrumentert::cfg_visitort
- index_listt
: designatort
- index_mapt
: arrayst
- index_sett
: arrayst
, path_symex_statet::var_statet
- index_value_mapt
: smt1_dect::valuet
- ineq_sett
: invariant_sett
- inline_mapt
: goto_inlinet
- inner_mapt
: sparse_bitvector_analysist< V >
- instanceof_instt
: remove_instanceoft
- instancest
: bmc_all_propertiest::goalt
, bmc_covert::goalt
- instantiation_stackt
: cpp_typecheckt
- instructionst
: goto_program_templatet< codeT, guardT >
, 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
- io_argst
: goto_trace_stept
- irep_id_sett
: goto_difft
- 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
: sorted_vector< K, bNoDuplicates, Pr, A >
, value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt