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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

- 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