public interface QueueElement
| Modifier and Type | Method and Description |
|---|---|
int |
getPosition()
Get the queue position of this element.
|
double |
getPriority()
Get this element's priority.
|
void |
setPosition(int pos)
Set the current queue position for this element.
|
void |
setPriority(double priority)
Set the priority of this element.
|
double getPriority()
void setPriority(double priority)
priority - the element's new priorityint getPosition()
void setPosition(int pos)
pos - the new position for the elementCopyright © 2019 JULIE Lab, Germany. All rights reserved.