implement some PriorityQueueHEAP methods