protected class DijkstraDistance.SourceData
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
double |
dist_reached |
java.util.LinkedHashMap |
distances |
java.util.Map |
estimatedDistances |
boolean |
reached_max |
MapBinaryHeap |
unknownVertices |
Constructor and Description |
---|
DijkstraDistance.SourceData(ArchetypeVertex source) |
Modifier and Type | Method and Description |
---|---|
void |
createRecord(ArchetypeVertex w,
ArchetypeEdge e,
double new_dist) |
Pair |
getNextVertex() |
void |
update(ArchetypeVertex dest,
ArchetypeEdge tentative_edge,
double new_dist) |
public java.util.LinkedHashMap distances
public java.util.Map estimatedDistances
public MapBinaryHeap unknownVertices
public boolean reached_max
public double dist_reached
public DijkstraDistance.SourceData(ArchetypeVertex source)
public Pair getNextVertex()
public void update(ArchetypeVertex dest, ArchetypeEdge tentative_edge, double new_dist)
public void createRecord(ArchetypeVertex w, ArchetypeEdge e, double new_dist)