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

- h -

• h : cudnnfilterdesc, cudnntensordesc
• has : preprocessor.path_dependent_attributes._Rewrite
• has_bases : struct_type2t
• has_bool : TypeFlags
• has_complete_formula : reachability_treet
• has_float : TypeFlags
• has_int : TypeFlags
• has_interrupt_tasks : LdAst
• has_none : TypeFlags
• has_other : TypeFlags
• has_range : string_method_dispatch::search_args_parsedt
• has_return_value : goto_convertt::targetst
• has_start : __ESBMC_PySliceObj
• has_step : __ESBMC_PySliceObj
• has_stop : __ESBMC_PySliceObj
• has_vptr_component : clang_cpp_convertert
• hash : renaming::level2t::name_record
• hash_table : string_pool
• helper_functions_added : preprocessor.loop_mixin.LoopMixin, preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• helpers : preprocessor.iter_next_lowering._Lowering
• het_dict_literals : preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• het_value_dict_literals : preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• hi : ir_ieee_convt::ra_interval_t, ssa_cone_keyt
• hidden : goto_symex_statet::framet, symex_target_equationt::SSA_stept
• hide : goto_programt
• high : transcendental::domain, transcendental::interval
• hit_hashes : reachability_treet
• hoisted_classes : preprocessor.class_context_mixin.ClassContextMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• hoisted_default_names : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• holders : preprocessor.function_value_dispatch._Dispatch, preprocessor.function_value_dispatch._Plan
• hour : datetime.datetime, time