public class DFDataDuplicatePriorityQueue extends DuplicateStatesFastLookupPriorityQueue
queue, size
Constructor and Description |
---|
DFDataDuplicatePriorityQueue(int initialCapacity) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
isBetter(nl.tue.astar.Record r1,
nl.tue.astar.Record r2) |
add, contains, getMaxCost, isEmpty, peek, poll, setMaxCost, size, toString
public DFDataDuplicatePriorityQueue(int initialCapacity)
protected boolean isBetter(nl.tue.astar.Record r1, nl.tue.astar.Record r2)
isBetter
in class DuplicateStatesFastLookupPriorityQueue