DotSpanningTreeObserver (EfficientStorage)

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 void`	`addPathToRoot(Record node)`
`void`	`edgeTraversed(Record from, Record to)`
`void`	`nodeVisited(Record node)`

Methods inherited from class nl.tue.astar.impl.DotGraphAStarObserver
close, estimateComputed, finalNodeFound, initialNodeCreated, stoppedUnreliablyAt

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - DotSpanningTreeObserver
```
public DotSpanningTreeObserver(java.io.File outputFile)
```
- Method Detail
  - nodeVisited
```
public void nodeVisited(Record node)
```
    Specified by:
    
    nodeVisited in interface AStarObserver
    
    Overrides:
    
    nodeVisited in class DotGraphAStarObserver
  - edgeTraversed
```
public void edgeTraversed(Record from,
                          Record to)
```
    Specified by:
    
    edgeTraversed in interface AStarObserver
    
    Overrides:
    
    edgeTraversed in class DotGraphAStarObserver
  - addPathToRoot
```
protected void addPathToRoot(Record node)
                      throws java.io.IOException
```
    Overrides:
    
    addPathToRoot in class DotGraphAStarObserver
    
    Throws:
    
    java.io.IOException