- h -
- handler_pc
: java_bytecode_parse_treet::methodt::exceptiont
- has_entry_point
: goto_analyzer_parse_optionst
- has_error
: java_bytecode_vtable_factoryt
- has_gb_arch
: osx_fat_readert
- has_invariant
: xml_graph_nodet
- has_object
: cpp_typecheck_fargst
- has_return_value
: goto_convertt::targetst
- has_user_defined_fence
: event_grapht::critical_cyclet
- has_values
: custom_bitvector_domaint
, dep_graph_domaint
, escape_domaint
, global_may_alias_domaint
, invariant_set_domaint
, rd_range_domaint
, uninitialized_domaint
- hash
: string_constraint_generatort
- hash_table
: string_containert
- hasval
: cmdlinet::optiont
- hidden
: goto_trace_stept
, path_symex_stept
, symex_target_equationt::SSA_stept
- hidden_function
: goto_symex_statet::framet
- high
: mini_bdd_mgrt::reverse_keyt
, mini_bdd_nodet
- history
: path_symex_statet
, path_symex_step_reft
- hits
: goto_program_coverage_recordt::coverage_linet
- holes
: java_bytecode_convert_methodt::local_variable_with_holest
, java_bytecode_convert_methodt::variablet