- i -

• id() : ansi_c_languaget , bdd_nodet , cpp_languaget , gdb_value_extractort::memory_scopet , irept , java_bytecode_languaget , json_symtab_languaget , languaget , partial_order_concurrencyt , statement_list_languaget
• id_shorthand() : expr2ct , expr2stlt
• id_string() : irept
• identifier() : smt_array_theoryt::selectt , smt_array_theoryt::storet , smt_bit_vector_theoryt::addt , smt_bit_vector_theoryt::andt , smt_bit_vector_theoryt::arithmetic_shift_rightt , smt_bit_vector_theoryt::comparet , smt_bit_vector_theoryt::concatt , smt_bit_vector_theoryt::extractt , smt_bit_vector_theoryt::logical_shift_rightt , smt_bit_vector_theoryt::multiplyt , smt_bit_vector_theoryt::nandt , smt_bit_vector_theoryt::negatet , smt_bit_vector_theoryt::nort , smt_bit_vector_theoryt::nott , smt_bit_vector_theoryt::ort , smt_bit_vector_theoryt::repeatt , smt_bit_vector_theoryt::rotate_leftt , smt_bit_vector_theoryt::rotate_rightt , smt_bit_vector_theoryt::shift_leftt , smt_bit_vector_theoryt::sign_extendt , smt_bit_vector_theoryt::signed_dividet , smt_bit_vector_theoryt::signed_greater_than_or_equalt , smt_bit_vector_theoryt::signed_greater_thant , smt_bit_vector_theoryt::signed_less_than_or_equalt , smt_bit_vector_theoryt::signed_less_thant , smt_bit_vector_theoryt::signed_remaindert , smt_bit_vector_theoryt::subtractt , smt_bit_vector_theoryt::unsigned_dividet , smt_bit_vector_theoryt::unsigned_greater_than_or_equalt , smt_bit_vector_theoryt::unsigned_greater_thant , smt_bit_vector_theoryt::unsigned_less_than_or_equalt , smt_bit_vector_theoryt::unsigned_less_thant , smt_bit_vector_theoryt::unsigned_remaindert , smt_bit_vector_theoryt::xnort , smt_bit_vector_theoryt::xort , smt_bit_vector_theoryt::zero_extendt , smt_command_functiont , smt_core_theoryt::andt , smt_core_theoryt::distinctt , smt_core_theoryt::equalt , smt_core_theoryt::if_then_elset , smt_core_theoryt::impliest , smt_core_theoryt::nott , smt_core_theoryt::ort , smt_core_theoryt::xort , smt_declare_function_commandt , smt_define_function_commandt , smt_identifier_termt , smt_symbol_indext
• identifiert() : identifiert , smt2_convt::identifiert
• ids_and_types() : smt2_parsert::signature_with_parameter_idst
• ids_from_indices() : class_hierarchy_grapht
• idt() : smt2_parsert::idt
• 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_command() : smt2_parsert
• ignore_function_call_transform() : variable_sensitivity_domaint
• ignoring() : prop_conv_solvert
• imag() : complex_exprt
• implements_function() : java_string_library_preprocesst
• implements_java_char_sequence() : java_string_library_preprocesst
• implements_java_char_sequence_pointer() : java_string_library_preprocesst
• implicationt() : framet::implicationt
• implicit_conversion_sequence() : cpp_typecheckt
• implicit_generic_types() : 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() : grapht< N >
• in_alphabet() : trace_automatont
• in_blacklisted_loop() : complexity_limitert
• in_function_criteriont() : in_function_criteriont
• in_interval_expr() : character_refine_preprocesst
• in_list() : goto_cc_cmdlinet
• in_list_expr() : character_refine_preprocesst
• in_state_expr() : state_encodingt
• inc() : bv_utilst
• inc_line_no() : parsert
• include_pattern_filtert() : include_pattern_filtert
• inclusion_check_assertion() : instrument_spec_assignst
• inclusion_check_full() : instrument_spec_assignst
• inclusion_check_single() : instrument_spec_assignst
• incoming_symbols() : state_encodingt
• incorrect_goto_program_exceptiont() : incorrect_goto_program_exceptiont
• 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_goto_checkert() : incremental_goto_checkert
• incrementer() : bv_utilst
• indent() : dump_ct
• indent_str() : expr2ct
• indeterminate_index_ranget() : indeterminate_index_ranget
• index() : bdd_nodet , element_address_exprt , extractbit_exprt , extractbits_exprt , index_designatort , index_exprt , update_bit_exprt , update_bits_exprt
• index_designatort() : index_designatort
• index_exprt() : index_exprt
• index_is_set() : dense_integer_mapt< K, V, KeyToDenseInteger >
• index_range() : abstract_value_objectt
• index_range_implementation() : abstract_value_objectt , constant_abstract_valuet , interval_abstract_valuet , value_set_abstract_objectt
• index_range_iteratort() : index_range_iteratort
• index_ranget() : index_ranget
• index_sort() : smt_array_sortt
• index_type() : array_typet , vector_typet
• index_type_nonconst() : array_typet , vector_typet
• indicator_mask() : small_mapt< T, Ind, Num >
• indices() : shuffle_vector_exprt , smt_bit_vector_theoryt::extractt , smt_bit_vector_theoryt::repeatt , smt_bit_vector_theoryt::rotate_leftt , smt_bit_vector_theoryt::rotate_rightt , smt_bit_vector_theoryt::sign_extendt , smt_bit_vector_theoryt::zero_extendt , smt_function_application_termt , smt_identifier_termt
• inductive() : inductiveness_resultt
• inductiveness_resultt() : inductiveness_resultt
• infinity_exprt() : infinity_exprt
• inherited_componentt() : resolve_inherited_componentt::inherited_componentt
• inhibit_front_end_builtins() : dfcc_libraryt
• init() : code_fort , consolet , transt
• init_args() : cpp_declaratort
• init_candidates() : enumerative_loop_contracts_synthesizert
• init_nta() : trace_automatont
• init_state() : trace_automatont
• init_system_library_map() : system_library_symbolst
• initial_filtering() : event_grapht::graph_conc_explorert
• initial_state() : axiomst , nfat< T >
• initial_state_exprt() : initial_state_exprt
• initial_value() : code_frontend_declt
• initialise() : cfg_dominators_templatet< P, T, post_dom >
• initialize() : ai_baset , bv_refinementt , custom_bitvector_analysist , dependence_grapht , 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 , value_set_analysis_fit , value_set_domain_fit , variable_sensitivity_dependence_grapht
• initialize_array_elements() : smt2_incremental_decision_proceduret
• 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 , scratch_program_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_shadow_memory() : shadow_memoryt
• initialize_source_location() : cover_instrumenter_baset
• initialize_worklist() : single_path_symex_only_checkert
• inline_and_check_warnings() : dfcc_contract_clauses_codegent
• inline_function() : dfcc_utilst
• inline_functions() : dfcc_libraryt
• inline_program() : dfcc_utilst
• inlining_decoratort() : inlining_decoratort
• inner_symbol() : replacement_predicatet
• input() : symex_target_equationt , symex_targett
• inputs() : code_asm_gcct
• insert() : abstract_object_sett , 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 , symbol_table_baset , symbol_table_buildert , symbol_tablet , symex_level1t , unchecked_replace_symbolt , value_set_fit , value_set_fit::object_map_dt , value_sett
• insert_accelerator() : acceleratet
• insert_add_decl_call() : dfcc_instrumentt
• 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_data_deps() : data_dependency_contextt
• insert_entry() : recursion_set_entryt
• insert_expr() : rename_symbolt
• insert_final_assert_falset() : insert_final_assert_falset
• insert_function_body() : goto_inlinet
• insert_harness_function_into_goto_model() : memory_snapshot_harness_generatort
• insert_instruction() : loop_templatet< T, C >
• insert_local_static_decls() : dump_ct
• insert_local_type_decls() : dump_ct
• insert_looping_path() : acceleratet
• insert_or_replace() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT > , symex_level1t
• insert_record_dead_call() : dfcc_instrumentt
• insert_type() : rename_symbolt
• insert_view_item() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• instantiate() : binary_functional_enumeratort , binding_exprt , non_leaf_enumeratort
• instantiate_gcc_polymorphic_builtin() : c_typecheck_baset
• instantiate_not_contains() : string_refinementt
• instantiate_template() : cpp_typecheckt
• instantiation_levelt() : cpp_typecheckt::instantiation_levelt
• instruction_of() : cover_basic_blocks_javat , cover_basic_blockst , cover_blocks_baset
• instructions_equal() : unified_difft
• instructiont() : goto_programt::instructiont
• instrument() : concurrency_instrumentationt , cover_assertion_instrumentert , cover_assume_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_assign() : dfcc_instrumentt
• instrument_assign_statement() : instrument_spec_assignst
• instrument_call_instruction() : dfcc_instrumentt
• instrument_call_statement() : instrument_spec_assignst
• instrument_code() : java_bytecode_instrumentt
• instrument_dead() : dfcc_instrumentt
• instrument_deallocate_call() : dfcc_instrumentt
• instrument_decl() : dfcc_instrumentt
• instrument_exception_handler() : remove_exceptionst
• instrument_exceptions() : remove_exceptionst
• instrument_expr() : java_bytecode_instrumentt
• instrument_fptr_call_instruction_dynamic_lookup() : dfcc_instrumentt
• instrument_function() : dfcc_instrumentt
• instrument_function_call() : dfcc_instrumentt , remove_exceptionst
• instrument_goto_function() : dfcc_instrumentt
• instrument_goto_program() : dfcc_instrumentt , goto_instrument_parse_optionst
• instrument_harness_function() : dfcc_instrumentt , dfcct
• instrument_instructions() : dfcc_instrumentt , instrument_spec_assignst
• instrument_lhs() : dfcc_instrumentt
• 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_other() : dfcc_instrumentt
• instrument_other_functions() : dfcct
• instrument_spec_assignst() : instrument_spec_assignst
• instrument_throw() : remove_exceptionst
• instrument_with_strategy() : instrumentert
• instrument_without_loop_contracts_check_no_pointer_contracts() : dfcc_contract_functionst
• instrument_wrapped_function() : dfcc_instrumentt
• instrumenter_pensievet() : instrumenter_pensievet
• instrumentert() : instrumentert
• integer_bitvector_typet() : integer_bitvector_typet
• integer_overflow_check() : goto_check_ct
• integer_typet() : integer_typet
• integral_conversion() : cpp_typecastt
• interfaces() : language_filest , languaget
• internal() : location_sensitive_storaget
• internal_equality() : abstract_objectt , constant_abstract_valuet , interval_abstract_valuet
• internal_hash() : abstract_objectt , constant_abstract_valuet , interval_abstract_valuet
• interpretert() : interpretert
• interrupt() : satcheck_minisat2_baset< T >
• intersect_with() : interval_templatet< T >
• intersection() : invariant_sett , unsigned_union_find
• interval_abstract_valuet() : interval_abstract_valuet
• interval_domaint() : interval_domaint
• interval_evaluator() : interval_evaluator
• interval_index_ranget() : interval_index_ranget
• interval_sparse_arrayt() : interval_sparse_arrayt
• interval_templatet() : interval_templatet< T >
• interval_uniont() : interval_uniont
• intervals() : vsd_configt
• inv_object_storet() : inv_object_storet
• invalid_command_line_argument_exceptiont() : invalid_command_line_argument_exceptiont
• invalid_function_contract_pair_exceptiont() : invalid_function_contract_pair_exceptiont
• invalid_input_exceptiont() : invalid_input_exceptiont
• invalid_restriction_exceptiont() : invalid_restriction_exceptiont
• invalid_source_file_exceptiont() : invalid_source_file_exceptiont
• invalidate() : goto_check_ct
• invalidate_buffer() : string_instrumentationt
• invalidate_car() : instrument_spec_assignst
• invalidate_heap_and_spec_aliases() : instrument_spec_assignst
• invalidate_stack_allocated() : instrument_spec_assignst
• invar() : transt
• invariant_failedt() : invariant_failedt
• invariant_failure_containingt() : invariant_failure_containingt
• invariant_propagationt() : invariant_propagationt
• invariant_set_domain_factoryt() : invariant_set_domain_factoryt
• invariant_set_domaint() : invariant_set_domaint
• invariant_sett() : invariant_sett
• invariant_with_diagnostics_failedt() : invariant_with_diagnostics_failedt
• invert() : literalt , rationalt
• inverted() : bv_utilst
• irep_entryt() : irep_hash_container_baset::irep_entryt
• 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
• irept() : irept , smt_check_sat_response_kindt , smt_commandt , smt_indext , smt_logict , smt_responset , smt_sortt
• is_abstract() : class_typet
• is_accepting() : automatont
• is_all() : cnft
• is_all_ones() : bv_utilst
• 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_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_backwards_goto() : goto_programt::instructiont
• is_bitvector() : constant_interval_exprt
• is_boolean() : exprt , jsont
• is_bot() : constant_propagator_domaint::valuest
• is_bottom() : abstract_environmentt , abstract_objectt , ai_domain_baset , constant_interval_exprt , constant_propagator_domaint , context_abstract_objectt , 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 , value_set_domain_templatet< VST > , variable_sensitivity_dependence_domaint , variable_sensitivity_domaint
• 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_type() : cpp_declarator_convertert
• is_comment() : irept
• is_commutative() : binary_functional_enumeratort
• is_compile_time_constantt() : is_compile_time_constantt
• 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 , can_forward_propagatet , constant_propagator_can_forward_propagatet , constant_propagator_domaint::valuest , exprt , goto_symex_can_forward_propagatet , havoc_utils_can_forward_propagatet , inv_object_storet , is_compile_time_constantt , literalt , mini_bddt
• is_constant_address() : inv_object_storet
• is_constant_address_of() : can_forward_propagatet , is_compile_time_constantt
• is_constant_address_rec() : inv_object_storet
• is_constant_value() : value_set_evaluator
• is_constraint() : goto_trace_stept , SSA_stept
• is_constructor() : cpp_declarationt
• is_container() : sharing_nodet< keyT, valueT, equalT >
• is_corresponding_fence() : abstract_eventt
• is_cstring_exprt() : is_cstring_exprt
• is_cstring_fc() : axiomst
• is_cumul() : abstract_eventt
• is_cycle() : event_grapht::critical_cyclet
• is_dag() : grapht< N >
• is_dead() : goto_programt::instructiont , goto_trace_stept
• is_dead_object_update() : dfcc_instrumentt
• 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_dfcc_library_symbol() : dfcc_libraryt
• is_direct() : abstract_eventt
• 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_dynamic_object_fc() : axiomst
• 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
• is_eq() : invariant_sett
• is_equal() : float_bvt
• is_equivalence_class_representation() : binary_functional_enumeratort , non_leaf_enumeratort
• is_error() : main_function_resultt
• is_explicit() : cpp_member_spect
• is_extern() : cpp_storage_spect
• is_extreme() : constant_interval_exprt
• is_false() : bddt , constant_interval_exprt , exprt , guard_bddt , guard_exprt , jsont , literalt , mini_bddt , tvt
• is_fence() : abstract_eventt
• is_float() : constant_interval_exprt , ieee_floatt , interval_domaint
• is_format_specifier() : format_elementt
• is_format_text() : format_elementt
• is_fresh_baset() : is_fresh_baset
• is_fresh_calls() : find_is_fresh_calls_visitort
• is_fresh_enforcet() : is_fresh_enforcet
• is_fresh_replacet() : is_fresh_replacet
• is_friend() : cpp_member_spect
• is_front_end_builtin() : dfcc_libraryt
• is_function() : c_declarationt , 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_goto_binary() : api_sessiont
• is_gt() : invariant_sett
• is_hidden() : goto_functiont
• is_ignored() : goto_inlinet
• is_ignored_method() : java_bytecode_convert_classt
• is_in_both_maps() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt
• is_in_bounds_of_some_explicit_allocation() : goto_check_ct
• is_in_conflict() : conflict_providert , dimacs_cnft , external_satt , prop_conv_solvert , propt , satcheck_cadical_baset , 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_infinity() : float_utilst , ieee_floatt
• is_initialization_allowed() : recursive_initializationt
• is_initialized() : mini_bddt
• is_inline() : cpp_member_spect
• is_input() : goto_trace_stept
• is_instruction_in_transformed_loop() : cegis_verifiert
• is_instruction_in_transformed_loop_condition() : cegis_verifiert
• is_int() : constant_interval_exprt , interval_domaint
• is_int_min() : bv_utilst
• is_integer_address() : local_bitvector_analysist::flagst
• is_internal() : sharing_nodet< keyT, valueT, equalT >
• is_internal_symbol() : dfcc_instrumentt
• 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_lifted_function() : dfcc_lift_memory_predicatest
• is_linear_arithmetic_expr() : string_constraintt
• is_linkage_spec() : cpp_itemt
• is_local() : cfg_infot , event_grapht , function_cfg_infot , goto_program_cfg_infot , localst , loop_cfg_infot
• is_local_composite_access() : cfg_infot
• is_location() : goto_programt::instructiont , goto_trace_stept , SSA_stept
• is_loop_header() : loop_analysist< T, C >
• is_looping() : all_paths_enumeratort
• is_lt() : invariant_sett
• is_lte() : instrument_spec_assignst::location_intervalt
• is_max() : constant_interval_exprt
• is_memory_barrier() : goto_trace_stept , SSA_stept
• 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_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_normal() : float_utilst , ieee_floatt
• is_not_local_or_dirty_local() : cfg_infot , function_cfg_infot , goto_program_cfg_infot , loop_cfg_infot
• 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_null_pointer() : constant_exprt
• is_number() : jsont
• is_numeric() : constant_interval_exprt
• is_numeric_type() : c_typecheck_baset
• is_object() : jsont
• 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
• is_overlay_method() : java_bytecode_convert_classt
• is_parameter() : java_bytecode_convert_methodt
• is_path_merge_history() : local_control_flow_historyt< track_forward_jumps, track_backward_jumps >
• is_plus_inf() : float_utilst
• is_positive() : constant_interval_exprt
• is_predecessor_oft() : is_predecessor_oft
• is_prefix_of() : struct_typet
• is_printable_xml() : xmlt
• is_ptr_string_struct() : string_abstractiont
• 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_register() : cpp_storage_spect
• is_root() : union_find< T, hasht > , unsigned_union_find
• is_root_number() : union_find< T, hasht >
• 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_sentinel_dll() : axiomst
• is_set() : optionst
• is_set_return_value() : goto_programt::instructiont
• 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() : constant_interval_exprt
• is_simple_name() : cpp_namet
• 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_static() : cpp_storage_spect
• is_static_assert() : cpp_declarationt , cpp_itemt
• is_static_lifetime() : decorated_symbol_exprt , local_bitvector_analysist::flagst
• is_storage_class() : mini_c_parsert
• is_string() : jsont
• is_string_type() : string_instrumentationt
• is_subset_of() : c_qualifierst , java_qualifierst
• is_success() : main_function_resultt
• is_symbol_internal_symbol() : system_library_symbolst
• is_synthetic() : java_method_typet
• is_target() : goto_programt::instructiont
• is_template() : cpp_declarationt , new_scopet
• is_template_scope() : cpp_idt
• is_terminal() : consolet
• is_thread_local() : cpp_storage_spect , decorated_symbol_exprt
• is_threaded_domaint() : is_threaded_domaint
• is_threadedt() : is_threadedt
• is_throw() : goto_programt::instructiont
• is_top() : abstract_environmentt , abstract_objectt , ai_domain_baset , constant_interval_exprt , constant_propagator_domaint , constant_propagator_domaint::valuest , context_abstract_objectt , 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 , value_set_domain_templatet< VST > , variable_sensitivity_dependence_domaint , variable_sensitivity_domaint
• is_top_level_id() : dfcc_cfg_infot
• is_top_value() : write_stackt
• is_tracked() : escape_domaint , local_bitvector_analysist
• is_true() : bddt , constant_interval_exprt , exprt , guard_bddt , guard_exprt , jsont , literalt , mini_bddt , tvt
• is_type() : new_scopet
• is_type_at_least_as_const_as() : does_remove_constt
• is_type_qualifier() : mini_c_parsert
• 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 , range_spect , 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() : postconditiont
• is_used_address_of() : postconditiont
• is_uses_offset() : local_bitvector_analysist::flagst
• is_using() : cpp_itemt
• is_valid_bound() : constant_interval_exprt
• is_valid_index() : cmdlinet::option_namest::option_names_iteratort
• is_valid_loop_id() : dfcc_cfg_infot
• is_valid_loop_or_top_level_id() : dfcc_cfg_infot
• is_valid_string_constraint() : string_constraintt
• is_virtual() : cpp_member_spect
• is_volatile() : nondet_volatilet
• is_weak() : cpp_storage_spect
• 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
• isnan() : float_bvt
• isnan_exprt() : isnan_exprt
• isnormal() : float_bvt
• isnormal_exprt() : isnormal_exprt
• isolate() : union_find< T, hasht > , unsigned_union_find
• isPtrToMember() : Parser
• isset() : cmdlinet
• isTypeSpecifier() : Parser
• items() : cpp_linkage_spect , cpp_namespace_spect
• iter() : code_fort
• iterate() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• iterations() : cover_goalst , prop_minimizet
• iterator_templatet() : dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >
• iteratort() : symbol_table_baset::iteratort