Header for priority queue class