Here is a list of all functions with links to the classes they belong to:

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

~

- 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_float_valuet
• 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_float_valuet() : ieee_float_valuet
• ieee_floatt() : ieee_floatt
• ieee_not_equal() : ieee_float_valuet
• 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
• includes() : range_typet
• 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_float_valuet
• 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() : cpp_token_buffert
• insert() : abstract_object_sett, array_poolt, cpp_scopet, 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_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_float_valuet
• 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_file() : output_filet
• is_float() : constant_interval_exprt, ieee_float_valuet, 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_float_valuet
• 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_float_valuet
• is_ne() : invariant_sett
• is_negative() : constant_interval_exprt, ieee_float_valuet, 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_float_valuet
• 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_float_valuet, 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