public class PriorityQueueElement extends java.lang.Object implements RevisionHandler
PriorityQueueElement.java
Authors: Rainer Holzmann, Zhanna Melnikova-Albrecht, Matthias Schubert
Date: Aug 31, 2004
Time: 6:43:18 PM
$ Revision 1.4 $
Constructor and Description |
---|
PriorityQueueElement(double priority,
java.lang.Object o) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
getObject()
Returns the object
|
double |
getPriority()
Returns the priority for this object
|
java.lang.String |
getRevision()
Returns the revision string.
|
public PriorityQueueElement(double priority, java.lang.Object o)
public double getPriority()
public java.lang.Object getObject()
public java.lang.String getRevision()
getRevision
in interface RevisionHandler