PriorityQueue {#GlossaryIndexPrioQueue}
=======================================
@GE{Priority Queue}: A priority queue based on an attribute of the
documents.