Here is a list of all class members with links to the classes they belong to:
- i -
- i_rdev
: inode
- id
: abstract_eventt
, ansi_c_languaget
, bdd_nodet
, cpp_languaget
, cpp_typecheck_resolvet::matcht
, datat
, event_grapht::critical_cyclet
, gdb_value_extractort::memory_scopet
, interpretert::function_assignmentt
, irept
, java_bytecode_languaget
, jsil_languaget
, json_symtab_languaget
, languaget
, new_scopet
, object_idt
, operator_entryt
, partial_order_concurrencyt
, saj_tablet
, statement_list_languaget
, taint_parse_treet::rulet
- id2cycloc
: instrumentert
- id2loc
: instrumentert
- id2node_pairt
: instrumentert::cfg_visitort
- id2nodet
: instrumentert::cfg_visitort
- id_class
: ansi_c_identifiert
, cpp_idt
- id_classt
: cpp_idt
- id_listt
: goto_program2codet
- id_map
: cpp_scopest
, new_scopet
, smt2_parsert
- id_maps
: java_string_library_preprocesst
- id_mapt
: cpp_scopest
, java_string_library_preprocesst
, new_scopet
, smt2_parsert
- id_nr
: bv_refinementt::approximationt
- id_sett
: cpp_scopest
, cpp_scopet
- id_shorthand()
: expr2ct
, expr2stlt
- id_string()
: irept
- id_type_mapt
: c_typecheck_baset
- identifier
: cpp_idt
, cpp_typecheckt::instantiationt
, reaching_definitiont
, value_set_fit::entryt
, value_set_fivrnst::entryt
, value_set_fivrt::entryt
, value_sett::entryt
- identifier_map
: smt2_convt
- identifier_mapt
: smt2_convt
- identifiers
: base_type_eqt
- identifierst
: base_type_eqt
- identifiert
: ansi_c_parsert
, identifiert
, smt2_convt::identifiert
- ids_from_indices()
: class_hierarchy_grapht
- idst
: class_hierarchy_grapht
, class_hierarchyt
- idt
: bdd_nodet
, smt2_parsert::idt
, value_set_fit
, value_set_fivrnst
, value_set_fivrt
- idx
: small_mapt< T, Ind, Num >::const_iterator
- ieee_equal()
: ieee_floatt
- ieee_float_equal_exprt()
: ieee_float_equal_exprt
- ieee_float_notequal_exprt()
: ieee_float_notequal_exprt
- ieee_float_op_exprt()
: ieee_float_op_exprt
- ieee_float_spect()
: ieee_float_spect
- ieee_floatt()
: ieee_floatt
- ieee_not_equal()
: ieee_floatt
- if_exprt()
: if_exprt
- ignore
: SSA_stept
- ignore_arrays
: event_grapht
- ignore_assertions
: goto_symext
- ignore_command()
: smt2_parsert
- ignore_manifest_main_class
: java_bytecode_language_optionst
- ignoring()
: prop_conv_solvert
- ii
: small_mapt< T, Ind, Num >::const_iterator
, small_mapt< T, Ind, Num >::const_value_iterator
- imag()
: complex_exprt
- impact_mode
: change_impactt
- implementationt
: forward_list_as_mapt< keyt, mappedt >
- implements
: java_bytecode_parse_treet::classt
- implements_function()
: java_string_library_preprocesst
- implements_java_char_sequence()
: java_string_library_preprocesst
- implements_java_char_sequence_pointer()
: java_string_library_preprocesst
- implementst
: java_bytecode_parse_treet::classt
- implicit_conversion_sequence()
: cpp_typecheckt
- implicit_generic_types()
: java_implicitly_generic_class_typet
- implicit_generic_typest
: java_implicitly_generic_class_typet
- implicit_typecast()
: c_typecastt
, c_typecheck_baset
, cpp_typecastt
, cpp_typecheckt
- implicit_typecast_arithmetic()
: c_typecastt
, c_typecheck_baset
, cpp_typecastt
- implicit_typecast_bool()
: c_typecheck_baset
- implicit_typecast_followed()
: c_typecastt
, cpp_typecastt
- implies()
: invariant_sett
- implies_exprt()
: implies_exprt
- implies_rec()
: invariant_sett
- in
: elf_readert
, graph_nodet< E >
, grapht< N >
, osx_mach_o_readert
, parsert
, preprocessort
, smt2_tokenizert
- in_alphabet()
: trace_automatont
- in_blacklisted_loop()
: complexity_limitert
- in_core
: satcheck_minisat1_coret
, satcheck_zcoret
- in_file
: goto_harness_parse_optionst::goto_harness_configt
- in_function_criteriont()
: in_function_criteriont
- in_interval_expr()
: character_refine_preprocesst
- in_list()
: goto_cc_cmdlinet
- in_list_expr()
: character_refine_preprocesst
- in_pos
: instrumentert::cfg_visitort
- in_progress
: language_modulet
- in_scc
: grapht< N >::tarjant
- in_use
: cpp_typecheck_fargst
- inc()
: bv_utilst
- inc_line_no()
: parsert
- include_array_size
: expr2c_configurationt
- include_comments
: json_irept
- include_compounds
: dump_c_configurationt
- include_files
: configt::ansi_ct
- include_function_bodies
: dump_c_configurationt
- include_function_decls
: dump_c_configurationt
- include_global_decls
: dump_c_configurationt
- include_global_vars
: dump_c_configurationt
- include_headers
: dump_c_configurationt
- include_paths
: configt::ansi_ct
, configt::verilogt
- include_pattern_filtert()
: include_pattern_filtert
- include_struct_padding_components
: expr2c_configurationt
- include_typedefs
: dump_c_configurationt
- included_prefixes
: prefix_filtert
- incoming_edges
: goto_programt::instructiont
- incoming_post
: instrumentert::cfg_visitort
- incorrect_goto_program_exceptiont()
: incorrect_goto_program_exceptiont
- incorrect_source_program_exceptiont()
: incorrect_source_program_exceptiont
- incr_loop_id
: symex_bmc_incremental_one_loopt
- incr_max_unwind
: symex_bmc_incremental_one_loopt
- incr_min_unwind
: symex_bmc_incremental_one_loopt
- increase_generation()
: symex_level2t
- increment()
: constant_interval_exprt
, ieee_floatt
- increment_designator()
: c_typecheck_baset
- increment_use_count()
: copy_on_write_pointeet< Num >
, small_shared_n_way_pointee_baset< N, Num >
, small_shared_pointeet< Num >
- incremental_cache
: arrayst
- incremental_goto_checker
: all_properties_verifier_with_fault_localizationt< incremental_goto_checkerT >
, all_properties_verifier_with_trace_storaget< incremental_goto_checkerT >
, all_properties_verifiert< incremental_goto_checkerT >
, cover_goals_verifier_with_trace_storaget< incremental_goto_checkerT >
, stop_on_fail_verifier_with_fault_localizationt< incremental_goto_checkerT >
, stop_on_fail_verifiert< incremental_goto_checkerT >
- incremental_goto_checkert()
: incremental_goto_checkert
- incrementer()
: bv_utilst
- IND
: small_mapt< T, Ind, Num >
- ind
: small_mapt< T, Ind, Num >
- indent()
: dump_ct
, json_streamt
- indent_str()
: expr2ct
- index
: __CPROVER_jsa_iterator
, acceleration_utilst::polynomial_array_assignmentt
, bdd_nodet
, check_call_sequencet::statet
, cmdlinet::option_namest::option_names_iteratort
, designatort::entryt
, extractbit_exprt
, format_specifiert
, index_designatort
, index_exprt
, java_bytecode_parse_treet::methodt::local_variablet
, polynomial_acceleratort::polynomial_array_assignment
, string_dependenciest::builtin_function_nodet
, string_dependenciest::nodet
, string_dependenciest::string_nodet
- index_designatort()
: index_designatort
- index_exprt()
: index_exprt
- index_fieldt
: small_mapt< T, Ind, Num >
- index_is_set()
: dense_integer_mapt< K, V, KeyToDenseInteger >
- index_list
: designatort
- index_listt
: designatort
- index_map
: arrayst
- index_mapt
: arrayst
- index_sets
: string_refinementt
- index_sett
: arrayst
- index_to_bdd
: bdd_managert
- index_to_block
: cover_basic_blocks_javat
- index_type
: java_string_library_preprocesst
- indext
: bdd_nodet
- indicator_mask()
: small_mapt< T, Ind, Num >
- ineq_sett
: invariant_sett
- infinity
: float_bvt::unpacked_floatt
, float_utilst::unpacked_floatt
- infinity_exprt()
: infinity_exprt
- infinity_flag
: ieee_floatt
- inherited_componentt()
: resolve_inherited_componentt::inherited_componentt
- init()
: code_fort
- INIT
: satcheck_zchaff_baset
- init()
: transt
- init_args()
: cpp_declaratort
- init_nta()
: trace_automatont
- init_state
: automatont
, trace_automatont
- init_system_library_map()
: system_library_symbolst
- initial_equation_generated
: single_loop_incremental_symex_checkert
- initial_filtering()
: event_grapht::graph_conc_explorert
- initial_goto_location_line
: memory_snapshot_harness_generatort
- initial_source_location_line
: memory_snapshot_harness_generatort
- initial_state()
: nfat< T >
- initialise()
: cfg_dominators_templatet< P, T, post_dom >
- initialization
: string_abstractiont
- initialization_config
: recursive_initializationt
- initialize()
: ai_baset
, bv_refinementt
, custom_bitvector_analysist
, dependence_grapht
, domain_baset
, escape_analysist
, flow_insensitive_abstract_domain_baset
, flow_insensitive_analysis_baset
, global_may_alias_analysist
, interpretert
, invariant_propagationt
, lazy_goto_modelt
, reaching_definitions_analysist
, recursive_initializationt
, static_analysis_baset
, value_set_analysis_fit
, value_set_analysis_fivrnst
, value_set_analysis_fivrt
, value_set_domain_fit
, value_set_domain_fivrnst
, value_set_domain_fivrt
, value_set_domain_templatet< VST >
- initialize_auto_object()
: goto_symext
- initialize_bit_expression()
: statement_list_typecheckt
- initialize_class_loader()
: java_bytecode_languaget
- initialize_conversion_table()
: character_refine_preprocesst
, java_string_library_preprocesst
- initialize_entry_point_state()
: goto_symext
- initialize_entry_via_goto()
: memory_snapshot_harness_generatort
- initialize_entry_via_source()
: memory_snapshot_harness_generatort
- initialize_file_index()
: jar_filet
- initialize_instantiated_classes()
: ci_lazy_methodst
- initialize_instantiated_classes_from_pointer()
: ci_lazy_methods_neededt
- initialize_known_type_table()
: java_string_library_preprocesst
- initialize_path_storage_from_entry_point_of()
: goto_symext
- initialize_selected_member()
: recursive_initializationt
- initialize_source_location()
: cover_instrumenter_baset
- initialize_worklist()
: single_path_symex_only_checkert
- initialized
: dirtyt
, flow_insensitive_analysis_baset
, interpretert::memory_cellt
, lazy_class_to_declared_symbols_mapt
, static_analysis_baset
- initializedt
: interpretert::memory_cellt
- inline_log
: goto_inlinet
- inline_mapt
: goto_inlinet
- inner_mapt
: sparse_bitvector_analysist< V >
- inner_name
: java_bytecode_parse_treet::classt
- inner_symbol()
: replacement_predicatet
- innert
: d_internalt< keyT, valueT, equalT >
- input
: string_transformation_builtin_functiont
, symex_target_equationt
, symex_targett
- input1
: string_insertion_builtin_functiont
- input2
: string_insertion_builtin_functiont
- input_entryt
: interpretert
- input_valuest
: interpretert
- input_vars
: interpretert
- inputs()
: code_asm_gcct
, string_format_builtin_functiont
- insert()
: array_poolt
, cpp_scopet
- Insert()
: cpp_token_buffert
- insert()
: dense_integer_mapt< K, V, KeyToDenseInteger >
, generic_parameter_specialization_map_keyst
, generic_parameter_specialization_mapt
, goto_trace_storaget
, goto_unwindt::unwind_logt
, guarded_range_domaint
, irep_hash_mapt< Key, T >
, journalling_symbol_tablet
, json_objectt
, rename_symbolt
, replace_symbolt
, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
, source_linest
, static_analysis_baset
, symbol_table_baset
, symbol_table_buildert
, symbol_tablet
, symex_level1t
, unchecked_replace_symbolt
, value_set_fit
, value_set_fit::object_map_dt
, value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
, value_sett
- insert_accelerator()
: acceleratet
- insert_actiont
: value_sett
- insert_after()
: goto_programt
- insert_all()
: goto_trace_storaget
- insert_automaton()
: acceleratet
- insert_before()
: goto_programt
- insert_before_swap()
: goto_programt
- insert_cleanup()
: escape_analysist
- insert_entry()
: recursion_set_entryt
- insert_expr()
: rename_symbolt
- insert_final_assert_falset()
: insert_final_assert_falset
- insert_from()
: value_set_fivrnst
, value_set_fivrt
- insert_function_body()
: goto_inlinet
- insert_harness_function_into_goto_model()
: memory_snapshot_harness_generatort
- insert_instruction()
: loop_templatet< T >
- insert_local_static_decls()
: dump_ct
- insert_local_type_decls()
: dump_ct
- insert_looping_path()
: acceleratet
- insert_or_replace()
: symex_level1t
- insert_to()
: value_set_fivrnst
, value_set_fivrt
- insert_type()
: rename_symbolt
- inserted
: journalling_symbol_tablet
, memory_snapshot_harness_generatort::preordert< Key >
- inside_bit_string
: expr2stlt
- INST_INDEX
: java_bytecode_convert_methodt
- INST_INDEX_CONST
: java_bytecode_convert_methodt
- instances
: goto_symex_property_decidert::goalt
- instantiate_gcc_polymorphic_builtin()
: c_typecheck_baset
- instantiate_not_contains()
: string_refinementt
- instantiate_template()
: cpp_typecheckt
- instantiated_classes
: ci_lazy_methods_neededt
- instantiation_levelt()
: cpp_typecheckt::instantiation_levelt
- instantiation_stack
: cpp_typecheckt::instantiation_levelt
, cpp_typecheckt
, cpp_typecheckt::method_bodyt
- instantiation_stackt
: cpp_typecheckt
- instruction
: memory_snapshot_harness_generatort::source_location_matcht
- instruction_arguments
: require_parse_tree::expected_instructiont
- instruction_local_symbols
: goto_symext
- instruction_mnemoic
: require_parse_tree::expected_instructiont
- instruction_of()
: cover_basic_blocks_javat
, cover_basic_blockst
, cover_blocks_baset
- instruction_sizet
: java_bytecode_convert_methodt
- instructions
: assembler_parsert
, goto_programt
, java_bytecode_parse_treet::methodt
, statement_list_parse_treet::networkt
- instructions_equal()
: unified_difft
- instructionst
: goto_programt
, java_bytecode_convert_methodt
, java_bytecode_parse_treet::methodt
, statement_list_parse_treet
- instructiont
: assembler_parsert
, goto_programt::instructiont
, java_bytecode_convert_methodt
, java_bytecode_parsert
- instrument()
: concurrency_instrumentationt
, cover_assertion_instrumentert
, cover_branch_instrumentert
, cover_condition_instrumentert
, cover_cover_instrumentert
, cover_decision_instrumentert
, cover_instrumenter_baset
, cover_location_instrumentert
, cover_mcdc_instrumentert
, cover_path_instrumentert
, custom_bitvector_analysist
, escape_analysist
, string_instrumentationt
, taint_analysist
- instrument_all_inserter()
: instrumentert
- instrument_assigns_statement()
: code_contractst
- instrument_call_statement()
: code_contractst
- instrument_code()
: java_bytecode_instrumentt
- instrument_exception_handler()
: remove_exceptionst
- instrument_exceptions()
: remove_exceptionst
- instrument_expr()
: java_bytecode_instrumentt
- instrument_function_call()
: remove_exceptionst
- instrument_goto_program()
: goto_instrument_parse_optionst
- instrument_minimum_interference_inserter()
: instrumentert
- instrument_my_events()
: instrumentert
- instrument_my_events_inserter()
: instrumentert
- instrument_one_event_per_cycle_inserter()
: instrumentert
- instrument_one_read_per_cycle_inserter()
: instrumentert
- instrument_one_write_per_cycle_inserter()
: instrumentert
- instrument_throw()
: remove_exceptionst
- instrument_with_strategy()
: instrumentert
- instrumentation_resultt
: remove_exceptionst
- instrumentations
: shared_bufferst
- instrumenter
: instrumentert::cfg_visitort
- instrumenter_pensievet()
: instrumenter_pensievet
- instrumenters
: cover_instrumenterst
- instrumentert()
: instrumentert
- INT
: c_typecastt
- int16_cnt
: ansi_c_convert_typet
- int32_cnt
: ansi_c_convert_typet
- int64_cnt
: ansi_c_convert_typet
- int8_cnt
: ansi_c_convert_typet
- int_cnt
: ansi_c_convert_typet
- int_map
: interval_domaint
- int_mapt
: interval_domaint
- int_width
: configt::ansi_ct
- INTEGER
: c_typecastt
, java_bytecode_parse_treet::methodt::verification_type_infot
- integer_bits
: fixedbv_spect
- integer_bitvector_typet()
: integer_bitvector_typet
- integer_overflow_check()
: goto_checkt
- integer_typet()
: integer_typet
- integral_conversion()
: cpp_typecastt
- interfaces()
: jsil_languaget
, language_filest
, languaget
- internal
: goto_trace_stept
, location_sensitive_storaget
- internal_functions_filtert()
: internal_functions_filtert
- internal_goals_filtert()
: internal_goals_filtert
- internal_symbol_base_map
: symbol_tablet
- internal_symbol_module_map
: symbol_tablet
- internal_symbols
: symbol_tablet
- interpreter_testt
: interpretert
- interpretert()
: interpretert
- interrupt()
: satcheck_minisat2_baset< T >
- intersect_with()
: interval_templatet< T >
, jsil_union_typet
- intersection()
: invariant_sett
, unsigned_union_find
- interval_domaint()
: interval_domaint
- interval_sparse_arrayt()
: interval_sparse_arrayt
- interval_templatet()
: interval_templatet< T >
- interval_uniont()
: interval_uniont
- intervals
: interval_uniont
- intervalt
: interval_uniont
- inv_object_storet()
: inv_object_storet
- invalid_command_line_argument_exceptiont()
: invalid_command_line_argument_exceptiont
- invalid_object
: pointer_logict
- invalid_restriction_exceptiont()
: function_pointer_restrictionst::invalid_restriction_exceptiont
- invalid_source_file_exceptiont()
: invalid_source_file_exceptiont
- invalidate()
: goto_checkt
- invalidate_buffer()
: string_instrumentationt
- invar()
: transt
- invariant
: xml_graph_nodet
- invariant_failedt()
: invariant_failedt
- invariant_failure_containingt()
: invariant_failure_containingt
- invariant_propagationt()
: invariant_propagationt
, location_sensitive_storaget
- invariant_scope
: xml_graph_nodet
- invariant_set
: invariant_set_domaint
- invariant_set_domain_factoryt
: invariant_propagationt
, invariant_set_domain_factoryt
- invariant_set_domaint()
: invariant_set_domaint
- invariant_sett()
: invariant_sett
- invariant_with_diagnostics_failedt()
: invariant_with_diagnostics_failedt
- inverse_memory_map
: interpretert
- inverse_memory_mapt
: interpretert
- invert()
: literalt
, rationalt
- inverted()
: bv_utilst
- io_args
: goto_trace_stept
, SSA_stept
- io_argst
: goto_trace_stept
- io_count
: symex_target_equationt
- io_id
: goto_trace_stept
, SSA_stept
- ip
: invariant_set_domain_factoryt
- irep
: irep_hash_container_baset::irep_entryt
, irep_pretty_diagnosticst
- irep_entryt()
: irep_hash_container_baset::irep_entryt
- irep_full_hash_container
: irep_serializationt::ireps_containert
- irep_full_hash_containert()
: irep_full_hash_containert
- irep_hash_container_baset()
: irep_hash_container_baset
- irep_hash_containert()
: irep_hash_containert
- irep_pretty_diagnosticst()
: irep_pretty_diagnosticst
- irep_serializationt()
: irep_serializationt
- irep_store
: merge_full_irept
, merge_irept
- irep_storet
: merge_full_irept
, merge_irept
- ireps_container
: irep_serializationt
- ireps_on_read
: irep_serializationt::ireps_containert
- ireps_on_readt
: irep_serializationt::ireps_containert
- ireps_on_write
: irep_serializationt::ireps_containert
- ireps_on_writet
: irep_serializationt::ireps_containert
- irept()
: irept
- is_a_tty
: console_message_handlert
- is_abstract
: class_hierarchyt::entryt
, class_typet
, java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::methodt
- is_accepting()
: automatont
- is_all()
: cnft
- is_all_ones()
: bv_utilst
- is_always_simplified
: guard_bddt
, guard_exprt
- is_annotation
: java_bytecode_parse_treet::classt
- is_anonymous_class
: java_bytecode_parse_treet::classt
- is_array()
: jsont
- is_array_size_parameter()
: recursive_initializationt
- is_asm()
: cpp_storage_spect
- is_assert()
: goto_programt::instructiont
, goto_trace_stept
, SSA_stept
- is_assign()
: goto_programt::instructiont
- is_assignment()
: goto_trace_stept
, SSA_stept
- is_assume()
: goto_programt::instructiont
, goto_trace_stept
, SSA_stept
- is_at_least()
: gcc_versiont
, ms_cl_versiont
- is_atomic
: c_qualifierst
- is_atomic_begin()
: goto_programt::instructiont
, goto_trace_stept
, SSA_stept
- is_atomic_end()
: goto_programt::instructiont
, goto_trace_stept
, SSA_stept
- is_auto()
: cpp_storage_spect
- is_auxiliary
: symbolt
- is_backwards_goto()
: goto_programt::instructiont
- is_bitvector()
: constant_interval_exprt
- is_bitvector_type()
: simplify_exprt
- is_boolean()
: exprt
, jsont
- is_bot()
: constant_propagator_domaint::valuest
- is_bottom()
: ai_domain_baset
, constant_interval_exprt
, constant_propagator_domaint
, constant_propagator_domaint::valuest
, custom_bitvector_domaint
, dep_graph_domaint
, escape_domaint
, global_may_alias_domaint
, interval_domaint
, interval_templatet< T >
, invariant_set_domaint
, is_threaded_domaint
, rd_range_domaint
, uninitialized_domaint
- is_bound
: smt2_convt::identifiert
- is_bridge
: java_bytecode_parse_treet::methodt
- is_buffered()
: shared_bufferst
- is_buffered_in_general()
: shared_bufferst
- is_built_in()
: source_locationt
- is_catch()
: goto_programt::instructiont
- is_cfg_spurious()
: instrumentert
- is_char_type()
: string_abstractiont
- is_class()
: cpp_idt
, struct_typet
, struct_union_typet
- is_class_template()
: cpp_declarationt
- is_code
: cpp_declarator_convertert
- is_code_type()
: cpp_declarator_convertert
- is_comment()
: irept
- is_compiled()
: symbolt
- is_complement()
: bdd_nodet
- is_complete()
: array_typet
- is_complete_type()
: c_typecheck_baset
- is_const_expression()
: remove_const_function_pointerst
- is_const_type()
: remove_const_function_pointerst
- is_constant()
: bdd_nodet
, bv_utilst
, c_qualifierst
, constant_propagator_domaint::valuest
, constant_propagator_is_constantt
, exprt
, goto_symex_is_constantt
, inv_object_storet::entryt
, inv_object_storet
, is_constantt
, literalt
, mini_bddt
- is_constant_address()
: inv_object_storet
- is_constant_address_of()
: is_constantt
- is_constant_address_rec()
: inv_object_storet
- is_constraint()
: goto_trace_stept
, SSA_stept
- is_constructor()
: cpp_declarationt
, cpp_idt
- is_container()
: sharing_nodet< keyT, valueT, equalT >
- is_corresponding_fence()
: abstract_eventt
- is_cumul()
: abstract_eventt
- is_cycle()
: event_grapht::critical_cyclet
- is_dag()
: grapht< N >
- is_dead()
: goto_programt::instructiont
, goto_trace_stept
- is_decimal
: parse_floatt
- is_decl()
: goto_programt::instructiont
, goto_trace_stept
, SSA_stept
- is_declaration()
: cpp_itemt
- is_default()
: code_switch_caset
- is_defined_container()
: sharing_nodet< keyT, valueT, equalT >
- is_defined_internal()
: sharing_nodet< keyT, valueT, equalT >
- is_defined_leaf()
: sharing_nodet< keyT, valueT, equalT >
- is_definitely_false()
: constant_interval_exprt
- is_definitely_true()
: constant_interval_exprt
- is_derived()
: small_shared_n_way_pointee_baset< N, Num >
, small_shared_n_way_ptrt< Ts >
- is_destructor()
: cpp_declarationt
, cpp_namet
- is_direct()
: abstract_eventt
- is_dirty
: reaching_definitions_analysist
- is_divisible()
: field_sensitivityt
- is_double()
: ieee_floatt
- is_dynamic_heap()
: local_bitvector_analysist::flagst
- is_dynamic_local()
: local_bitvector_analysist::flagst
- is_dynamic_object()
: pointer_logict
- is_dynamic_object_exprt()
: is_dynamic_object_exprt
- is_eliminated()
: satcheck_glucose_simplifiert
, satcheck_minisat_simplifiert
- is_empty()
: constant_interval_exprt
, constant_propagator_domaint::valuest
, cpp_declarationt
, cpp_member_spect
, cpp_storage_spect
, interval_uniont
- is_end_function()
: goto_programt::instructiont
- is_end_thread()
: goto_programt::instructiont
- is_enum()
: cpp_idt
, java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::fieldt
- is_eq()
: invariant_sett
- is_equal()
: float_bvt
- is_error()
: main_function_resultt
- is_explicit()
: cpp_member_spect
- is_exported
: symbolt
- is_extern
: c_storage_spect
, cpp_storage_spect
, symbolt
- is_extreme()
: constant_interval_exprt
- is_false()
: bddt
, constant_interval_exprt
, exprt
, guard_bddt
, guard_exprt
, invariant_sett
, jsont
, literalt
, mini_bddt
, tvt
- is_fence()
: abstract_eventt
- is_file_local
: symbolt
- is_final
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::membert
- is_float()
: constant_interval_exprt
, ieee_floatt
, interval_domaint
, parse_floatt
- is_float128
: parse_floatt
- is_float128x
: parse_floatt
- is_float16
: parse_floatt
- is_float32
: parse_floatt
- is_float32x
: parse_floatt
- is_float64
: parse_floatt
- is_float64x
: parse_floatt
- is_float80
: parse_floatt
- is_format_specifier()
: format_elementt
- is_format_text()
: format_elementt
- is_friend
: cpp_declarator_convertert
, cpp_member_spect
- is_function()
: symbolt
- is_function_call()
: goto_programt::instructiont
, goto_trace_stept
, SSA_stept
- is_function_return()
: goto_trace_stept
, SSA_stept
- is_ge()
: invariant_sett
- is_global_scope()
: cpp_scopet
- is_goto()
: goto_programt::instructiont
, goto_trace_stept
, SSA_stept
- is_gt()
: invariant_sett
- is_hidden()
: goto_functiont
, symbolt
- is_ignored()
: goto_inlinet
- is_ignored_method()
: java_bytecode_convert_classt
- is_imaginary
: parse_floatt
- is_in_both_maps()
: sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt
- is_in_conflict()
: conflict_providert
, dimacs_cnft
, external_satt
, prop_conv_solvert
, propt
, satcheck_cadicalt
, satcheck_glucose_baset< T >
, satcheck_ipasirt
, satcheck_lingelingt
, satcheck_minisat1_baset
, satcheck_minisat2_baset< T >
, satcheck_picosatt
- is_in_core()
: qbf_bdd_coret
, qbf_qube_coret
, qbf_skizzo_coret
, qbf_squolem_coret
, qdimacs_coret
, satcheck_booleforce_coret
, satcheck_minisat1_coret
, satcheck_zcoret
- is_incomplete()
: array_typet
, c_enum_typet
, struct_union_typet
- is_incomplete_goto()
: goto_programt::instructiont
- is_infile_name
: goto_cc_cmdlinet::argt
- is_infinity()
: float_utilst
, ieee_floatt
- is_initialization_allowed()
: recursive_initializationt
- is_initialized()
: mini_bddt
- is_inline
: c_storage_spect
, cpp_member_spect
- is_inlined()
: goto_functiont
- is_inner_class
: java_bytecode_parse_treet::classt
- is_input()
: goto_trace_stept
, symbolt
- is_int()
: constant_interval_exprt
, interval_domaint
- is_int_min()
: bv_utilst
- is_integer_address()
: local_bitvector_analysist::flagst
- is_interface
: java_bytecode_parse_treet::classt
- is_internal()
: sharing_nodet< keyT, valueT, equalT >
- is_invalid_pointer_exprt()
: is_invalid_pointer_exprt
- is_java_char_array_pointer_type()
: java_string_library_preprocesst
- is_java_char_array_type()
: java_string_library_preprocesst
- is_java_char_sequence_pointer_type()
: java_string_library_preprocesst
- is_java_char_sequence_type()
: java_string_library_preprocesst
- is_java_string_buffer_pointer_type()
: java_string_library_preprocesst
- is_java_string_buffer_type()
: java_string_library_preprocesst
- is_java_string_builder_pointer_type()
: java_string_library_preprocesst
- is_java_string_builder_type()
: java_string_library_preprocesst
- is_java_string_pointer_type()
: java_string_library_preprocesst
- is_java_string_type()
: java_string_library_preprocesst
- is_known()
: tvt
- is_known_string_type()
: java_string_library_preprocesst
- is_KnR()
: code_typet
- is_le()
: invariant_sett
- is_leaf()
: sharing_nodet< keyT, valueT, equalT >
, structured_data_entryt
- is_less_than()
: interval_templatet< T >
- is_less_than_eq()
: interval_templatet< T >
- is_linear_arithmetic_expr()
: string_constraintt
- is_linkage_spec()
: cpp_itemt
- is_local()
: event_grapht
, localst
- is_location()
: goto_programt::instructiont
, goto_trace_stept
, SSA_stept
- is_long
: parse_floatt
- is_loop_header()
: loop_analysist< T >
- is_looping()
: all_paths_enumeratort
- is_lt()
: invariant_sett
- is_lvalue
: symbolt
- is_macro
: symbolt
- is_max()
: constant_interval_exprt
- is_member
: cpp_idt
- is_memory_barrier()
: goto_trace_stept
, SSA_stept
- is_method
: cpp_idt
- is_method_inherited()
: java_bytecode_convert_methodt
- is_min()
: constant_interval_exprt
- is_minus_inf()
: float_utilst
- is_mutable()
: cpp_storage_spect
- is_named_scope()
: new_scopet
- is_namespace()
: cpp_idt
- is_namespace_spec()
: cpp_itemt
- is_NaN()
: float_utilst
, ieee_floatt
- is_native
: java_bytecode_parse_treet::methodt
- is_ne()
: invariant_sett
- is_negative()
: constant_interval_exprt
, rationalt
- is_nil()
: irept
, lispexprt
- is_non_cover_assertion()
: cover_instrumenter_baset
- is_non_null_at_program_point()
: local_safe_pointerst
- is_nondet
: nondet_instruction_infot
- is_nondett
: nondet_instruction_infot
- is_noreturn
: c_qualifierst
- is_normal()
: float_utilst
, ieee_floatt
- is_not_nil()
: irept
- is_not_thin_air()
: event_grapht::critical_cyclet
- is_not_uniproc()
: event_grapht::critical_cyclet
- is_not_weak_uniproc()
: event_grapht::critical_cyclet
- is_not_zero()
: bv_utilst
- is_null()
: gdb_apit::memory_addresst
, jsont
, local_bitvector_analysist::flagst
- is_nullable
: nondet_instruction_infot
, recursive_initializationt::constructor_keyt
- is_nullablet
: nondet_instruction_infot
- is_number()
: jsont
- is_numeric()
: constant_interval_exprt
- is_numeric_type()
: c_typecheck_baset
- is_object()
: jsont
- is_object_bits_default
: configt::bv_encodingt
- is_one()
: bv_utilst
, exprt
, rationalt
- is_opaque_function_call()
: remove_calls_no_bodyt
- is_operator()
: cpp_namet
- is_other()
: goto_programt::instructiont
- is_output()
: goto_trace_stept
, SSA_stept
, symbolt
- is_overlay_method()
: java_bytecode_convert_classt
- is_parameter()
: java_bytecode_convert_methodt
, java_bytecode_convert_methodt::local_variable_with_holest
, java_bytecode_convert_methodt::variablet
, symbolt
- is_path_merge_history()
: local_control_flow_historyt< track_forward_jumps, track_backward_jumps >
- is_plus_inf()
: float_utilst
- is_po
: event_grapht::critical_cyclet::delayt
- is_pointer_primitive()
: goto_checkt
- is_positive()
: constant_interval_exprt
- is_predecessor_oft()
: is_predecessor_oft
- is_prefix_of()
: struct_typet
- is_private
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::membert
- is_property
: symbolt
- is_protected
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::membert
- is_ptr32
: c_qualifierst
- is_ptr64
: c_qualifierst
- is_ptr_string_struct()
: string_abstractiont
- is_public
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::membert
- is_qualified()
: cpp_namet
- is_quantified()
: qdimacs_cnft
- is_read_only_object()
: goto_symex_statet
- is_ready_to_decide()
: single_path_symex_checkert
, single_path_symex_only_checkert
- is_recursion
: framet::loop_infot
- is_reference
: expr2stlt
- is_register
: c_storage_spect
, cpp_storage_spect
- is_restricted
: c_qualifierst
- is_return()
: goto_programt::instructiont
- is_root
: clauset
, union_find< T >
, unsigned_union_find
- is_root_number()
: union_find< T >
- is_root_scope()
: cpp_scopet
- is_safe_dereference()
: local_safe_pointerst
- is_same_target()
: reachability_slicert
- is_same_type()
: small_shared_n_way_pointee_baset< N, Num >
, small_shared_n_way_ptrt< Ts >
- is_sanitizer()
: taint_parse_treet::rulet
- is_scope
: cpp_idt
- is_set
: boolbv_mapt::map_bitt
, optionst
- is_shareable()
: copy_on_write_pointeet< Num >
- is_shared()
: symbolt
- is_shared_read()
: goto_trace_stept
, SSA_stept
- is_shared_write()
: goto_trace_stept
, SSA_stept
- is_signed
: bv_spect
, constant_interval_exprt
- is_simple_name()
: cpp_namet
- is_simple_symbol_character()
: smt2_tokenizert
- is_single_value_interval()
: constant_interval_exprt
- is_sink()
: taint_parse_treet::rulet
- is_skip()
: goto_programt::instructiont
- is_source()
: taint_parse_treet::rulet
- is_spawn()
: goto_trace_stept
, SSA_stept
- is_start_thread()
: goto_programt::instructiont
- is_state_var
: symbolt
- is_static
: c_storage_spect
, cpp_storage_spect
, java_bytecode_parse_treet::membert
- is_static_assert()
: cpp_declarationt
, cpp_itemt
- is_static_class
: java_bytecode_parse_treet::classt
- is_static_lifetime()
: decorated_symbol_exprt
, local_bitvector_analysist::flagst
, symbolt
- is_static_member
: cpp_idt
- is_string()
: jsont
- is_string_type()
: string_instrumentationt
- is_subset_of()
: c_qualifierst
, java_qualifierst
, qualifierst
- is_subtype()
: jsil_union_typet
- is_success()
: main_function_resultt
- is_symbol_internal_symbol()
: system_library_symbolst
- is_synchronized
: java_bytecode_parse_treet::methodt
- is_synthetic
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::methodt
, java_method_typet
- is_target()
: goto_programt::instructiont
- is_template()
: cpp_declarationt
, cpp_declarator_convertert
, new_scopet
- is_template_parameter
: cpp_declarator_convertert
- is_template_scope()
: cpp_idt
- is_thread_local
: c_storage_spect
, cpp_storage_spect
, decorated_symbol_exprt
, symbolt
- is_threaded
: is_threaded_domaint
, reaching_definitions_analysist
- is_threaded_domaint()
: is_threaded_domaint
- is_threaded_set
: is_threadedt
- is_threaded_sett
: is_threadedt
- is_threadedt()
: is_threadedt
- is_throw()
: goto_programt::instructiont
- is_top()
: ai_domain_baset
, constant_interval_exprt
, constant_propagator_domaint
, constant_propagator_domaint::valuest
, custom_bitvector_domaint
, dep_graph_domaint
, escape_domaint
, global_may_alias_domaint
, interval_domaint
, interval_templatet< T >
, invariant_set_domaint
, is_threaded_domaint
, rd_range_domaint
, uninitialized_domaint
- is_tracked()
: escape_domaint
, local_bitvector_analysist
- is_transparent_union
: c_qualifierst
- is_true()
: bddt
, constant_interval_exprt
, exprt
, guard_bddt
, guard_exprt
, jsont
, literalt
, mini_bddt
, tvt
- is_type()
: new_scopet
, symbolt
- is_type_at_least_as_const_as()
: does_remove_constt
- is_type_compatible()
: remove_function_pointerst
- is_type_internal()
: system_library_symbolst
- is_typedef
: c_storage_spect
, cpp_declarationt
, cpp_declarator_convertert
, cpp_idt
- is_typename()
: cpp_namet
- is_unbounded_array()
: arrayst
, boolbvt
- is_underapproximate()
: acceleratet
- is_uninitialized()
: local_bitvector_analysist::flagst
- is_unknown()
: local_bitvector_analysist::flagst
, tvt
- is_unknown_handle()
: java_bytecode_parse_treet::classt::lambda_method_handlet
- is_unsafe()
: event_grapht::critical_cyclet
- is_unsafe_asm()
: event_grapht::critical_cyclet
- is_unsafe_fast()
: event_grapht::critical_cyclet
- is_unsigned()
: constant_interval_exprt
- is_used
: c_storage_spect
, postconditiont
- is_used_address_of()
: postconditiont
- is_uses_offset()
: local_bitvector_analysist::flagst
- is_using()
: cpp_itemt
- is_valid_at()
: value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
- is_valid_bound()
: constant_interval_exprt
- is_valid_index()
: cmdlinet::option_namest::option_names_iteratort
- is_valid_string_constraint()
: string_constraintt
- is_varargs
: java_bytecode_parse_treet::methodt
- is_violation
: xml_graph_nodet
- is_virtual()
: cpp_member_spect
- is_volatile
: c_qualifierst
, nondet_volatilet
, symbolt
- is_weak
: c_storage_spect
, cpp_storage_spect
, symbolt
- is_well_formed()
: constant_interval_exprt
, symbolt
- is_zero()
: bv_arithmetict
, bv_utilst
, constant_interval_exprt
, exprt
, fixedbvt
, float_bvt
, float_utilst
, ieee_floatt
, rationalt
- isAllocateExpr()
: Parser
- isConstructorDecl()
: Parser
- isfinite()
: float_bvt
- isfinite_exprt()
: isfinite_exprt
- isinf()
: float_bvt
- isinf_exprt()
: isinf_exprt
- islong
: cmdlinet::optiont
- isnan()
: float_bvt
- isnan_exprt()
: isnan_exprt
- isnormal()
: float_bvt
- isnormal_exprt()
: isnormal_exprt
- isolate()
: union_find< T >
, unsigned_union_find
- isPtrToMember()
: Parser
- isset()
: cmdlinet
, cmdlinet::optiont
- isTypeSpecifier()
: Parser
- it
: symbol_table_baset::iteratort
- italic
: messaget
- ITEM_NULL
: java_bytecode_parse_treet::methodt::verification_type_infot
- items
: ansi_c_parse_treet
, cpp_linkage_spect
, cpp_namespace_spect
, cpp_parse_treet
, jsil_parse_treet
- itemst
: ansi_c_parse_treet
, cpp_linkage_spect
, cpp_namespace_spect
, cpp_parse_treet
, jsil_parse_treet
- iter()
: code_fort
- iterate()
: sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
- iterations
: all_properties_verifier_with_fault_localizationt< incremental_goto_checkerT >
, all_properties_verifier_with_trace_storaget< incremental_goto_checkerT >
, all_properties_verifiert< incremental_goto_checkerT >
, cover_goals_verifier_with_trace_storaget< incremental_goto_checkerT >
, cover_goalst
, prop_minimizet
- 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
, 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
- iterator_category
: concat_iteratort< first_iteratort, second_iteratort >
, 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 >
- iterator_count
: __CPROVER_jsa_abstract_heap
- iterator_templatet()
: dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >
- iterators
: __CPROVER_jsa_abstract_heap
- iteratort
: sparse_vectort< T >
, symbol_table_baset::iteratort