- i -
- i_rdev
: inode
- id
: abstract_eventt
, cpp_typecheck_resolvet::matcht
, datat
, event_grapht::critical_cyclet
, new_scopet
, object_idt
, operator_entryt
, saj_tablet
, taint_parse_treet::rulet
- id2cycloc
: instrumentert
- id2loc
: instrumentert
- id_class
: ansi_c_identifiert
, cpp_idt
- id_container
: xml_irep_convertt::ireps_containert
- id_map
: cpp_scopest
, new_scopet
, var_mapt
- id_nr
: bv_refinementt::approximationt
- id_replace_map
: xml_irep_convertt::ireps_containert
- identifier
: cpp_idt
, cpp_typecheckt::instantiationt
, goto_trace_stept
, interpretert::memory_cellt
, reaching_definitiont
, symex_target_equationt::SSA_stept
, value_set_fit::entryt
, value_set_fivrnst::entryt
, value_set_fivrt::entryt
, value_sett::entryt
- identifier_map
: cvc_convt
, dplib_convt
, smt1_convt
, smt2_convt
- identifiers
: base_type_eqt
- ifiter
: goto_convertt::guarded_gotot
- ignore
: symex_target_equationt::SSA_stept
- ignore_arrays
: event_grapht
- impact_mode
: change_impactt
- implements
: java_bytecode_parse_treet::classt
- in
: elf_readert
, graph_nodet< E >
, parsert
, preprocessort
, smt2_parsert
- in_both
: sharing_mapt< keyT, valueT, hashT, predT >::delta_view_itemt
- in_buffer
: filedescriptor_streambuft
- in_core
: satcheck_minisat1_coret
, satcheck_smvsat_coret
, satcheck_zcoret
- in_pos
: instrumentert::cfg_visitort
- in_progress
: language_modulet
- in_scc
: grapht< N >::tarjant
- in_use
: cpp_typecheck_fargst
- include_comments
: json_irept
- include_files
: configt::ansi_ct
- include_paths
: configt::ansi_ct
, configt::verilogt
- incoming_edges
: goto_program_templatet< codeT, guardT >::instructiont
- incremental_cache
: arrayst
- index
: __CPROVER_jsa_iterator
, acceleration_utilst::polynomial_array_assignmentt
, check_call_sequencet::statet
, designatort::entryt
, java_bytecode_parse_treet::methodt::local_variablet
, path_symex_step_reft
, polynomial_acceleratort::polynomial_array_assignment
- index_list
: designatort
- index_map
: arrayst
- index_set
: path_symex_statet::var_statet
, string_refinementt
- index_symbols
: string_constraint_generatort
- index_value_map
: smt1_dect::valuet
- infinity
: float_bvt::unpacked_floatt
, float_utilst::unpacked_floatt
- infinity_flag
: ieee_floatt
- init_state
: automatont
- initial_loop_bound
: string_refinementt
- initialization
: string_abstractiont
- initialized
: flow_insensitive_analysis_baset
, static_analysis_baset
- inline_log
: goto_inlinet
- inside_atomic_section
: path_symex_statet
- instances
: bmc_all_propertiest::goalt
, bmc_covert::goalt
- instantiation_stack
: cpp_typecheckt::instantiation_levelt
, cpp_typecheckt
, cpp_typecheckt::method_bodyt
- instruction
: mm_parsert
- instructions
: assembler_parsert
, goto_program_templatet< codeT, guardT >
, java_bytecode_parse_treet::methodt
- instrumentations
: shared_bufferst
- instrumenter
: fence_insertert
, instrumentert::cfg_visitort
- int128_cnt
: cpp_convert_typet
- int16_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- int32_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- int64_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- int8_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- int_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- int_map
: interval_domaint
- int_width
: configt::ansi_ct
- integer_bits
: fixedbv_spect
- interval_analysis
: static_analyzert
- invalid_counter
: value_set_dereferencet
- invalid_object
: pointer_logict
- invariant
: xml_graph_nodet
- invariant_scope
: xml_graph_nodet
- invariant_set
: invariant_set_domaint
- invisible_var
: fence_insertert
- io_args
: goto_trace_stept
, symex_target_equationt::SSA_stept
- io_id
: goto_trace_stept
, symex_target_equationt::SSA_stept
- irep_full_hash_container
: irep_serializationt::ireps_containert
- irep_store
: merge_full_irept
, merge_irept
- irepcache
: xml_symbol_convertt
- irepconverter
: xml_goto_program_convertt
, xml_symbol_convertt
- ireps_container
: irep_serializationt
, xml_goto_function_convertt
, xml_irep_convertt
- ireps_on_read
: irep_serializationt::ireps_containert
- ireps_on_write
: irep_serializationt::ireps_containert
- is_abstract
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::methodt
- is_atomic
: c_qualifierst
- is_auxiliary
: symbolt
- is_bottom
: constant_propagator_domaint::valuest
- is_code
: cpp_declarator_convertert
- is_constant
: c_qualifierst
, inv_object_storet::entryt
- is_constructor
: cpp_idt
- is_dirty
: reaching_definitions_analysist
- is_enum
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::fieldt
- is_exported
: symbolt
- is_extern
: c_storage_spect
, symbolt
- is_false
: invariant_sett
- is_file_local
: symbolt
- is_final
: java_bytecode_parse_treet::membert
- is_friend
: cpp_declarator_convertert
- is_infile_name
: goto_cc_cmdlinet::argt
- is_inline
: c_storage_spect
- is_input
: symbolt
- is_lvalue
: symbolt
- is_macro
: symbolt
- is_member
: cpp_idt
- is_method
: cpp_idt
- is_native
: java_bytecode_parse_treet::methodt
- is_noreturn
: c_qualifierst
- is_output
: symbolt
- is_parameter
: java_bytecode_convert_methodt::variablet
, symbolt
- is_po
: event_grapht::critical_cyclet::delayt
- is_private
: java_bytecode_parse_treet::membert
- is_property
: symbolt
- is_protected
: java_bytecode_parse_treet::membert
- is_ptr32
: c_qualifierst
- is_ptr64
: c_qualifierst
- is_public
: java_bytecode_parse_treet::membert
- is_recursion
: goto_symex_statet::framet::loop_infot
- is_register
: c_storage_spect
- is_restricted
: c_qualifierst
- is_root
: clauset
- is_scope
: cpp_idt
- is_set
: boolbv_mapt::map_bitt
, symex_targett::sourcet
- is_signed
: bv_spect
- is_state_var
: symbolt
- is_static
: c_storage_spect
, java_bytecode_parse_treet::membert
- is_static_lifetime
: symbolt
- is_static_member
: cpp_idt
- is_synchronized
: java_bytecode_parse_treet::methodt
- is_template
: cpp_declarator_convertert
- is_template_parameter
: cpp_declarator_convertert
- is_thread_local
: c_storage_spect
, symbolt
- is_threaded
: is_threaded_domaint
, reaching_definitions_analysist
- is_threaded_set
: is_threadedt
- is_transparent_union
: c_qualifierst
- is_type
: symbolt
- is_typedef
: c_storage_spect
, cpp_declarator_convertert
- is_violation
: xml_graph_nodet
- is_volatile
: c_qualifierst
, symbolt
- is_weak
: c_storage_spect
, symbolt
- islong
: cmdlinet::optiont
- isset
: cmdlinet::optiont
- items
: ansi_c_parse_treet
, cpp_parse_treet
, jsil_parse_treet
- iterator_count
: __CPROVER_jsa_abstract_heap
- iterators
: __CPROVER_jsa_abstract_heap