- g -

• gate_and() : cnft
• gate_equal() : cnft
• gate_implies() : cnft
• gate_nand() : cnft
• gate_nor() : cnft
• gate_or() : cnft
• gate_xor() : cnft
• gather_all() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• gather_array_accesses() : acceleration_utilst
• gather_array_assignments() : acceleration_utilst , polynomial_acceleratort
• gather_field_declarations() : shadow_memoryt
• gather_field_types() : ci_lazy_methods_neededt
• gather_global_typedefs() : dump_ct
• gather_indices() : string_constraintt
• gather_needed_globals() : ci_lazy_methodst
• gather_rvalues() : acceleration_utilst , cone_of_influencet
• gather_statistics() : abstract_environmentt
• gather_virtual_callsites() : ci_lazy_methodst
• gcc_asm_function_call() : remove_asmt
• gcc_cmdlinet() : gcc_cmdlinet
• gcc_hybrid_binary() : gcc_modet
• gcc_modet() : gcc_modet
• gcc_types_compatible_p() : c_typecheck_baset
• gcc_vector_types_compatible() : c_typecheck_baset
• gcc_versiont() : gcc_versiont
• gdb_apit() : gdb_apit
• gdb_interaction_exceptiont() : gdb_interaction_exceptiont
• gdb_value_extractort() : gdb_value_extractort
• gen() : rd_range_domaint
• gen_nondet_array_init() : symbol_factoryt
• gen_nondet_enum_init() : java_object_factoryt
• gen_nondet_init() : java_object_factoryt , symbol_factoryt
• gen_nondet_pointer_init() : java_object_factoryt
• gen_nondet_struct_init() : java_object_factoryt
• gen_nondet_subtype_pointer_init() : java_object_factoryt
• gen_pointer_target_init() : java_object_factoryt
• gen_spec_assigns_function() : dfcc_contract_functionst
• gen_spec_assigns_instructions() : dfcc_contract_clauses_codegent
• gen_spec_frees_function() : dfcc_contract_functionst
• gen_spec_frees_instructions() : dfcc_contract_clauses_codegent
• generate() : function_call_harness_generatort , function_call_harness_generatort::implt , goto_harness_generatort , memory_snapshot_harness_generatort
• generate_anon_tag() : cpp_enum_typet
• generate_conditional_branch() : goto_convertt
• generate_division_expression() : constant_interval_exprt
• generate_equation() : multi_path_symex_only_checkert
• generate_expression() : constant_interval_exprt
• generate_function_bodies_errort() : generate_function_bodies_errort
• generate_function_body() : generate_function_bodiest , janalyzer_parse_optionst , jbmc_parse_optionst
• generate_function_body_impl() : assert_false_generate_function_bodiest , assert_false_then_assume_false_generate_function_bodiest , assume_false_generate_function_bodiest , generate_function_bodiest , havoc_generate_function_bodiest
• generate_havoc_function() : dfcc_spec_functionst
• generate_havoc_instructions() : dfcc_spec_functionst
• generate_ifthenelse() : goto_convertt
• generate_initialisation_code_for() : function_call_harness_generatort::implt
• generate_modulo_expression() : constant_interval_exprt
• generate_nondet_globals() : function_call_harness_generatort::implt
• generate_parameter_names() : generate_function_bodiest
• generate_report() : symex_coveraget
• generate_shift_expression() : constant_interval_exprt
• generate_support_functions() : ansi_c_languaget , cpp_languaget , java_bytecode_languaget , json_symtab_languaget , language_filest , languaget , statement_list_languaget
• generate_thread_block() : goto_convertt
• generic_parameter_specialization_map_keyst() : generic_parameter_specialization_map_keyst
• generic_type_arguments() : java_generic_typet
• generic_type_index() : java_generic_struct_tag_typet
• generic_types() : java_generic_class_typet , java_generic_struct_tag_typet
• get() : boolbvt , decision_proceduret , dep_edget , expr_queryt< T > , float_bvt::rounding_mode_bitst , float_utilst , gcc_versiont , inv_object_storet , irept , lazy_class_to_declared_symbols_mapt , literalt , local_bitvector_analysist , local_may_alias_factoryt , local_may_aliast , method_bytecodet , ms_cl_versiont , prop_conv_solvert , rd_range_domaint , renamedt< underlyingt, level > , small_shared_n_way_ptrt< Ts > , small_shared_ptrt< T > , smt2_convt , smt2_incremental_decision_proceduret , sparse_bitvector_analysist< V > , string_containert , string_refinementt , value_set_fit , vs_dep_edget
• get_abstract() : java_class_typet
• get_abstract_object() : variable_sensitivity_object_factoryt
• get_abstract_object_type() : variable_sensitivity_object_factoryt
• get_access() : code_typet , java_class_typet , struct_union_typet::componentt
• get_access_expr() : offset_entryt , simple_entryt , write_stack_entryt
• get_address_width() : bv_pointerst
• get_all_function_names() : java_string_library_preprocesst
• get_all_functions_containing_properties() : aggressive_slicert
• get_annotation_class_refs() : java_bytecode_parsert
• get_annotation_value_class_refs() : java_bytecode_parsert
• get_annotations() : annotated_typet , java_class_typet , java_qualifierst
• get_anon_id() : new_scopet
• get_anonymous() : struct_union_typet::componentt
• get_api_version() : api_sessiont
• get_argument_suggestions() : cmdlinet
• get_array_argument() : goto_convertt
• get_array_objects() : rw_range_set_value_sett , rw_range_sett
• get_array_value() : gdb_value_extractort
• get_arrays_of_pointers() : array_poolt
• get_assertion() : w_guardst
• get_assignment() : cnf_clause_list_assignmentt
• get_assigns() : function_assignst , havoc_loopst
• get_assigns_clause_size() : dfcc_contract_handlert
• get_assigns_function() : function_assignst
• get_assigns_map() : enumerative_loop_contracts_synthesizert
• get_associated_size_variable() : recursive_initializationt
• get_attribute() : xmlt
• get_attribute_bool() : xmlt
• get_base() : struct_typet
• get_base_name() : ansi_c_declaratort , c_enum_typet::c_enum_membert , code_typet::parametert , cpp_namet , struct_union_typet::componentt
• get_bases() : cpp_typecastt , cpp_typecheckt
• get_basic_block_source_lines() : source_locationt
• get_bin_numeral() : smt2_tokenizert
• get_bit() : custom_bitvector_domaint
• get_bit_nr() : custom_bitvector_analysist
• get_bits_per_byte() : bswap_exprt , byte_extract_exprt , byte_update_exprt
• get_block_for_pcrange() : java_bytecode_convert_methodt
• get_bool() : irept , prop_conv_solvert
• get_bool_option() : optionst
• get_boolbv_decision_procedure() : goto_symex_property_decidert
• get_bounds() : invariant_sett
• get_buffer() : smt2_tokenizert
• get_builtin_function() : string_dependenciest
• get_bv_refinement() : solver_factoryt
• get_by_name_restriction() : function_pointer_restrictionst
• get_bytes() : memory_sizet
• get_c_type() : c_typecastt
• get_cache() : prop_conv_solvert
• get_call() : goto_inlinet
• get_case_number() : source_locationt
• get_cases() : goto_program2codet
• get_catch_code() : code_try_catcht
• get_catch_decl() : code_try_catcht
• get_cause_loop_id() : cegis_verifiert
• get_cause_loop_id_for_assigns() : cegis_verifiert
• get_certificate() : qbf_skizzo_coret
• get_char_pointer_value() : gdb_value_extractort
• get_char_type() : refined_string_typet
• get_child() : context_abstract_objectt
• get_child_functions_rec() : get_virtual_calleest
• get_children_trans() : class_hierarchy_grapht , class_hierarchyt
• get_children_trans_rec() : class_hierarchyt
• get_class() : ansi_c_parsert , base_ref_infot
• get_class_from_directory() : java_class_loader_baset
• get_class_from_jar() : java_class_loader_baset
• get_class_identifier() : resolve_inherited_componentt::inherited_componentt
• get_class_index() : base_ref_infot
• get_class_refs() : java_bytecode_parsert
• get_class_refs_rec() : java_bytecode_parsert
• get_class_with_overlays_map() : java_class_loadert
• get_clauses() : cnf_clause_listt
• get_clinit_call() : java_bytecode_convert_methodt
• get_code() : document_propertiest
• get_column() : parsert , source_locationt
• get_comma_separated_values() : cmdlinet
• get_command_line_options() : cbmc_parse_optionst , goto_analyzer_parse_optionst , goto_diff_parse_optionst , janalyzer_parse_optionst , jbmc_parse_optionst , jdiff_parse_optionst
• get_command_log() : gdb_apit
• get_comment() : source_locationt
• get_component() : cpp_typecheckt , interpretert , java_class_typet , struct_union_typet
• get_component_name() : member_designatort , member_exprt , union_exprt
• get_component_number() : member_exprt , union_exprt
• get_component_value() : remove_const_function_pointerst
• get_conjuncts_for_correct_number_format() : string_constraint_generatort
• get_constant() : goto_convertt , invariant_sett
• get_container() : sharing_nodet< keyT, valueT, equalT >
• get_content() : format_textt
• get_content_type() : refined_string_typet
• get_contract_functions() : dfcc_contract_handlert
• get_contract_name() : dfcc_obeys_contractt
• get_current_active_loop() : complexity_limitert
• get_current_node() : scope_treet
• get_d() : reference_counting< T, empty >
• get_data() : flow_insensitive_analysist< T >
• get_data_dependencies() : data_dependency_contextt
• get_data_dominators() : data_dependency_contextt
• get_decimal_numeral() : smt2_tokenizert
• get_decision_procedure() : goto_symex_property_decidert
• get_decl_identifiers() : goto_programt
• get_declaration() : cpp_itemt , scope_treet
• get_default() : solver_factoryt
• get_default_options() : scratch_programt
• get_delta_view() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• get_denominator() : rationalt
• get_derived() : small_shared_n_way_ptrt< Ts >
• get_descriptor() : java_class_typet::methodt , name_and_type_infot
• get_destination() : code_gotot
• get_destructor() : scope_treet
• get_destructors() : scope_treet
• get_dfcc_fun() : dfcc_libraryt
• get_dfcc_fun_name() : dfcc_libraryt
• get_diff() : unified_difft
• get_dimacs() : solver_factoryt
• get_direct_children() : class_hierarchy_grapht
• get_directed_graph() : call_grapht
• get_dirty_ids() : dirtyt
• get_dominator_info() : natural_loops_templatet< P, T, C >
• get_dynamic_objects() : pointer_logict
• get_dynamic_types() : interpretert
• get_e() : floatbv_typet
• get_edit_distance() : levenshtein_automatont
• get_element() : xmlt
• get_elements() : uncaught_exceptions_domaint
• get_end_function() : goto_programt
• get_entries() : value_set_analysis_fit
• get_entries_rec() : value_set_analysis_fit
• get_entry() : boolbv_widtht , jar_filet , value_set_fit
• get_equation() : goto_symex_property_decidert
• get_exception_symbol() : uncaught_exceptions_domaint
• get_exception_type() : uncaught_exceptions_domaint
• get_exponent() : float_bvt , float_utilst , ieee_floatt
• get_expr() : already_typechecked_exprt , inv_object_storet , smt2_incremental_decision_proceduret
• get_expr_map() : replace_symbolt
• get_expr_value() : gdb_value_extractort
• get_external_sat() : solver_factoryt
• get_extreme() : constant_interval_exprt
• get_extremes() : constant_interval_exprt
• get_f() : floatbv_typet
• get_failed_property() : counterexample_beautificationt
• get_failed_property_ids() : goto_tracet
• get_failure_value() : value_set_dereferencet
• get_field() : small_mapt< T, Ind, Num >
• get_fields() : field_sensitivityt
• get_file() : goto_program_coverage_recordt , parsert , source_locationt
• get_filename() : mz_zip_archivet
• get_final() : java_class_typet
• get_final_identifier() : cpp_declarator_convertert
• get_first_id_not_skipped_or_top_level_id() : dfcc_cfg_infot
• get_first_node() : cfg_baset< T, P, I > , procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
• get_flavor() : code_asmt
• get_float_rec() : interval_domaint
• get_format_specifier() : format_elementt
• get_format_text() : format_elementt
• get_fraction() : float_bvt , float_utilst , ieee_floatt
• get_fraction_bits() : fixedbv_spect , fixedbv_typet
• get_free_function() : recursive_initializationt
• get_fresh_fun_symbol() : recursive_initializationt
• get_fresh_global_name() : recursive_initializationt
• get_fresh_global_symexpr() : recursive_initializationt
• get_fresh_local_symexpr() : recursive_initializationt
• get_fresh_local_typed_symexpr() : recursive_initializationt
• get_fresh_param_symbol() : recursive_initializationt
• get_from() : range_typet
• get_full_component_identifier() : resolve_inherited_componentt::inherited_componentt
• get_function() : escape_domaint , source_locationt
• get_function_id() : goto_model_functiont
• get_function_pointer_by_name_restrictions() : function_pointer_restrictionst
• get_function_symbol() : dfcc_utilst
• get_functions() : get_virtual_calleest
• get_gdb_value() : gdb_value_extractort
• get_gibibytes() : memory_sizet
• get_global_scope() : cpp_scopest , cpp_scopet
• get_globals() : invariant_propagationt , value_set_analysis_fit
• get_goto_function() : abstract_goto_modelt , goto_model_functiont , goto_modelt , goto_symext , lazy_goto_modelt , wrapper_goto_modelt
• get_goto_functions() : abstract_goto_modelt , goto_modelt , lazy_goto_modelt , wrapper_goto_modelt
• get_goto_program() : cbmc_parse_optionst , goto_instrument_parse_optionst , goto_synthesizer_parse_optionst , jbmc_parse_optionst
• get_guard() : flow_insensitive_abstract_domain_baset
• get_guard_symbol() : w_guardst
• get_guard_symbol_expr() : w_guardst
• get_handle_kind() : java_class_typet::java_lambda_method_handlet , method_handle_infot
• get_hardness_collector() : prop_conv_solvert
• get_havoc_hook() : dfcc_libraryt
• get_hex_numeral() : smt2_tokenizert
• get_hide() : source_locationt
• get_hook() : dfcc_libraryt
• get_id() : cpp_scopest , object_idt
• get_identifier() : c_enum_typet::c_enum_membert , class_method_descriptor_exprt , code_deadt , code_declt , code_frontend_declt , code_typet::parametert , nondet_symbol_exprt , smt2_convt::smt2_symbolt , smt2_incremental_decision_proceduret , symbol_exprt , tag_typet , template_parameter_symbol_typet , typedef_typet
• get_if_error() : response_or_errort< smtt >
• get_if_valid() : response_or_errort< smtt >
• get_incremental_smt2() : solver_factoryt
• get_index_of_symbol() : value_sett
• get_index_type() : refined_string_typet
• get_inflight_exception_global() : remove_exceptionst
• get_inlined() : code_typet
• get_inner_name() : java_class_typet
• get_insert_action() : value_sett
• get_inserted() : journalling_symbol_tablet
• get_instance() : dynamic_object_exprt
• get_instruction_type() : nondet_instruction_infot
• get_instructions() : havoc_assigns_clause_targetst
• get_instrumented_functions() : dfcc_instrumentt
• get_instrumented_functions_map_symbol() : dfcc_libraryt
• get_int() : irept
• get_int_rec() : interval_domaint
• get_integer_bits() : fixedbv_typet
• get_interface() : java_class_typet
• get_invalid_object() : pointer_logict
• get_inverted() : call_grapht
• get_is_annotation() : java_class_typet
• get_is_anonymous_class() : java_class_typet
• get_is_constructor() : code_typet
• get_is_dirty() : reaching_definitions_analysist
• get_is_enum_constant() : ansi_c_declarationt
• get_is_enumeration() : java_class_typet
• get_is_extern() : ansi_c_declarationt
• get_is_final() : java_class_typet::componentt , java_class_typet::methodt , java_method_typet
• get_is_global() : ansi_c_declarationt
• get_is_inline() : ansi_c_declarationt , cpp_namespace_spect
• get_is_inner_class() : java_class_typet
• get_is_member() : ansi_c_declarationt
• get_is_native() : java_class_typet::methodt
• get_is_padding() : struct_union_typet::componentt
• get_is_parameter() : ansi_c_declarationt , cpp_declaratort
• get_is_register() : ansi_c_declarationt
• get_is_static() : ansi_c_declarationt
• get_is_static_assert() : ansi_c_declarationt
• get_is_static_class() : java_class_typet
• get_is_stub() : java_class_typet
• get_is_thread_local() : ansi_c_declarationt
• get_is_threaded() : reaching_definitions_analysist
• get_is_typedef() : ansi_c_declarationt
• get_is_varargs() : java_method_typet
• get_is_weak() : ansi_c_declarationt
• get_java_bytecode_index() : source_locationt
• get_json_stream() : ui_message_handlert
• get_k() : goto_unwindt
• get_key() : sharing_nodet< keyT, valueT, equalT >
• get_kibibytes() : memory_sizet
• get_l1_object() : ssa_exprt
• get_l1_object_identifier() : ssa_exprt
• get_l2_name_provider() : goto_symex_statet
• get_label() : code_labelt , code_push_catcht::exception_list_entryt
• get_lambda_method_descriptor() : java_class_typet::java_lambda_method_handlet
• get_lambda_method_identifier() : java_class_typet::java_lambda_method_handlet
• get_last_node() : cfg_baset< T, P, I > , procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
• get_last_step() : goto_tracet
• get_last_written_locations() : write_location_contextt
• get_leaf() : java_bytecode_convert_methodt::block_tree_nodet
• get_leaf_node() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• get_length_if_exists() : array_poolt
• get_level2() : goto_statet
• get_level_0() : ssa_exprt
• get_level_1() : ssa_exprt
• get_level_2() : ssa_exprt
• get_lhs_object() : goto_trace_stept
• get_limit() : unwindsett
• get_line() : source_locationt
• get_line_no() : parsert , smt2_tokenizert::smt2_errort
• get_linkage_spec() : cpp_itemt
• get_linker_script_data() : linker_script_merget
• get_list_option() : optionst
• get_literal() : literal_exprt , prop_conv_solvert
• get_literals() : boolbv_mapt
• get_local_set() : dfcc_cfg_infot
• get_local_statics() : dfcc_instrumentt
• get_location() : liveness_contextt
• get_location_union() : write_location_contextt
• get_long_long() : irept
• get_loop_analysis() : loop_with_parent_analysis_templatet< T, C > , path_storaget
• get_loop_havoc_set() : code_contractst
• get_loop_info() : dfcc_cfg_infot
• get_loops_toposorted() : dfcc_cfg_infot
• get_lower() : constant_interval_exprt , interval_templatet< T >
• get_malloc_function() : recursive_initializationt
• get_malloc_pointee() : gdb_value_extractort
• get_malloc_size() : gdb_value_extractort
• get_manifest() : jar_filet
• get_map() : boolbvt
• get_map_entry() : boolbv_mapt
• get_mapping() : boolbv_mapt
• get_max() : constant_interval_exprt
• get_max_assigns_clause_size() : dfcc_instrument_loopt , dfcc_instrumentt
• get_mebibytes() : memory_sizet
• get_member() : boolbv_widtht
• get_memmap_type() : is_fresh_baset
• get_memory() : gdb_apit
• get_memory_snapshot() : memory_snapshot_harness_generatort
• get_message_count() : inlining_decoratort , message_handlert
• get_message_handler() : messaget
• get_method() : get_virtual_calleest
• get_method_descriptor() : java_bytecode_parse_treet::classt::lambda_method_handlet
• get_method_handle() : java_bytecode_parse_treet::classt
• get_min() : constant_interval_exprt
• get_minimization_list() : counterexample_beautificationt
• get_missing_function_set() : inlining_decoratort
• get_missing_funs() : dfcc_libraryt
• get_modules() : language_filet
• get_most_recent_record() : gdb_apit
• get_mstream() : messaget
• get_name() : ansi_c_declaratort , class_infot , java_annotationt::valuet , java_class_typet , java_generic_parameter_tagt , java_generic_parametert , name_and_type_infot , struct_union_typet::componentt
• get_name_and_type() : base_ref_infot
• get_name_and_type_index() : base_ref_infot
• get_named_sub() : irept
• get_namespace() : cpp_namespace_spect , cpp_usingt , goto_trace_providert , goto_trace_storaget , multi_path_symex_checkert , single_loop_incremental_symex_checkert , single_path_symex_checkert
• get_namespace_spec() : cpp_itemt
• get_native() : java_method_typet
• get_nearest_common_ancestor_info() : scope_treet
• get_new_string_data_symbol() : goto_symext
• get_next() : ai_baset , flow_insensitive_analysis_baset
• get_no() : dstringt
• get_no_body_set() : inlining_decoratort
• get_node() : cfg_baset< T, P, I > , cfg_dominators_templatet< P, T, post_dom > , procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett > , string_dependenciest
• get_node_id() : dep_graph_domaint , variable_sensitivity_dependence_domaint
• get_node_index() : call_grapht::directed_grapht , cfg_baset< T, P, I > , cfg_dominators_templatet< P, T, post_dom > , procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
• get_nodes_by_class_identifier() : class_hierarchy_grapht
• get_nodes_by_name() : call_grapht::directed_grapht
• get_nof_assigns_targets() : dfcc_contract_functionst
• get_nof_frees_targets() : dfcc_contract_functionst
• get_non_char_pointer_value() : gdb_value_extractort
• get_not_enough_arguments_set() : inlining_decoratort
• get_null_object() : pointer_logict
• get_nullable() : side_effect_expr_nondett
• get_nullable_type() : nondet_instruction_infot
• get_num_files() : mz_zip_archivet
• get_number() : numberingt< keyt, hasht > , union_find< T, hasht >
• get_number_of_solver_calls() : decision_proceduret , prop_conv_solvert , propt , smt2_convt , smt2_incremental_decision_proceduret
• get_numerator() : rationalt
• get_object() : invariant_sett
• get_object_name() : ssa_exprt
• get_object_ssa() : field_sensitive_ssa_exprt
• get_object_width() : bv_pointers_widet , bv_pointerst
• get_objects() : invariant_propagationt
• get_objects_address_of() : rw_range_sett
• get_objects_array() : rw_range_sett
• get_objects_byte_extract() : rw_range_sett
• get_objects_complex_imag() : rw_range_sett
• get_objects_complex_real() : rw_range_sett
• get_objects_dereference() : rw_range_set_value_sett , rw_range_sett
• get_objects_if() : rw_guarded_range_set_value_sett , rw_range_sett
• get_objects_index() : rw_range_sett
• get_objects_member() : rw_range_sett
• get_objects_rec() : invariant_propagationt , rw_guarded_range_set_value_sett , rw_range_set_value_sett , rw_range_sett
• get_objects_shift() : rw_range_sett
• get_objects_struct() : rw_range_sett
• get_objects_typecast() : rw_range_sett
• get_offset_width() : bv_pointers_widet , bv_pointerst
• get_operation() : abstract_eventt
• get_option() : optionst
• get_options() : goto_synthesizer_parse_optionst
• get_optnr() : goto_cc_cmdlinet
• get_or_create_block_for_pcrange() : java_bytecode_convert_methodt
• get_or_create_failed_symbol() : dereference_callbackt , goto_program_dereferencet , symex_dereference_statet
• get_or_create_length() : array_poolt
• get_or_create_return_value_symbol() : remove_returnst
• get_original_class() : java_class_loadert
• get_original_expr() : ssa_exprt
• get_original_loop_number_map() : code_contractst
• get_original_name() : ssa_exprt
• get_other() : goto_programt::instructiont , unsigned_union_find
• get_other_map_value() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt
• get_other_reachable_ids() : class_hierarchy_grapht
• get_outer_class() : java_class_typet
• get_outer_loop_identifier() : dfcc_cfg_infot
• get_outer_write_set() : dfcc_cfg_infot
• get_parameter_alternative_types() : select_pointer_typet
• get_parameter_identifiers() : code_function_bodyt
• get_parent() : cpp_idt , cpp_scopet
• get_parents_trans() : class_hierarchy_grapht , class_hierarchyt
• get_parents_trans_rec() : class_hierarchyt
• get_parse_tree() : java_class_loadert
• get_partitions() : non_leaf_enumeratort
• get_pointer_dereferenceable_conditions() : goto_check_ct
• get_pointer_is_null_condition() : goto_check_ct
• get_pointer_points_to_valid_memory_conditions() : goto_check_ct
• get_pointer_to_function_value() : gdb_value_extractort
• get_pointer_to_member_value() : gdb_value_extractort
• get_pointer_type_selector() : java_bytecode_languaget
• get_pointer_value() : gdb_value_extractort
• get_pragmas() : source_locationt
• get_predecessors() : grapht< N >
• get_pretty_name() : cpp_declarator_convertert , struct_union_typet::componentt
• get_properties() : goto_verifiert , verification_resultt::verification_result_implt
• get_property_class() : source_locationt
• get_property_description() : verification_resultt
• get_property_id() : source_locationt
• get_property_ids() : verification_resultt
• get_property_status() : verification_resultt
• get_pure_contract_symbol() : dfcc_contract_handlert
• get_quoted_symbol() : smt2_tokenizert
• get_r_set() : rw_range_sett
• get_ranges() : rw_guarded_range_set_value_sett , rw_range_sett
• get_reachable() : grapht< N >
• get_reason() : invalid_source_file_exceptiont
• get_rec() : local_bitvector_analysist , local_may_aliast
• get_recursive_call_set() : inlining_decoratort
• get_reference() : method_handle_infot
• get_reference_set() : flow_insensitive_abstract_domain_baset , flow_insensitive_analysis_baset , flow_insensitive_analysist< T > , value_set_domain_fit , value_set_domain_templatet< VST > , value_set_fit , value_sett
• get_reference_set_rec() : value_sett
• get_reference_set_sharing() : value_set_fit
• get_reference_set_sharing_rec() : value_set_fit
• get_region_exit() : sese_region_analysist
• get_register_value() : gdb_apit
• get_relement_value() : java_bytecode_parsert
• get_remaining_vccs() : goto_symext
• get_removed() : journalling_symbol_tablet
• get_resolution_proof() : satcheck_minisat1_prooft
• get_result() : verification_resultt::verification_result_implt
• get_return_lhs() : flow_insensitive_abstract_domain_baset , value_set_domain_templatet< VST >
• get_rhs() : custom_bitvector_domaint
• get_rhs_aliases() : escape_domaint , global_may_alias_domaint
• get_rhs_aliases_address_of() : escape_domaint , global_may_alias_domaint
• get_rhs_cleanup() : escape_domaint
• get_root() : depth_iterator_baset< depth_iterator_t >
• get_root_scope() : cpp_scopest
• get_scope() : cpp_scopest
• get_sharing_stats() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• get_sharing_stats_map() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• get_shorthands() : expr2ct
• get_sign() : ieee_floatt
• get_signed_int_option() : optionst
• get_simple_symbol() : smt2_tokenizert
• get_size() : interpretert
• get_size_t() : irept
• get_smt2() : solver_factoryt
• get_smt2_solver_type() : solver_factoryt
• get_snapshot_as_c_code() : gdb_value_extractort
• get_snapshot_as_symbol_table() : gdb_value_extractort
• get_solver() : solver_factoryt
• get_sort() : smt_bit_vector_constant_termt , smt_termt
• get_sorted_view() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• get_source_location() : invalid_source_file_exceptiont
• get_sources() : reachability_slicert
• get_spec() : float_bvt
• get_spec_assigns_function_symbol() : dfcc_contract_functionst
• get_spec_assigns_havoc_function_symbol() : dfcc_contract_functionst
• get_spec_frees_function_symbol() : dfcc_contract_functionst
• get_specialization_of() : cpp_declarationt
• get_ssa_expr() : SSA_stept
• get_SSA_step() : symex_target_equationt
• get_state() : ai_baset , ai_storage_baset , ait< domainT > , flow_insensitive_analysis_baset , flow_insensitive_analysist< T > , history_sensitive_storaget , location_sensitive_storaget , variable_sensitivity_dependence_grapht
• get_statement() : codet , side_effect_exprt
• get_static_assert() : cpp_itemt
• get_static_field() : java_bytecode_convert_methodt
• get_static_locals() : instrument_spec_assignst
• get_statistics() : abstract_aggregate_objectt< aggregate_typet, aggregate_traitst > , abstract_objectt , abstract_pointer_objectt , array_aggregate_typet , constant_abstract_valuet , constant_pointer_abstract_objectt , context_abstract_objectt , interval_abstract_valuet , struct_aggregate_typet , union_aggregate_typet
• get_status() : piped_processt
• get_string() : elf_readert , irept , string_containert
• get_string_constant() : goto_convertt
• get_string_literal() : smt2_tokenizert
• get_string_refinement() : solver_factoryt
• get_string_type_base_classes() : java_string_library_preprocesst
• get_struct_value() : gdb_value_extractort
• get_stub_initializer_body() : stub_global_initializer_factoryt
• get_sub() : irept
• get_successors() : goto_programt , grapht< N >
• get_succs() : cone_of_influencet
• get_super_class() : java_class_typet
• get_swapped_functions() : dfcc_swap_and_wrapt
• get_symbol_expr() : recursive_initializationt
• get_symbol_table() : abstract_goto_modelt , goto_model_functiont , goto_modelt , journalling_symbol_tablet , lazy_goto_modelt , namespacet , symbol_table_baset , symbol_table_buildert , symbol_tablet , wrapper_goto_modelt
• get_symbols() : prop_conv_solvert , symex_slicet
• get_synthetic() : java_class_typet
• get_tag() : code_push_catcht::exception_list_entryt , struct_union_typet , structured_pool_entryt
• get_tag_only_declaration() : cpp_enum_typet
• get_target() : goto_programt::instructiont
• get_target_type() : dfcc_spec_functionst
• get_this() : code_typet , code_typet::parametert
• get_to() : range_typet
• get_to_map() : sharing_nodet< keyT, valueT, equalT >
• get_token() : cpp_token_buffert
• get_token_from_stream() : smt2_tokenizert
• get_tokens() : cscannert
• get_top_entry() : full_array_abstract_objectt
• get_top_level_tracked() : dfcc_cfg_infot
• get_top_level_write_set() : dfcc_cfg_infot
• get_total_vccs() : goto_symext
• get_traces() : all_properties_verifier_with_fault_localizationt< incremental_goto_checkerT > , all_properties_verifier_with_trace_storaget< incremental_goto_checkerT > , cover_goals_verifier_with_trace_storaget< incremental_goto_checkerT >
• get_tracked_set() : dfcc_cfg_infot
• get_tracking() : uninitializedt
• get_transitions() : trace_automatont
• get_type() : already_typechecked_typet , interpretert , java_annotationt
• get_type_size() : gdb_value_extractort
• get_ui() : ui_message_handlert
• get_union_value() : gdb_value_extractort
• get_unique_index() : path_storaget
• get_unique_l1_index() : path_storaget
• get_unique_l2_index() : path_storaget
• get_unknown_handle() : java_bytecode_parse_treet::classt::lambda_method_handlet
• get_unsigned_int_option() : optionst
• get_unwind_recursion() : goto_symext , symex_bmct
• get_updated() : journalling_symbol_tablet
• get_upper() : constant_interval_exprt , interval_templatet< T >
• get_use_count() : small_shared_n_way_pointee_baset< N, Num >
• get_using() : cpp_itemt
• get_val() : numeric_castt< T, typename std::enable_if< std::is_integral< T >::value >::type >
• get_value() : annotated_pointer_constant_exprt , boolbv_mapt::map_entryt , boolbvt , c_enum_typet::c_enum_membert , cmdlinet , constant_exprt , fixedbvt , gdb_apit , interpretert , java_annotationt::valuet , sharing_nodet< keyT, valueT, equalT > , small_mapt< T, Ind, Num >::const_iterator , tvt
• get_value_from_record() : gdb_apit
• get_value_set() : dereference_callbackt , goto_program_dereferencet , symex_dereference_statet , value_set_fit , value_sett
• get_value_set_rec() : value_set_fit , value_sett
• get_value_sets() : reaching_definitions_analysist
• get_values() : bv_refinementt , cmdlinet , java_annotationt , value_set_abstract_objectt , value_set_analysis_fit , value_set_analysis_templatet< VSDT > , value_set_pointer_abstract_objectt , value_set_tag , value_setst
• get_verbosity() : inlining_decoratort , message_handlert
• get_view() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• get_violation_location() : cegis_verifiert
• get_virtual_bases() : cpp_typecheckt
• get_virtual_calleest() : get_virtual_calleest
• get_virtual_method_target() : ci_lazy_methodst
• get_virtual_method_targets() : ci_lazy_methodst
• get_w_guard_expr() : w_guardst
• get_w_set() : rw_range_sett
• get_which_side_integral() : write_stackt
• get_width() : bitvector_typet
• get_width_opt() : boolbv_widtht
• get_working_directory() : source_locationt
• get_write_set() : dfcc_cfg_infot
• get_writeable() : journalling_symbol_tablet , symbol_table_baset , symbol_table_buildert , symbol_tablet
• get_writeable_ref() : symbol_table_baset
• get_writeable_symbol() : symbol_table_baset::iteratort
• getoptnr() : cmdlinet
• global_may_alias_domaint() : global_may_alias_domaint
• go_to() : cpp_scopest
• go_to_global_scope() : cpp_scopest
• go_to_root_scope() : cpp_scopest
• goal_covered() : cover_goalst::observert
• goalt() : cover_goalst::goalt
• goto2graph_cfg() : instrumentert
• goto_analyzer_parse_optionst() : goto_analyzer_parse_optionst
• goto_and_object_mismatch() : linker_script_merget
• goto_bmc_parse_optionst() : goto_bmc_parse_optionst
• goto_cc_modet() : goto_cc_modet
• goto_check() : goto_check_ct
• goto_check_ct() : goto_check_ct
• goto_convert() : goto_convert_functionst , goto_convertt
• goto_convert_functionst() : goto_convert_functionst
• goto_convert_rec() : goto_convertt
• goto_convertt() : goto_convertt
• goto_diff_parse_optionst() : goto_diff_parse_optionst
• goto_difft() : goto_difft
• goto_functionst() : goto_functionst
• goto_functiont() : goto_functiont
• goto_harness_parse_optionst() : goto_harness_parse_optionst
• goto_inline() : goto_inlinet
• goto_inline_nontransitive() : goto_inlinet
• goto_inline_transitive() : goto_inlinet
• goto_inlinet() : goto_inlinet
• goto_inspect_parse_optionst() : goto_inspect_parse_optionst
• goto_instruction() : symex_target_equationt , symex_targett
• goto_instruction2string() : solver_hardnesst
• goto_instrument_parse_optionst() : goto_instrument_parse_optionst
• goto_model_functiont() : goto_model_functiont
• goto_model_validation_optionst() : goto_model_validation_optionst
• goto_modelt() : goto_modelt
• goto_next_valid_index() : cmdlinet::option_namest::option_names_iteratort
• goto_program2codet() : goto_program2codet
• goto_program_cfg_infot() : goto_program_cfg_infot
• goto_program_coverage_recordt() : goto_program_coverage_recordt
• goto_program_dereferencet() : goto_program_dereferencet
• goto_programt() : goto_programt
• goto_statet() : goto_statet
• goto_symex_can_forward_propagatet() : goto_symex_can_forward_propagatet
• goto_symex_fault_localizert() : goto_symex_fault_localizert
• goto_symex_property_decidert() : goto_symex_property_decidert
• goto_symex_statet() : goto_symex_statet
• goto_symext() : goto_symext
• goto_synthesizer_parse_optionst() : goto_synthesizer_parse_optionst
• goto_trace_stept() : goto_trace_stept
• goto_trace_storaget() : goto_trace_storaget
• goto_verifiert() : goto_verifiert
• graph() : graphml_witnesst
• graph_conc_explorert() : event_grapht::graph_conc_explorert
• graph_explorert() : event_grapht::graph_explorert
• graph_pensieve_explorert() : event_grapht::graph_pensieve_explorert
• graphml_witnesst() : graphml_witnesst
• greater_or_equal() : interval_uniont
• greater_than() : constant_interval_exprt
• greater_than_exprt() : greater_than_exprt
• greater_than_or_equal() : constant_interval_exprt
• greater_than_or_equal_exprt() : greater_than_or_equal_exprt
• green() : consolet
• guard() : value_sett
• guard_bddt() : guard_bddt
• guard_expr() : guard_bddt , guard_exprt
• guard_exprt() : guard_exprt
• guard_identifier() : goto_symex_statet
• guess_function_template_args() : cpp_typecheck_resolvet
• guess_template_args() : cpp_typecheck_resolvet