documentation for priorityQueue