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

- h -

• h : cudnnfilterdesc, cudnntensordesc
• handle() : python_math
• handle_abs() : complex_handler
• handle_acos() : python_math
• handle_acosh() : python_math
• handle_all() : function_call_expr
• handle_any() : function_call_expr
• handle_arithmetic() : dynamic_type_handler
• handle_asin() : python_math
• handle_asinh() : python_math
• handle_assign() : andersent
• handle_atan() : python_math
• handle_atan2() : python_math
• handle_atanh() : python_math
• handle_attribute() : complex_handler
• handle_attribute_access() : complex_handler
• handle_binary_op() : complex_handler
• handle_char_isspace() : string_handler
• handle_chr_conversion() : string_handler
• handle_cmath_log() : complex_handler
• handle_comparison() : dynamic_type_handler
• handle_comprehension() : python_list
• handle_conditional() : goto_symext
• handle_copysign() : python_math
• handle_cos() : python_math
• handle_cosh() : python_math
• handle_dict_clear() : python_dict_handler
• handle_dict_constructor() : python_dict_handler
• handle_dict_copy() : python_dict_handler
• handle_dict_delete() : python_dict_handler
• handle_dict_fromkeys() : python_dict_handler
• handle_dict_get() : python_dict_handler
• handle_dict_membership() : python_dict_handler
• handle_dict_pop() : python_dict_handler
• handle_dict_popitem() : python_dict_handler
• handle_dict_setdefault() : python_dict_handler
• handle_dict_subscript() : python_dict_handler
• handle_dict_subscript_assign() : python_dict_handler
• handle_dict_union() : python_dict_handler
• handle_dict_update() : python_dict_handler
• handle_dist() : python_math
• handle_divmod() : python_math
• handle_exp() : python_math
• handle_exp2() : python_math
• handle_expm1() : python_math
• handle_fabs() : python_math
• handle_float_division() : python_math
• handle_floor_division() : python_math
• handle_fmod() : python_math
• handle_function_call() : andersent
• handle_function_call_assertion() : python_exception_handler
• handle_hypot() : python_math
• handle_int_conversion() : string_handler
• handle_int_conversion_with_base() : string_handler
• handle_int_modulo() : python_math
• handle_lambda_assignment() : python_lambda
• handle_list_assertion() : python_exception_handler
• handle_list_var_unpacking() : python_list
• handle_literal_assignment_check() : python_dict_handler
• handle_log() : python_math
• handle_log10() : python_math
• handle_log1p() : python_math
• handle_log2() : python_math
• handle_modulo() : python_math
• handle_numeric_divmod() : python_math
• handle_operands_guard() : goto_coveraget
• handle_operations() : python_set
• handle_ord_conversion() : string_handler
• handle_other() : andersent
• handle_pow() : python_math
• handle_power() : python_math
• handle_power_symbolic() : python_math
• handle_power_symbolic_exponent() : python_math
• handle_realloc_zero_size() : goto_symext
• handle_sideeffect() : goto_symext
• handle_sin() : python_math
• handle_single_char_comparison() : string_handler
• handle_single_guard() : goto_coveraget
• handle_sinh() : python_math
• handle_slice_assignment() : python_list
• handle_sqrt() : python_math
• handle_startswith_endswith_with_pos() : string_handler
• handle_str_join() : string_handler
• handle_string_attribute_call() : string_handler
• handle_string_capitalize() : string_handler
• handle_string_casefold() : string_handler
• handle_string_center() : string_handler
• handle_string_comparison() : python_converter, string_handler
• handle_string_concatenation() : string_handler
• handle_string_concatenation_with_promotion() : string_handler
• handle_string_count() : string_handler
• handle_string_endswith() : string_handler
• handle_string_expandtabs() : string_handler
• handle_string_find() : string_handler
• handle_string_find_range() : string_handler
• handle_string_format() : string_handler
• handle_string_format_map() : string_handler
• handle_string_index() : string_handler
• handle_string_index_range() : string_handler
• handle_string_is_float() : string_handler
• handle_string_isalnum() : string_handler
• handle_string_isalpha() : string_handler
• handle_string_isdigit() : string_handler
• handle_string_isidentifier() : string_handler
• handle_string_islower() : string_handler
• handle_string_isnumeric() : string_handler
• handle_string_isspace() : string_handler
• handle_string_isupper() : string_handler
• handle_string_ljust() : string_handler
• handle_string_lower() : string_handler
• handle_string_lstrip() : string_handler
• handle_string_membership() : string_handler
• handle_string_operations() : string_handler
• handle_string_partition() : string_handler
• handle_string_removeprefix() : string_handler
• handle_string_removesuffix() : string_handler
• handle_string_repetition() : string_builder, string_handler
• handle_string_replace() : string_handler
• handle_string_rfind() : string_handler
• handle_string_rfind_range() : string_handler
• handle_string_rindex() : string_handler
• handle_string_rindex_range() : string_handler
• handle_string_rjust() : string_handler
• handle_string_rpartition() : string_handler
• handle_string_rstrip() : string_handler
• handle_string_splitlines() : string_handler
• handle_string_startswith() : string_handler
• handle_string_strip() : string_handler
• handle_string_swapcase() : string_handler
• handle_string_title() : string_handler
• handle_string_to_float() : string_handler
• handle_string_to_int() : string_handler
• handle_string_to_int_base10() : string_handler
• handle_string_upper() : string_handler
• handle_string_zfill() : string_handler
• handle_subscript_assign_none() : python_list
• handle_subscript_assignment_check() : python_dict_handler
• handle_tan() : python_math
• handle_tanh() : python_math
• handle_trunc() : python_math
• handle_tuple_add() : python_converter
• handle_tuple_membership() : tuple_handler
• handle_tuple_operations() : python_converter
• handle_tuple_subscript() : tuple_handler
• handle_tuple_unpacking() : tuple_handler
• handle_unannotated_literal_check() : python_dict_handler
• handle_unary_op() : complex_handler
• has : preprocessor.path_dependent_attributes._Rewrite
• has_atomic_read() : goto_convertt
• has_bases : struct_type2t
• has_bool : TypeFlags
• has_callable_func() : solidity_convertert
• has_cbmc_binary_input() : esbmc_parseoptionst
• has_changed() : interval_templatet< T >
• has_complete_formula : reachability_treet
• has_component() : struct_union_typet
• has_contract_bytes() : solidity_convertert
• has_contracts() : code_contractst
• has_cswitch_point_occured() : execution_statet
• has_default_value() : code_typet::argumentt
• has_dereference() : dereferencet
• has_destructible_sideeffect() : goto_convertt
• has_ellipsis() : code_typet
• has_else_case() : code_ifthenelset
• has_failed_symbol() : dereference_callbackt, goto_program_dereferencet, symex_dereference_statet
• has_float : TypeFlags
• has_int : TypeFlags
• has_interrupt_tasks : LdAst
• has_local() : transition_systemt
• has_location() : andersent, static_analysis_baset, static_analysist< T >, value_set_analysist, value_setst
• has_mixed_numeric() : element_type_registry
• has_model() : neurosym_convt, smt_convt, smt_solver_baset, smtlib_convt
• has_modifier_invocation() : solidity_convertert
• has_more_states() : reachability_treet
• has_multiple_types() : type_handler
• has_none : TypeFlags
• has_operands() : exprt
• has_other : TypeFlags
• has_prefix : irep_idt
• has_range : string_method_dispatch::search_args_parsedt
• has_return_value() : code_returnt, goto_convertt::targetst
• has_runtime_model() : bounded_math
• has_shared_lifetime() : reachability_treet
• has_shared_payload() : python_list
• has_sideeffect() : algorithm< T >, goto_convertt
• has_single_arithmetic_argument() : clang_c_adjust
• has_sol_array_size() : solidity_convertert
• has_sol_bytesn_size() : solidity_convertert
• has_sol_contract() : solidity_convertert
• has_start : __ESBMC_PySliceObj
• has_step : __ESBMC_PySliceObj
• has_stop : __ESBMC_PySliceObj
• has_subtype() : typet
• has_subtypes() : typet
• has_suffix : irep_idt
• has_tagged_elements() : python_list
• has_target() : goto_programt::instructiont
• has_target_function() : solidity_convertert
• has_tests() : ctest_generator, pytest_generator
• has_violation() : property_verdict_tablet
• has_vptr_component : clang_cpp_convertert
• hash() : irep_idt, irept, renaming::level2t::name_record
• hash256_one_by_one() : picosha2::hash256_one_by_one
• hash_numbering() : hash_numbering< T, hash_fkt >
• hash_table : string_pool
• hash_tablet : string_pool
• havoc_expr() : cse_domaint
• havoc_pointee() : cse_domaint, interval_domaint
• havoc_pointee_type() : goto_loop_invariantt
• havoc_pointees() : goto_loop_invariantt
• havoc_rec() : interval_domaint
• havoc_symbol() : cse_domaint
• havoc_written_arguments() : interval_domaint
• help() : esbmc_parseoptionst, parseoptions_baset
• 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
• hex_or_oct() : irept
• hi : ir_ieee_convt::ra_interval_t, ssa_cone_keyt
• hidden : goto_symex_statet::framet, symex_target_equationt::SSA_stept
• hide() : goto_convert_functionst, goto_programt, irept
• high : transcendental::domain, transcendental::interval
• hit_hashes : reachability_treet
• hits() : proof_cachet
• hoist_for_init() : clang_c_adjust_irep2
• hoist_nested_classes() : preprocessor.class_context_mixin.ClassContextMixin
• hoist_side_effecting_operand() : python_converter
• hoist_switch_declaration() : clang_cpp_adjust_irep2
• 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
• holds_dict_lists() : python_dict_handler
• homogeneous_element_type() : element_type_registry
• host() : configt
• host_rounding_mode() : host_rounding_mode
• host_value() : bounded_math
• hour : datetime.datetime, time
• html_report() : html_report
• hydrated() : module