Should be called when the scorer at top changes doc() value. Still log(n) worst case, but it's at least twice as fast to

            { pq.top().change(); pq.adjustTop(); }
            

instead of

            { o = pq.pop(); o.change(); pq.push(o); }
            

Removes all entries from the ScorerDocQueue.

Determines whether the specified Object is equal to the current Object.

Allows an Object to attempt to free resources and perform other cleanup operations before the Object is reclaimed by garbage collection.

Serves as a hash function for a particular type.

Gets the Type of the current instance.

Adds a Scorer to the ScorerDocQueue in log(size) time if either the ScorerDocQueue is not full, or not lessThan(scorer, top()).

Creates a shallow copy of the current Object.

Removes and returns the least scorer of the ScorerDocQueue in log(size) time. Should not be used when the queue is empty.

Adds a Scorer to a ScorerDocQueue in log(size) time. If one tries to add more Scorers than maxSize a RuntimeException (ArrayIndexOutOfBound) is thrown.

Returns the number of scorers currently stored in the ScorerDocQueue.

Returns the least Scorer of the ScorerDocQueue in constant time. Should not be used when the queue is empty.

Returns document number of the least Scorer of the ScorerDocQueue in constant time. Should not be used when the queue is empty.

Returns a String that represents the current Object.