Package nl.tue.astar.impl
Class DotSpanningTreeObserver
- java.lang.Object
-
- nl.tue.astar.impl.DotGraphAStarObserver
-
- nl.tue.astar.impl.DotSpanningTreeObserver
-
- All Implemented Interfaces:
AStarObserver
public class DotSpanningTreeObserver extends DotGraphAStarObserver
-
-
Field Summary
-
Fields inherited from class nl.tue.astar.impl.DotGraphAStarObserver
finalNodeCounter, outputFile, visitCounter, writer
-
-
Constructor Summary
Constructors Constructor Description DotSpanningTreeObserver(java.io.File outputFile)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected voidaddPathToRoot(Record node)voidedgeTraversed(Record from, Record to)voidnodeVisited(Record node)-
Methods inherited from class nl.tue.astar.impl.DotGraphAStarObserver
close, estimateComputed, finalNodeFound, initialNodeCreated, stoppedUnreliablyAt
-
-
-
-
Method Detail
-
nodeVisited
public void nodeVisited(Record node)
- Specified by:
nodeVisitedin interfaceAStarObserver- Overrides:
nodeVisitedin classDotGraphAStarObserver
-
edgeTraversed
public void edgeTraversed(Record from, Record to)
- Specified by:
edgeTraversedin interfaceAStarObserver- Overrides:
edgeTraversedin classDotGraphAStarObserver
-
addPathToRoot
protected void addPathToRoot(Record node) throws java.io.IOException
- Overrides:
addPathToRootin classDotGraphAStarObserver- Throws:
java.io.IOException
-
-