public class FrontierHolder
extends java.lang.Object
| Constructor and Description |
|---|
FrontierHolder(Prioritizer thePrioritizer) |
| Modifier and Type | Method and Description |
|---|---|
void |
add(BasicPath path) |
boolean |
containsDestination(BasicNode node) |
java.util.List<BasicPath> |
getContents() |
BasicPath |
pop() |
int |
size() |
public FrontierHolder(Prioritizer thePrioritizer)