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.AStarObserverpublic void edgeTraversed(nl.tue.astar.Record from,
nl.tue.astar.Record to)
edgeTraversed in interface nl.tue.astar.AStarObserverpublic void initialNodeCreated(nl.tue.astar.Record node)
initialNodeCreated in interface nl.tue.astar.AStarObserverpublic void finalNodeFound(nl.tue.astar.Record node)
finalNodeFound in interface nl.tue.astar.AStarObserverpublic void close()
nl.tue.astar.AStarObserverclose in interface nl.tue.astar.AStarObserverprotected void addPathToRoot(nl.tue.astar.Record node)
throws java.io.IOException
java.io.IOExceptionpublic void stoppedUnreliablyAt(nl.tue.astar.Record node)
stoppedUnreliablyAt in interface nl.tue.astar.AStarObserverpublic void estimateComputed(nl.tue.astar.Head head)
estimateComputed in interface nl.tue.astar.AStarObserver