- h -
- handle_type
: java_bytecode_parse_treet::classt::lambda_method_handlet
- handler_pc
: java_bytecode_parse_treet::methodt::exceptiont
- harness
: dump_ct
- has_changed
: dep_graph_domaint
- has_gb_arch
: osx_fat_readert
- has_invariant
: xml_graph_nodet
- has_object
: cpp_typecheck_fargst
- has_return_value
: goto_convertt::targetst
- has_saved_jump_target
: goto_symex_statet
- has_saved_next_instruction
: goto_symex_statet
- 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_code_of_string
: string_constraint_generatort
- hash_container
: irep_hash_mapt< Key, T >
- hash_table
: string_containert
- HASHCODE
: string_constraint_generatort::format_specifiert
- HASHCODE_UPPER
: string_constraint_generatort::format_specifiert
- hasval
: cmdlinet::optiont
- hex_representation
: trace_optionst
- HEXADECIMAL_FLOAT
: string_constraint_generatort::format_specifiert
- HEXADECIMAL_FLOAT_UPPER
: string_constraint_generatort::format_specifiert
- HEXADECIMAL_INTEGER
: string_constraint_generatort::format_specifiert
- HEXADECIMAL_INTEGER_UPPER
: string_constraint_generatort::format_specifiert
- hidden
: goto_trace_stept
, symex_target_equationt::SSA_stept
- hidden_function
: goto_symex_statet::framet
- high
: mini_bdd_mgrt::reverse_keyt
, mini_bdd_nodet
- hits
: goto_program_coverage_recordt::coverage_linet
- holes
: java_bytecode_convert_methodt::local_variable_with_holest
, java_bytecode_convert_methodt::variablet