- h -

• handle_prune() : ortermlist.cc
• handle_sig() : testsuite.cc
• hex_decode() : stringutils.h
• hex_digit() : stringutils.h
• highest_order_bit() : bitstream.cc