Header file of the PriorityQueue class.