PriorityQueue {#GlossaryIndexPrioQueue}
=======================================

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