- h -

• HASH_CODE : irep.h
• hash_combine : irep_hash.h
• hash_finalize : irep_hash.h
• HELP_ANSI_C_LANGUAGE : ansi_c_language.h
• HELP_BMC : bmc_util.h
• HELP_CONFIG_BACKEND : config.h
• HELP_CONFIG_C_CPP : config.h
• HELP_CONFIG_LIBRARY : config.h
• HELP_CONFIG_PLATFORM : config.h
• HELP_COVER : cover.h
• HELP_DFCC : dfcc.h
• HELP_DISABLE_SIDE_EFFECT_CHECK : contracts.h
• HELP_DOCUMENT_PROPERTIES : document_properties.h
• HELP_DUMP_C : dump_c.h
• HELP_DUMP_LOOP_CONTRACTS : dump_loop_contracts.h
• HELP_ENFORCE_CONTRACT : contracts.h
• HELP_ENFORCE_CONTRACT_REC : dfcc.h
• HELP_FLUSH : ui_message.h
• HELP_FP_REACHABILITY_SLICER : reachability_slicer.h
• HELP_FUNCTIONS : language.h
• HELP_GOTO_CHECK : goto_check_c.h
• HELP_GOTO_PROGRAM_STATS : count_eloc.h
• HELP_GOTO_TRACE : goto_trace.h
• HELP_INSERT_FINAL_ASSERT_FALSE : insert_final_assert_false.h
• HELP_JAVA_CLASS_NAME : java_bytecode_language.h
• HELP_JAVA_CLASSPATH : java_bytecode_language.h
• HELP_JAVA_GOTO_BINARY : java_bytecode_language.h
• HELP_JAVA_JAR : java_bytecode_language.h
• HELP_JAVA_METHOD_NAME : java_bytecode_language.h
• HELP_JAVA_TRACE_VALIDATION : java_trace_validation.h
• HELP_JSON_INTERFACE : json_interface.h
• HELP_LOOP_CONTRACTS : contracts.h
• HELP_LOOP_CONTRACTS_FILE : contracts.h
• HELP_LOOP_CONTRACTS_NO_UNWIND : contracts.h
• HELP_NONDET_VOLATILE : nondet_volatile.h
• HELP_REACHABILITY_SLICER : reachability_slicer.h
• HELP_REMOVE_CALLS_NO_BODY : remove_calls_no_body.h
• HELP_REMOVE_CONST_FUNCTION_POINTERS : remove_const_function_pointers.h
• HELP_REMOVE_POINTERS : goto_program_dereference.h
• HELP_REPLACE_CALL : contracts.h
• HELP_REPLACE_CALLS : replace_calls.h
• HELP_REPLACE_FUNCTION_BODY : generate_function_bodies.h
• HELP_RESTRICT_FUNCTION_POINTER : restrict_function_pointers.h
• HELP_SHOW_CLASS_HIERARCHY : class_hierarchy.h
• HELP_SHOW_GOTO_FUNCTIONS : show_goto_functions.h
• HELP_SHOW_PROPERTIES : show_properties.h
• HELP_SOLVER : solver_factory.h
• HELP_STRING_REFINEMENT : string_refinement.h
• HELP_STRING_REFINEMENT_CBMC : string_refinement.h
• HELP_TIMESTAMP : timestamper.h
• HELP_UNINITIALIZED_CHECK : uninitialized.h
• HELP_UNWINDSET : unwindset.h
• HELP_VALIDATE : validation_interface.h
• HELP_VSD : variable_sensitivity_domain.h
• HELP_WMM_FULL : weak_memory.h
• HELP_XML_INTERFACE : xml_interface.h