- h -

• half_precision() : ieee_float_spect
• handle() : boolbvt , decision_proceduret , prop_conv_solvert , smt2_convt , smt2_incremental_decision_proceduret
• handle_common_options() : goto_harness_parse_optionst
• handle_constant_binary_expression() : constant_interval_exprt
• handle_constant_unary_expression() : constant_interval_exprt
• handle_dereference_base_case() : value_set_dereferencet
• handle_initializer() : cpp_declarator_convertert
• handle_option() : function_call_harness_generatort , goto_harness_generatort , memory_snapshot_harness_generatort , recursive_initialization_configt
• handle_virtual_methods_with_no_callees() : ci_lazy_methodst
• handle_volatile_expression() : nondet_volatilet
• has() : symex_level1t
• has_annotation() : java_bytecode_parse_treet::membert
• has_assertion() : goto_programt
• has_assumptions() : external_satt , propt , satcheck_cadical_baset , satcheck_glucose_baset< T > , satcheck_ipasirt , satcheck_lingelingt , satcheck_minisat1_baset , satcheck_minisat2_baset< T > , satcheck_picosatt
• has_auto() : cpp_typecheckt
• has_base() : struct_typet
• has_been_modified() : abstract_objectt , context_abstract_objectt , data_dependency_contextt , write_location_contextt
• has_body() : c_declarationt , cpp_enum_typet
• has_changed() : simplify_exprt::resultt< T >
• has_class_type() : cpp_typecheck_fargst
• has_com_edge() : event_grapht
• has_component() : struct_union_typet
• has_condition() : goto_programt::instructiont
• has_const() : cpp_typecheckt
• has_contract() : code_with_contract_typet
• has_default_argument() : template_parametert
• has_default_value() : code_typet::parametert
• has_edge() : grapht< N >
• has_ellipsis() : code_typet
• has_else_case() : code_ifthenelset
• has_eq() : invariant_sett
• has_finished_exploration() : single_path_symex_only_checkert
• has_gb() : osx_fat_readert
• has_get_must_or_may() : custom_bitvector_domaint
• has_histories_per_location_limit() : local_control_flow_historyt< track_forward_jumps, track_backward_jumps >
• has_in_core() : satcheck_minisat1_coret
• has_is_in_conflict() : external_satt , propt , satcheck_cadical_baset , satcheck_glucose_baset< T > , satcheck_ipasirt , satcheck_lingelingt , satcheck_minisat1_baset , satcheck_minisat2_baset< T > , satcheck_picosatt
• has_key() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• has_known_memory_location() : gdb_value_extractort
• has_known_offset() : gdb_apit::pointer_valuet
• has_le() : invariant_sett
• has_location() : liveness_contextt
• has_ne() : invariant_sett
• has_no_lower_bound() : constant_interval_exprt
• has_no_upper_bound() : constant_interval_exprt
• has_node() : graphmlt
• has_operands() : exprt
• has_option() : cmdlinet
• has_po_edge() : event_grapht
• has_r_entry() : rw_set_baset
• has_recursion_limit() : call_stack_historyt
• has_return_value() : code_frontend_returnt
• has_section() : elf_readert , osx_mach_o_readert
• has_set_to() : propt
• has_string_macros() : string_abstractiont
• has_subtype() : typet
• has_subtypes() : typet
• has_symbol() : symbol_table_baset
• has_tag() : cpp_enum_typet
• has_target() : goto_programt::instructiont
• has_template_args() : cpp_namet
• has_this() : code_typet
• has_threads() : symex_target_equationt
• has_top() : left_and_right_valuest
• has_two_input_vectors() : shuffle_vector_exprt
• has_unassigned() : cpp_template_args_tct
• has_volatile() : cpp_typecheckt
• has_w_entry() : rw_set_baset
• hash() : cnf_clause_listt , dstringt , irept , merged_irept , qdimacs_cnft , qdimacs_cnft::quantifiert , to_be_merged_irept
• hash_clause() : cnf_clause_listt
• hash_combine() : graphml_witnesst
• have_infile_arg() : goto_cc_cmdlinet
• have_to_rename() : rename_symbolt
• have_to_replace() : replace_symbolt
• havoc() : abstract_environmentt
• havoc_assigns_clause_targetst() : havoc_assigns_clause_targetst
• havoc_assigns_targetst() : havoc_assigns_targetst
• havoc_expr_rec() : havoc_generate_function_bodiest
• havoc_generate_function_bodiest() : havoc_generate_function_bodiest
• havoc_if_valid() : havoc_assigns_clause_targetst
• havoc_if_validt() : havoc_if_validt
• havoc_loop() : havoc_loopst
• havoc_loops() : havoc_loopst
• havoc_loopst() : havoc_loopst
• havoc_rec() : goto_symext , interval_domaint
• havoc_static_local() : havoc_assigns_clause_targetst
• havoc_utils_can_forward_propagatet() : havoc_utils_can_forward_propagatet
• havoc_utilst() : havoc_utilst
• head() : state_is_sentinel_dll_exprt
• help() : cbmc_parse_optionst , cprover_parse_optionst , crangler_parse_optionst , goto_analyzer_parse_optionst , goto_bmc_parse_optionst , goto_cc_modet , goto_diff_parse_optionst , goto_harness_parse_optionst , goto_inspect_parse_optionst , goto_instrument_parse_optionst , goto_synthesizer_parse_optionst , janalyzer_parse_optionst , jbmc_parse_optionst , jdiff_parse_optionst , memory_analyzer_parse_optionst , parse_options_baset , symtab2gb_parse_optionst
• help_formattert() : help_formattert
• help_mode() : armcc_modet , as_modet , cw_modet , gcc_modet , goto_cc_modet , ld_modet , ms_cl_modet , ms_link_modet
• hide() : goto_convert_functionst
• hide_internals() : event_grapht::critical_cyclet
• high() : mini_bddt
• history_exprt() : history_exprt
• hit_malloc_breakpoint() : gdb_apit
• html() : document_propertiest