public class DotDataAStarObserver
extends java.lang.Object
implements nl.tue.astar.AStarObserver
DotGraphAStarObserver
.Modifier and Type | Field and Description |
---|---|
protected int |
finalNodeCounter |
protected java.io.File |
outputFile |
protected int |
visitCounter |
protected java.io.Writer |
writer |
Constructor and Description |
---|
DotDataAStarObserver(java.io.File outputFile,
org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<? extends nl.tue.astar.Tail> delegate,
java.util.Map<org.deckfour.xes.model.XEvent,org.deckfour.xes.classification.XEventClass> mapEv2EventClass,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
TraceMapping traceMapping,
nl.tue.astar.Trace trace,
it.unimi.dsi.fastutil.Hash.Strategy<DRecord> strategy) |
Modifier and Type | Method and Description |
---|---|
protected void |
addPathToRoot(nl.tue.astar.Record node) |
void |
close()
Needs to be called after the observer is no longer needed.
|
void |
edgeTraversed(nl.tue.astar.Record from,
nl.tue.astar.Record to) |
void |
estimateComputed(nl.tue.astar.Head head) |
void |
finalNodeFound(nl.tue.astar.Record node) |
void |
initialNodeCreated(nl.tue.astar.Record node) |
void |
nodeVisited(nl.tue.astar.Record node) |
void |
stoppedUnreliablyAt(nl.tue.astar.Record node) |
protected java.io.Writer writer
protected int visitCounter
protected int finalNodeCounter
protected final java.io.File outputFile
public DotDataAStarObserver(java.io.File outputFile, org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<? extends nl.tue.astar.Tail> delegate, java.util.Map<org.deckfour.xes.model.XEvent,org.deckfour.xes.classification.XEventClass> mapEv2EventClass, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, TraceMapping traceMapping, nl.tue.astar.Trace trace, it.unimi.dsi.fastutil.Hash.Strategy<DRecord> strategy)
public void nodeVisited(nl.tue.astar.Record node)
nodeVisited
in interface nl.tue.astar.AStarObserver
public void edgeTraversed(nl.tue.astar.Record from, nl.tue.astar.Record to)
edgeTraversed
in interface nl.tue.astar.AStarObserver
public void initialNodeCreated(nl.tue.astar.Record node)
initialNodeCreated
in interface nl.tue.astar.AStarObserver
public void finalNodeFound(nl.tue.astar.Record node)
finalNodeFound
in interface nl.tue.astar.AStarObserver
public void close()
nl.tue.astar.AStarObserver
close
in interface nl.tue.astar.AStarObserver
protected void addPathToRoot(nl.tue.astar.Record node) throws java.io.IOException
java.io.IOException
public void stoppedUnreliablyAt(nl.tue.astar.Record node)
stoppedUnreliablyAt
in interface nl.tue.astar.AStarObserver
public void estimateComputed(nl.tue.astar.Head head)
estimateComputed
in interface nl.tue.astar.AStarObserver