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
, bmc_covert
, cpp_languaget
, cpp_typecheck_resolvet::matcht
, datat
, event_grapht::critical_cyclet
, interpretert::function_assignmentt
, irept
, java_bytecode_languaget
, jsil_languaget
, languaget
, new_scopet
, object_idt
, operator_entryt
, partial_order_concurrencyt
, saj_tablet
, 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
- id_string()
: irept
- id_type_mapt
: c_typecheck_baset
- identifier
: cpp_idt
, cpp_typecheckt::instantiationt
, goto_trace_stept
, reaching_definitiont
, symex_target_equationt::SSA_stept
, 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()
: smt2_parsert::idt
, value_set_fit
, value_set_fivrnst
, value_set_fivrt
, value_sett
- 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
: symex_target_equationt::SSA_stept
, value_set_dereferencet::valuet
- ignore_arrays
: event_grapht
- ignore_command()
: smt2_parsert
- 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
- 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
- implied_guards()
: symex_slice_by_tracet
- implies()
: invariant_sett
- implies_exprt()
: implies_exprt
- implies_false()
: symex_slice_by_tracet
- implies_rec()
: invariant_sett
- in
: elf_readert
, graph_nodet< E >
, grapht< N >
, parsert
, preprocessort
- in_alphabet()
: trace_automatont
- in_both
: sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt
- in_core
: satcheck_minisat1_coret
, satcheck_zcoret
- 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_comments
: json_irept
- include_files
: configt::ansi_ct
- include_paths
: configt::ansi_ct
, configt::verilogt
- include_pattern_filtert()
: include_pattern_filtert
- incoming_edges
: goto_programt::instructiont
- incoming_post
: instrumentert::cfg_visitort
- incomplete_array_typet()
: incomplete_array_typet
- increase_counter()
: goto_symex_statet::renaming_levelt
- increment()
: ieee_floatt
- increment_designator()
: c_typecheck_baset
- increment_use_count()
: copy_on_write_pointeet< Num >
, small_shared_pointeet< Num >
, small_shared_two_way_pointeet< Num >
- incremental_cache
: arrayst
- 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
, check_call_sequencet::statet
, designatort::entryt
, extractbit_exprt
, index_designatort
, index_exprt
, java_bytecode_parse_treet::methodt::local_variablet
, polynomial_acceleratort::polynomial_array_assignment
, string_constraint_generatort::format_specifiert
, 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_list
: designatort
- index_listt
: designatort
- index_map
: arrayst
- index_mapt
: arrayst
- index_sets
: string_refinementt
- index_sett
: arrayst
- index_symbols
: string_constraint_generatort
- index_to_block
: cover_basic_blocks_javat
- index_type
: java_string_library_preprocesst
- 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_filtering()
: event_grapht::graph_conc_explorert
- initialise()
: cfg_dominators_templatet< P, T, post_dom >
- initialization
: string_abstractiont
- 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
, 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_conversion_table()
: character_refine_preprocesst
, java_string_library_preprocesst
- initialize_entry_point()
: goto_symext
- 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_property_map()
: property_checkert
- initialize_refined_string_type()
: java_string_library_preprocesst
- initialize_source_location()
: cover_instrumenter_baset
- initialized
: dirtyt
, flow_insensitive_analysis_baset
, interpretert::memory_cellt
, static_analysis_baset
- initializedt
: interpretert::memory_cellt
- inline_log
: goto_inlinet
- inline_mapt
: goto_inlinet
- inner_mapt
: sparse_bitvector_analysist< V >
- inner_symbol()
: replacement_predicatet
- innert
: d_internalt< keyT, valueT, equalT >
, sharing_mapt< keyT, valueT, hashT, 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
- insert()
: array_poolt
, cpp_scopet
- Insert()
: cpp_token_buffert
- insert()
: goto_unwindt::unwind_logt
, guarded_range_domaint
, irep_hash_mapt< Key, T >
, rename_symbolt
, replace_symbolt
, sharing_mapt< keyT, valueT, hashT, equalT >
, static_analysis_baset
, symbol_table_baset
, symbol_tablet
, value_set_fit
, value_set_fit::object_map_dt
, value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
, value_sett
, value_sett::object_map_dt
- insert_accelerator()
: acceleratet
- insert_after()
: goto_programt
- 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_from()
: value_set_fivrnst
, value_set_fivrt
- insert_function_body()
: goto_inlinet
- insert_local_static_decls()
: dump_ct
- insert_local_type_decls()
: dump_ct
- insert_looping_path()
: acceleratet
- insert_on_read()
: irep_serializationt
- insert_on_write()
: irep_serializationt
- insert_pairs()
: generic_parameter_specialization_map_keyst
- insert_pairs_for_pointer()
: generic_parameter_specialization_map_keyst
- insert_pairs_for_symbol()
: generic_parameter_specialization_map_keyst
- insert_to()
: value_set_fivrnst
, value_set_fivrt
- insert_type()
: rename_symbolt
- INST_INDEX
: java_bytecode_convert_methodt
- INST_INDEX_CONST
: java_bytecode_convert_methodt
- instances
: bmc_all_propertiest::goalt
, bmc_covert::goalt
- instancest
: bmc_all_propertiest::goalt
, bmc_covert::goalt
- 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
: mm_parsert
- instruction2cpp()
: mm2cppt
- instruction_arguments
: require_parse_tree::expected_instructiont
- 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
- instructions_equal()
: unified_difft
- instructionst
: goto_programt
, java_bytecode_convert_methodt
, java_bytecode_parse_treet::methodt
, java_bytecode_parsert
- 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_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
- instrumentations
: shared_bufferst
- instrumenter
: instrumentert::cfg_visitort
- instrumenter_pensievet()
: instrumenter_pensievet
- instrumenters
: cover_instrumenterst
- instrumentert()
: instrumentert
- INT
: c_typecastt
- 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_mapt
: interval_domaint
- int_of_hex_char()
: string_constraint_generatort
- int_width
: configt::ansi_ct
- INTEGER
: c_typecastt
, java_bytecode_parse_treet::methodt::verification_type_infot
- integer_bits
: fixedbv_spect
- integer_overflow_check()
: goto_checkt
- integer_typet()
: integer_typet
- integral_conversion()
: cpp_typecastt
- interface_type
: java_bytecode_parse_treet::classt::lambda_method_handlet
- interfaces()
: jsil_languaget
, language_filest
, languaget
- intern_of_string
: string_constraint_generatort
- internal
: goto_trace_stept
- 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
- 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 >
- inv_object_storet()
: inv_object_storet
- invalid_counter
: value_set_dereferencet
- invalid_object
: pointer_logict
- invalid_pointer()
: value_set_dereferencet
- invalidate()
: goto_checkt
- invalidate_buffer()
: string_instrumentationt
- invar()
: transt
- invariant
: xml_graph_nodet
- invariant_failedt()
: invariant_failedt
- invariant_propagationt()
: invariant_propagationt
- invariant_scope
: xml_graph_nodet
- invariant_set
: invariant_set_domaint
- invariant_set_domaint()
: invariant_set_domaint
- invariant_sett()
: invariant_sett
- inverse_memory_map
: interpretert
- inverse_memory_mapt
: interpretert
- invert()
: literalt
, rationalt
- inverted()
: bv_utilst
- io_args
: goto_trace_stept
, symex_target_equationt::SSA_stept
- io_argst
: goto_trace_stept
- io_id
: goto_trace_stept
, symex_target_equationt::SSA_stept
- irep
: 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_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::dt
, irept
- 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_annotation
: java_bytecode_parse_treet::classt
- is_anonymous_class
: java_bytecode_parse_treet::classt
- is_array()
: jsont
- is_array_constant()
: constant_propagator_domaint::valuest
- is_asm()
: cpp_storage_spect
- is_assert()
: goto_programt::instructiont
, goto_trace_stept
, symex_target_equationt::SSA_stept
- is_assign()
: goto_programt::instructiont
- is_assignment()
: goto_trace_stept
, symex_target_equationt::SSA_stept
- is_assume()
: goto_programt::instructiont
, goto_trace_stept
, symex_target_equationt::SSA_stept
- is_at_least()
: gcc_versiont
- is_atomic
: c_qualifierst
- is_atomic_begin()
: goto_programt::instructiont
, goto_trace_stept
, symex_target_equationt::SSA_stept
- is_atomic_end()
: goto_programt::instructiont
, goto_trace_stept
, symex_target_equationt::SSA_stept
- is_auto()
: cpp_storage_spect
- is_auxiliary
: symbolt
- is_backwards_goto()
: goto_programt::instructiont
- is_bitvector_type()
: simplify_exprt
- is_boolean()
: exprt
- is_bot()
: constant_propagator_domaint::valuest
- is_bottom()
: ai_domain_baset
, 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_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()
: class_typet
, cpp_idt
- is_class_template()
: cpp_declarationt
- is_code
: cpp_declarator_convertert
- is_code_type()
: cpp_declarator_convertert
- is_comment()
: irept
- 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()
: bv_utilst
, c_qualifierst
, constant_propagator_domaint::valuest
, exprt
, inv_object_storet::entryt
, inv_object_storet
, literalt
, mini_bddt
- is_constant_address()
: inv_object_storet
- is_constant_address_of()
: constant_propagator_domaint::valuest
- is_constant_address_rec()
: inv_object_storet
- is_constraint()
: goto_trace_stept
, symex_target_equationt::SSA_stept
- is_constructor()
: cpp_declarationt
, cpp_idt
- is_container()
: sharing_node_innert< 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
, symex_target_equationt::SSA_stept
- is_declaration()
: cpp_itemt
- is_default()
: code_switch_caset
- is_derived_u()
: small_shared_two_way_pointeet< Num >
, small_shared_two_way_ptrt< U, V >
- is_derived_v()
: small_shared_two_way_pointeet< Num >
, small_shared_two_way_ptrt< U, V >
- is_destructor()
: cpp_declarationt
, cpp_namet
- is_direct()
: abstract_eventt
- is_dirty
: reaching_definitions_analysist
- is_double()
: ieee_floatt
- is_dynamic_heap()
: local_bitvector_analysist::flagst
- is_dynamic_local()
: local_bitvector_analysist::flagst
- is_dynamic_object()
: pointer_logict
- is_eliminated()
: satcheck_glucose_simplifiert
, satcheck_minisat_simplifiert
- is_empty()
: constant_propagator_domaint::valuest
, cpp_declarationt
, cpp_member_spect
, cpp_storage_spect
- 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_false()
: 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()
: 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
, symex_target_equationt::SSA_stept
- is_function_return()
: goto_trace_stept
, symex_target_equationt::SSA_stept
- is_ge()
: invariant_sett
- is_global_scope()
: cpp_scopet
- is_goto()
: goto_programt::instructiont
, goto_trace_stept
, symex_target_equationt::SSA_stept
- is_gt()
: invariant_sett
- is_hidden()
: goto_functiont
- is_high_surrogate()
: string_constraint_generatort
- is_ignored()
: goto_inlinet
- is_ignored_method()
: java_bytecode_convert_classt
- is_imaginary
: parse_floatt
- is_in_conflict()
: dimacs_cnft
, prop_conv_solvert
, prop_convt
, 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
- is_incomplete_goto()
: goto_programt::instructiont
- is_index_member_symbol_if()
: goto_symext
- is_infile_name
: goto_cc_cmdlinet::argt
- is_infinity()
: float_utilst
, ieee_floatt
- 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()
: interval_domaint
- is_int_min()
: bv_utilst
- is_integer_address()
: local_bitvector_analysist::flagst
- is_interface
: java_bytecode_parse_treet::classt
- is_internal()
: sharing_node_innert< keyT, valueT, equalT >
- 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_linear_arithmetic_expr()
: string_constraintt
- is_linkage_spec()
: cpp_itemt
- is_local()
: event_grapht
, localst
- is_location()
: goto_programt::instructiont
, goto_trace_stept
, symex_target_equationt::SSA_stept
- is_long
: parse_floatt
- is_looping()
: all_paths_enumeratort
- is_low_surrogate()
: string_constraint_generatort
- is_lt()
: invariant_sett
- is_lvalue
: symbolt
- is_macro
: symbolt
- is_member
: cpp_idt
- is_memory_barrier()
: goto_trace_stept
, symex_target_equationt::SSA_stept
- is_method
: cpp_idt
- is_method_inherited()
: java_bytecode_convert_methodt
- 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()
: 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()
: jsont
, local_bitvector_analysist::flagst
- is_nullable
: nondet_instruction_infot
- is_nullablet
: nondet_instruction_infot
- is_number()
: jsont
- 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
, symbolt
, symex_target_equationt::SSA_stept
- 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_plus_inf()
: float_utilst
- is_po
: event_grapht::critical_cyclet::delayt
- is_predecessor_oft()
: is_predecessor_oft
- is_prefix_of()
: struct_typet
- is_private
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::membert
- is_procedure_local()
: symbolt
- 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_recursion
: goto_symex_statet::framet::loop_infot
- 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_type()
: small_shared_two_way_pointeet< Num >
, small_shared_two_way_ptrt< U, V >
- is_sanitizer()
: taint_parse_treet::rulet
- is_scope
: cpp_idt
- is_set
: boolbv_mapt::map_bitt
, optionst
, symex_targett::sourcet
- is_shareable()
: copy_on_write_pointeet< Num >
- is_shared()
: symbolt
- is_shared_read()
: goto_trace_stept
, symex_target_equationt::SSA_stept
- is_shared_write()
: goto_trace_stept
, symex_target_equationt::SSA_stept
- is_signed
: bv_spect
- is_simple_name()
: cpp_namet
- is_simple_symbol_character()
: smt2_tokenizert
- is_sink()
: taint_parse_treet::rulet
- is_skip()
: goto_programt::instructiont
- is_source()
: taint_parse_treet::rulet
- is_spawn()
: goto_trace_stept
, symex_target_equationt::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_symbol_opaque_function()
: languaget
- is_synchronized
: java_bytecode_parse_treet::methodt
- is_synthetic
: java_bytecode_parse_treet::classt
- is_target()
: goto_programt::instructiont
- is_template()
: cpp_declarationt
, cpp_declarator_convertert
, new_scopet
- is_template_parameter
: cpp_declarator_convertert
- is_template_scope()
: cpp_scopet
- 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_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()
: 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_used
: c_storage_spect
, postconditiont
- is_used_address_of()
: postconditiont
- is_uses_offset()
: local_bitvector_analysist::flagst
- is_using()
: cpp_itemt
- is_valid()
: resolve_inherited_componentt::inherited_componentt
- is_valid_at()
: value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
- is_valid_object()
: goto_program_dereferencet
- is_valid_strategy()
: path_strategy_choosert
- is_valid_string_constraint()
: string_constraintt
- is_violation
: xml_graph_nodet
- is_virtual()
: cpp_member_spect
- is_volatile
: c_qualifierst
, symbolt
- is_weak
: c_storage_spect
, symbolt
- is_zero()
: bv_arithmetict
, bv_utilst
, 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
: depth_iterator_expr_statet
, symbol_table_baset::iteratort
- 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, hashT, equalT >
- iterations()
: cover_goalst
, prop_minimizet
- iterator
: cfg_baset< T, P, I >::entry_mapt
, event_grapht::critical_cyclet
, expanding_vectort< T >
, fixed_keys_map_wrappert< mapt >
, guarded_range_domaint
, irep_hash_mapt< Key, T >
, 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
, value_sett::object_map_dt
- iterator_category
: depth_iterator_baset< depth_iterator_t >
, symbol_table_baset::iteratort
- iterator_count
: __CPROVER_jsa_abstract_heap
- iterators
: __CPROVER_jsa_abstract_heap
- iteratort
: sparse_vectort< T >
, symbol_table_baset::iteratort