public class PetrinetReplayerSSD extends AbstractPetrinetReplayer<nl.tue.astar.impl.DijkstraTail,DijkstraPDelegate>
AbstractPetrinetReplayer.Representative, AbstractPetrinetReplayer.Result
classifier, finalMarkings, initMarking, mapEvClass2Cost, mapSync2Cost, mapTrans2Cost, maxNumOfStates, queuedStates, traversedArcs, usePartialOrderEvents, visitedStates
Constructor and Description |
---|
PetrinetReplayerSSD() |
Modifier and Type | Method and Description |
---|---|
protected int |
addReplayResults(DijkstraPDelegate delegate,
org.deckfour.xes.model.XTrace trace,
AbstractPetrinetReplayer.Result r,
gnu.trove.map.TIntIntMap doneMap,
org.deckfour.xes.model.XLog log,
java.util.List<SyncReplayResult> col,
int traceIndex,
double maxPenalty) |
protected DijkstraPDelegate |
getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping mapping,
int delta,
int threads) |
java.lang.String |
getHTMLInfo()
HTML explanation of the algorithm
|
protected SyncReplayResult |
recordToResult(AbstractPDelegate<?> d,
org.deckfour.xes.model.XTrace trace,
nl.tue.astar.Trace filteredTrace,
PRecord r,
int traceIndex,
int stateCount,
boolean isReliable,
long milliseconds,
int queuedStates,
int minCostMoveModel,
gnu.trove.list.TIntList unUsedIndices,
gnu.trove.map.TIntIntMap trace2orgTrace) |
protected SyncReplayResult |
recordToResultSSD(DijkstraPDelegate d,
org.deckfour.xes.model.XTrace trace,
nl.tue.astar.Trace filteredTrace,
PRecord r,
int traceIndex,
int stateCount,
boolean isReliable,
long milliseconds,
int queuedStates,
double maxPenalty,
gnu.trove.list.TIntList unUsedIndices,
gnu.trove.map.TIntIntMap trace2orgTrace) |
PNRepResult |
replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameters)
Replay log assuming GUI exist (progress bars, etc)
|
java.lang.String |
toString()
The name of the algorithm
|
addReplayResults, compareEventClassList, constructHead, constructParamProvider, getLinearTrace, getMinBoundMoveModel, getPartialOrderBuilder, importParameters, isAllReqSatisfied, isParameterReqCorrect, isReqWOParameterSatisfied, setPartialOrderBuilder
public java.lang.String toString()
IPNReplayAlgorithm
toString
in interface IPNReplayAlgorithm
toString
in class java.lang.Object
protected DijkstraPDelegate getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, TransEvClassMapping mapping, int delta, int threads)
getDelegate
in class AbstractPetrinetReplayer<nl.tue.astar.impl.DijkstraTail,DijkstraPDelegate>
public PNRepResult replayLog(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping, IPNReplayParameter parameters) throws nl.tue.astar.AStarException
IPNReplayAlgorithm
replayLog
in interface IPNReplayAlgorithm
replayLog
in class AbstractPetrinetReplayer<nl.tue.astar.impl.DijkstraTail,DijkstraPDelegate>
nl.tue.astar.AStarException
protected int addReplayResults(DijkstraPDelegate delegate, org.deckfour.xes.model.XTrace trace, AbstractPetrinetReplayer.Result r, gnu.trove.map.TIntIntMap doneMap, org.deckfour.xes.model.XLog log, java.util.List<SyncReplayResult> col, int traceIndex, double maxPenalty)
protected SyncReplayResult recordToResult(AbstractPDelegate<?> d, org.deckfour.xes.model.XTrace trace, nl.tue.astar.Trace filteredTrace, PRecord r, int traceIndex, int stateCount, boolean isReliable, long milliseconds, int queuedStates, int minCostMoveModel, gnu.trove.list.TIntList unUsedIndices, gnu.trove.map.TIntIntMap trace2orgTrace)
recordToResult
in class AbstractPetrinetReplayer<nl.tue.astar.impl.DijkstraTail,DijkstraPDelegate>
protected SyncReplayResult recordToResultSSD(DijkstraPDelegate d, org.deckfour.xes.model.XTrace trace, nl.tue.astar.Trace filteredTrace, PRecord r, int traceIndex, int stateCount, boolean isReliable, long milliseconds, int queuedStates, double maxPenalty, gnu.trove.list.TIntList unUsedIndices, gnu.trove.map.TIntIntMap trace2orgTrace)
public java.lang.String getHTMLInfo()
IPNReplayAlgorithm
getHTMLInfo
in interface IPNReplayAlgorithm
getHTMLInfo
in class AbstractPetrinetReplayer<nl.tue.astar.impl.DijkstraTail,DijkstraPDelegate>