- 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