- i -
- id()
: ansi_c_languaget
, bmc_covert
, cpp_languaget
, irept
, java_bytecode_languaget
, jsil_languaget
, languaget
, partial_order_concurrencyt
- id_shorthand()
: expr2ct
- id_string()
: irept
- identifiert()
: cvc_convt::identifiert
, dplib_convt::identifiert
, identifiert
, smt1_convt::identifiert
, smt2_convt::identifiert
- 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()
: dump_ct
- ignoring()
: prop_conv_solvert
- imag()
: complex_exprt
- implicit_conversion_sequence()
: cpp_typecheckt
- 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
- import_freq()
: fence_insertert
- in()
: grapht< N >
- in_alphabet()
: trace_automatont
- in_core()
: decision_proceduret
- in_interval_expr()
: character_refine_preprocesst
- in_list()
: goto_cc_cmdlinet
- in_list_expr()
: character_refine_preprocesst
- inc()
: bv_utilst
- inc_line_no()
: parsert
- incomplete_array_typet()
: incomplete_array_typet
- increase()
: loc_reft
- increase_counter()
: goto_symex_statet::renaming_levelt
- increment()
: ieee_floatt
- increment_designator()
: c_typecheck_baset
- increment_ssa_counter()
: var_mapt::var_infot
- incrementer()
: bv_utilst
- indent()
: dump_ct
- indent_str()
: expr2ct
- index()
: extractbit_exprt
, index_designatort
, index_exprt
- index_designatort()
: index_designatort
- index_exprt()
: index_exprt
- index_of_int()
: refined_string_typet
- infinity_exprt()
: infinity_exprt
- init()
: code_fort
, transt
, var_mapt
- init_args()
: cpp_declaratort
- init_nta()
: trace_automatont
- init_state()
: trace_automatont
- init_system_library_map()
: dump_ct
- initial_filtering()
: event_grapht::graph_conc_explorert
- initial_index_set()
: string_refinementt
- initialise()
: cfg_dominators_templatet< P, T, post_dom >
- 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
, goto_symex_statet
, invariant_propagationt
, reaching_definitions_analysist
, static_analysis_baset
, value_set_analysis_fit
, value_set_analysis_fivrnst
, value_set_analysis_fivrt
, value_set_analysist
, value_set_domain_fit
, value_set_domain_fivrnst
, value_set_domain_fivrt
, value_set_domaint
- initialize_auto_object()
: goto_symext
- initialize_conversion_table()
: character_refine_preprocesst
- initialize_property_map()
: path_searcht
, property_checkert
- input()
: symex_target_equationt
, symex_targett
- insert()
: cpp_scopet
- Insert()
: cpp_token_buffert
- insert()
: goto_unwindt::unwind_logt
, rename_symbolt
, replace_symbolt
, sharing_mapt< keyT, valueT, hashT, predT >
, sorted_vector< K, bNoDuplicates, Pr, A >
, static_analysis_baset
, value_set_fit
, value_set_fivrnst::object_map_dt
, value_set_fivrt::object_map_dt
, value_sett
, xml_irep_convertt
- insert_accelerator()
: acceleratet
- insert_after()
: goto_program_templatet< codeT, guardT >
- insert_automaton()
: acceleratet
- insert_before()
: goto_program_templatet< codeT, guardT >
- insert_before_swap()
: goto_program_templatet< codeT, guardT >
- insert_cleanup()
: escape_analysist
- insert_expr()
: rename_symbolt
- insert_from()
: value_set_fivrnst
, value_set_fivrt
- insert_function_body()
: goto_inlinet
- insert_function_nobody()
: 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_to()
: value_set_fivrnst
, value_set_fivrt
- insert_type()
: rename_symbolt
- InsertImpl_()
: sorted_vector< K, bNoDuplicates, Pr, A >
- instantiate()
: string_refinementt
- instantiate_not_contains()
: string_refinementt
- instantiate_rec()
: path_symex_statet
- instantiate_rec_address()
: path_symex_statet
- instantiate_template()
: cpp_typecheckt
- instantiation_levelt()
: cpp_typecheckt::instantiation_levelt
- instruction2cpp()
: mm2cppt
- instructions_equal()
: unified_difft
- instructiont()
: goto_program_templatet< codeT, guardT >::instructiont
- instrument()
: concurrency_instrumentationt
, custom_bitvector_analysist
, escape_analysist
, string_instrumentationt
, taint_analysist
- instrument_all_inserter()
: instrumentert
- instrument_exception_handler()
: remove_exceptionst
- instrument_exceptions()
: remove_exceptionst
- instrument_function_call()
: remove_exceptionst
- instrument_goto_program()
: goto_fence_inserter_parse_optionst
, 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
- instrumenter_pensievet()
: instrumenter_pensievet
- instrumentert()
: instrumentert
- int_of_hex_char()
: string_constraint_generatort
- integer_overflow_check()
: goto_checkt
- integer_typet()
: integer_typet
- integral_conversion()
: cpp_typecastt
- interfaces()
: jsil_languaget
, language_filest
, languaget
- interpolate()
: satcheck_smvsat_interpolatort
- interpretert()
: interpretert
- intersect_with()
: interval_templatet< T >
, jsil_union_typet
- intersection()
: invariant_sett
, unsigned_union_find
- interval_domaint()
: interval_domaint
- interval_templatet()
: interval_templatet< T >
- inv_object_storet()
: inv_object_storet
- invalid_pointer()
: value_set_dereferencet
- invalidate()
: goto_checkt
- invalidate_buffer()
: string_instrumentationt
- invar()
: transt
- invariant_failedt()
: invariant_failedt
- invariant_propagationt()
: invariant_propagationt
- invariant_set_domaint()
: invariant_set_domaint
- invariant_sett()
: invariant_sett
- invert()
: literalt
, rationalt
- inverted()
: bv_utilst
- 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
- irept()
: irept
- is_accepting()
: automatont
- is_all()
: cnft
- is_all_ones()
: bv_utilst
- is_and()
: aig_nodet
- is_array()
: jsont
- is_array_constant()
: constant_propagator_domaint::valuest
- is_asm()
: cpp_storage_spect
- is_assert()
: goto_program_templatet< codeT, guardT >::instructiont
, goto_trace_stept
, symex_target_equationt::SSA_stept
- is_assign()
: goto_program_templatet< codeT, guardT >::instructiont
- is_assignment()
: goto_trace_stept
, symex_target_equationt::SSA_stept
- is_assume()
: goto_program_templatet< codeT, guardT >::instructiont
, goto_trace_stept
, symex_target_equationt::SSA_stept
- is_atomic_begin()
: goto_program_templatet< codeT, guardT >::instructiont
, goto_trace_stept
, symex_target_equationt::SSA_stept
- is_atomic_end()
: goto_program_templatet< codeT, guardT >::instructiont
, goto_trace_stept
, symex_target_equationt::SSA_stept
- is_auto()
: cpp_storage_spect
- is_backwards_goto()
: goto_program_templatet< codeT, guardT >::instructiont
- is_bitvector_type()
: simplify_exprt
- is_boolean()
: exprt
- is_bottom()
: interval_domaint
, interval_templatet< T >
- is_bp_call()
: goto_inlinet
- is_branch()
: path_symex_stept
- is_branch_not_taken()
: path_symex_stept
- is_branch_taken()
: path_symex_stept
- is_buffered()
: shared_bufferst
- is_buffered_in_general()
: shared_bufferst
- is_built_in()
: source_locationt
- is_c_string_type()
: refined_string_typet
- is_call()
: goto_inlinet
- is_catch()
: goto_program_templatet< codeT, guardT >::instructiont
- is_cfg_spurious()
: instrumentert
- is_char_type()
: string_abstractiont
- is_class()
: class_typet
, cpp_idt
- is_class_template()
: cpp_declarationt
- is_class_with_vt()
: java_bytecode_vtable_factoryt
- 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
, constant_propagator_domaint::valuest
, exprt
, 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
, java_bytecode_convert_methodt
- is_container()
: sharing_nodet< keyT, valueT, predT, no_sharing >
- is_corresponding_fence()
: abstract_eventt
- is_cumul()
: abstract_eventt
- is_cycle()
: event_grapht::critical_cyclet
- is_dag()
: grapht< N >
- is_dead()
: goto_program_templatet< codeT, guardT >::instructiont
, goto_trace_stept
- is_decl()
: goto_program_templatet< codeT, guardT >::instructiont
, goto_trace_stept
, symex_target_equationt::SSA_stept
- is_declaration()
: cpp_itemt
- is_default()
: code_switch_caset
- is_destructor()
: cpp_declarationt
, cpp_namet
- is_direct()
: abstract_eventt
- is_double()
: ieee_floatt
- is_dynamic_heap()
: local_bitvector_analysist::flagst
- is_dynamic_local()
: local_bitvector_analysist::flagst
- is_dynamic_object()
: pointer_logict
- is_elf_file()
: compilet
- is_eliminated()
: satcheck_glucose_simplifiert
, satcheck_minisat_simplifiert
- is_empty()
: cpp_declarationt
, cpp_member_spect
, cpp_storage_spect
, sharing_nodet< keyT, valueT, predT, no_sharing >
- is_end_function()
: goto_program_templatet< codeT, guardT >::instructiont
- is_end_thread()
: goto_program_templatet< codeT, guardT >::instructiont
- is_enum()
: cpp_idt
- is_eq()
: invariant_sett
- is_equal()
: float_bvt
- is_executable()
: path_symex_statet
- is_explicit()
: cpp_member_spect
- is_extern()
: cpp_storage_spect
- is_failure()
: path_searcht::property_entryt
- is_false()
: exprt
, jsont
, literalt
, mini_bddt
, tvt
- is_feasible()
: path_searcht
, path_symex_statet
- is_fence()
: abstract_eventt
- is_float()
: ieee_floatt
, interval_domaint
- is_friend()
: cpp_member_spect
- is_function_call()
: goto_program_templatet< codeT, guardT >::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_program_templatet< codeT, guardT >::instructiont
, goto_trace_stept
, symex_target_equationt::SSA_stept
- is_gt()
: invariant_sett
- is_hidden()
: goto_function_templatet< bodyT >
- is_high_surrogate()
: string_constraint_generatort
- is_ignored()
: goto_inlinet
- is_in_conflict()
: bv_refinementt
, prop_conv_solvert
, prop_convt
, propt
, satcheck_glucose_baset< T >
, 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_smvsat_coret
, satcheck_zcoret
- is_incomplete()
: array_typet
- is_index_member_symbol_if()
: goto_symext
- is_infinity()
: float_utilst
, ieee_floatt
- is_initialized()
: mini_bddt
- is_inline()
: cpp_member_spect
- is_inlined()
: goto_function_templatet< bodyT >
- is_input()
: goto_trace_stept
- is_int()
: interval_domaint
- is_int_min()
: bv_utilst
- is_integer_address()
: local_bitvector_analysist::flagst
- is_internal()
: sharing_nodet< keyT, valueT, predT, no_sharing >
- is_java_char_sequence_type()
: refined_string_typet
- is_java_string_builder_type()
: refined_string_typet
- is_java_string_pointer_type()
: refined_string_typet
- is_java_string_type()
: refined_string_typet
- is_known()
: tvt
- is_KnR()
: code_typet
- is_le()
: invariant_sett
- is_leaf()
: sharing_nodet< keyT, valueT, predT, no_sharing >::dt
, sharing_nodet< keyT, valueT, predT, no_sharing >
- is_linkage_spec()
: cpp_itemt
- is_local()
: event_grapht
, localst
- is_location()
: goto_program_templatet< codeT, guardT >::instructiont
, goto_trace_stept
, symex_target_equationt::SSA_stept
- is_looping()
: all_paths_enumeratort
- is_low_surrogate()
: string_constraint_generatort
- is_lt()
: invariant_sett
- is_memory_barrier()
: goto_trace_stept
, symex_target_equationt::SSA_stept
- is_minus_inf()
: float_utilst
- is_mutable()
: cpp_storage_spect
- is_name_equalt()
: is_name_equalt
- is_named_scope()
: new_scopet
- is_namespace()
: cpp_idt
- is_namespace_spec()
: cpp_itemt
- is_NaN()
: float_utilst
, ieee_floatt
- is_ne()
: invariant_sett
- is_negative()
: rationalt
- is_nil()
: irept
, lispexprt
, loc_reft
, path_symex_step_reft
- is_normal()
: float_utilst
, ieee_floatt
- is_not_nil()
: irept
- is_not_reached()
: path_searcht::property_entryt
- 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_number()
: jsont
- is_numeric_type()
: c_typecheck_baset
- is_object()
: jsont
- is_one()
: bv_utilst
, exprt
, rationalt
- is_operator()
: cpp_namet
- is_other()
: goto_program_templatet< codeT, guardT >::instructiont
- is_output()
: goto_trace_stept
, symex_target_equationt::SSA_stept
- is_plus_inf()
: float_utilst
- is_positive()
: string_refinementt
- is_predecessor_oft()
: is_predecessor_oft
- is_prefix_of()
: struct_typet
- is_procedure_local()
: symbolt
- is_ptr()
: bv_pointerst
- is_ptr_string_struct()
: string_abstractiont
- is_qualified()
: cpp_namet
- is_quantified()
: qdimacs_cnft
- is_register()
: cpp_storage_spect
- is_return()
: goto_program_templatet< codeT, guardT >::instructiont
- is_root()
: union_find< T >
, unsigned_union_find
- is_root_number()
: union_find< T >
- is_root_scope()
: cpp_scopet
- is_sanitizer()
: taint_parse_treet::rulet
- is_shared()
: symbolt
, var_mapt::var_infot
- is_shared_read()
: goto_trace_stept
, symex_target_equationt::SSA_stept
- is_shared_write()
: goto_trace_stept
, symex_target_equationt::SSA_stept
- is_simple_name()
: cpp_namet
- is_simple_symbol_character()
: smt2_parsert
- is_sink()
: taint_parse_treet::rulet
- is_skip()
: goto_program_templatet< codeT, guardT >::instructiont
- is_source()
: taint_parse_treet::rulet
- is_spawn()
: goto_trace_stept
, symex_target_equationt::SSA_stept
- is_start_thread()
: goto_program_templatet< codeT, guardT >::instructiont
- is_static()
: cpp_storage_spect
- is_static_assert()
: cpp_declarationt
, cpp_itemt
- is_static_lifetime()
: decorated_symbol_exprt
, local_bitvector_analysist::flagst
- is_string()
: jsont
- is_string_type()
: string_instrumentationt
- is_subset_of()
: c_qualifierst
- is_subtype()
: jsil_union_typet
- is_success()
: path_searcht::property_entryt
- is_symbol_member_index()
: path_symex_statet
- is_target()
: goto_program_templatet< codeT, guardT >::instructiont
- is_template()
: cpp_declarationt
, new_scopet
- is_template_scope()
: cpp_scopet
- is_thread_local()
: cpp_storage_spect
, decorated_symbol_exprt
- is_threaded_domaint()
: is_threaded_domaint
- is_threadedt()
: is_threadedt
- is_throw()
: goto_program_templatet< codeT, guardT >::instructiont
- is_top()
: interval_templatet< T >
- is_tracked()
: escape_domaint
, local_bitvector_analysist
- is_true()
: exprt
, jsont
, literalt
, mini_bddt
, tvt
- is_type()
: new_scopet
- is_type_at_least_as_const_as()
: does_remove_constt
- is_type_compatible()
: remove_function_pointerst
- is_typedef()
: cpp_declarationt
, 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_unrefined_string()
: refined_string_typet
- is_unrefined_string_type()
: refined_string_typet
- is_unsafe()
: event_grapht::critical_cyclet
- is_unsafe_asm()
: event_grapht::critical_cyclet
- is_unsafe_fast()
: event_grapht::critical_cyclet
- is_used()
: 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_object()
: goto_program_dereferencet
- is_var()
: aig_nodet
- is_virtual()
: cpp_member_spect
, java_bytecode_vtable_factoryt
- is_virtual_name_equalt()
: is_virtual_name_equalt
- is_volatile()
: fence_volatilet
- is_well_formed()
: sharing_nodet< keyT, valueT, predT, no_sharing >
- 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
- 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
- isTypeSpecifier()
: Parser
- IT()
: const_graph_visitort
- items()
: cpp_linkage_spect
, cpp_namespace_spect
- iter()
: code_fort
- iterations()
: cover_goalst
, prop_minimizet