Package nl.tue.astar.impl

Class DotGraphAStarObserver

java.lang.Object

nl.tue.astar.impl.DotGraphAStarObserver

All Implemented Interfaces:

AStarObserver

Direct Known Subclasses:

DotSpanningTreeObserver

public class DotGraphAStarObserver
extends java.lang.Object
implements AStarObserver

Field Summary

Fields

Modifier and Type	Field	Description
protected int	finalNodeCounter
protected java.io.File	outputFile
protected int	visitCounter
protected java.io.Writer	writer

Constructor Summary

Constructors

Constructor	Description
DotGraphAStarObserver(java.io.File outputFile)
DotGraphAStarObserver(java.io.File outputFile, CompressedStore<? extends State<?,?>> store)

Method Summary

Modifier and Type	Method	Description
protected void	addPathToRoot(Record node)
void	close()	Needs to be called after the observer is no longer needed.
void	edgeTraversed(Record from, Record to)
void	estimateComputed(Head head)
void	finalNodeFound(Record node)
void	initialNodeCreated(Record node)
void	nodeVisited(Record node)
void	stoppedUnreliablyAt(Record node)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

writer

protected java.io.Writer writer

visitCounter

protected int visitCounter

finalNodeCounter

protected int finalNodeCounter

outputFile

protected final java.io.File outputFile

Constructor Detail

DotGraphAStarObserver

public DotGraphAStarObserver(java.io.File outputFile,
                             CompressedStore<? extends State<?,?>> store)

DotGraphAStarObserver

public DotGraphAStarObserver(java.io.File outputFile)

Method Detail

nodeVisited

public void nodeVisited(Record node)

Specified by:

nodeVisited in interface AStarObserver

edgeTraversed

public void edgeTraversed(Record from,
                          Record to)

Specified by:

edgeTraversed in interface AStarObserver

initialNodeCreated

public void initialNodeCreated(Record node)

Specified by:

initialNodeCreated in interface AStarObserver

finalNodeFound

public void finalNodeFound(Record node)

Specified by:

finalNodeFound in interface AStarObserver

close

public void close()

Description copied from interface: AStarObserver

Needs to be called after the observer is no longer needed. This is independent of the use of the observer and this method is never called from within an ObservableAStarThread

Specified by:

close in interface AStarObserver

addPathToRoot

protected void addPathToRoot(Record node)
                      throws java.io.IOException

Throws:

java.io.IOException

stoppedUnreliablyAt

public void stoppedUnreliablyAt(Record node)

Specified by:

stoppedUnreliablyAt in interface AStarObserver

estimateComputed

public void estimateComputed(Head head)

Specified by:

estimateComputed in interface AStarObserver