public class UpdateQueue extends java.lang.Object implements RevisionHandler
UpdateQueue.java
Authors: Rainer Holzmann, Zhanna Melnikova-Albrecht, Matthias Schubert
Date: Aug 27, 2004
Time: 5:36:35 PM
$ Revision 1.4 $
Constructor and Description |
---|
UpdateQueue()
Creates a new PriorityQueue (backed on a binary heap) with the ability to efficiently
update the priority of the stored objects in the heap.
|
Modifier and Type | Method and Description |
---|---|
void |
add(double priority,
java.lang.Object o,
java.lang.String objectKey)
Adds a new Object to the queue
|
double |
getPriority(int index)
Returns the priority for the object at the specified index
|
java.lang.String |
getRevision()
Returns the revision string.
|
boolean |
hasNext()
Tests, if the queue has some more elements left
|
UpdateQueueElement |
next()
Returns the element with the lowest priority
|
int |
size()
Returns the queue's size
|
public UpdateQueue()
public void add(double priority, java.lang.Object o, java.lang.String objectKey)
priority
- The priority associated with the object (in this case: the reachability-distance)objectKey
- The key for this objecto
- public double getPriority(int index)
index
- the index of the objectpublic int size()
public boolean hasNext()
public UpdateQueueElement next()
public java.lang.String getRevision()
getRevision
in interface RevisionHandler