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

- h -

handle_kind : method_handle_infot
handle_sequence : smt2_incremental_decision_proceduret
handle_type : java_bytecode_parse_treet::classt::lambda_method_handlet
handler_pc : java_bytecode_parse_treet::methodt::exceptiont
hardness_stats : solver_hardnesst
harness : dump_ct
harness_function_name : function_call_harness_generatort::implt, goto_harness_parse_optionst::goto_harness_configt
harness_id : dfcct
harness_type : goto_harness_parse_optionst::goto_harness_configt
has_changed : dep_graph_domaint, variable_sensitivity_dependence_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_size_parameter : recursive_initializationt::constructor_keyt
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, variable_sensitivity_dependence_domaint
hash_code : tree_nodet< treet, named_subtreest, sharing >
hash_container : irep_hash_mapt< Key, T >
hash_table : string_containert
HASHCODE : format_specifiert
HASHCODE_UPPER : format_specifiert
hasval : cmdlinet::optiont
havoc_hook : dfcc_libraryt
havoc_method : car_exprt
havoced_pointer_offsets : cext
havoced_values : cext
head : dfcc_loop_nesting_graph_nodet
heap_allocations : variable_sensitivity_object_factoryt
hex_representation : trace_optionst
HEXADECIMAL_FLOAT : format_specifiert
HEXADECIMAL_FLOAT_UPPER : format_specifiert
HEXADECIMAL_INTEGER : format_specifiert
HEXADECIMAL_INTEGER_UPPER : format_specifiert
hidden : default_trace_stept, goto_trace_stept, SSA_stept
hidden_function : framet
high : mini_bdd_mgrt::reverse_keyt, mini_bdd_nodet
history : dfcc_wrapper_programt
history_construction : replace_history_parametert
history_factory : ai_baset
hits : goto_program_coverage_recordt::coverage_linet
holes : java_bytecode_convert_methodt::local_variable_with_holest, java_bytecode_convert_methodt::variablet