public class PetrinetSwapReplayer extends PetrinetReplayerILPRestrictedMoveModel
AbstractPetrinetReplayer.Representative, AbstractPetrinetReplayer.Resultclassifier, finalMarkings, initMarking, mapEvClass2Cost, mapSync2Cost, mapTrans2Cost, maxNumOfStates, queuedStates, traversedArcs, usePartialOrderEvents, visitedStates| Constructor and Description |
|---|
PetrinetSwapReplayer() |
| Modifier and Type | Method and Description |
|---|---|
IPNReplayParamProvider |
constructParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
construct GUI in which the parameter for this algorithm can be obtained
|
java.lang.String |
getHTMLInfo()
HTML explanation of the algorithm
|
boolean |
isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
Return true if all replay inputs are correct
|
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
|
getDelegate, isReqWOParameterSatisfiedaddReplayResults, compareEventClassList, constructHead, getLinearTrace, getMinBoundMoveModel, getPartialOrderBuilder, importParameters, isParameterReqCorrect, recordToResult, setPartialOrderBuilderpublic boolean isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
PetrinetReplayerWithILPisAllReqSatisfied in interface IPNReplayAlgorithmisAllReqSatisfied in class PetrinetReplayerILPRestrictedMoveModelpublic java.lang.String toString()
IPNReplayAlgorithmtoString in interface IPNReplayAlgorithmtoString in class PetrinetReplayerILPRestrictedMoveModelpublic java.lang.String getHTMLInfo()
IPNReplayAlgorithmgetHTMLInfo in interface IPNReplayAlgorithmgetHTMLInfo in class PetrinetReplayerILPRestrictedMoveModelpublic 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)
IPNReplayAlgorithmreplayLog in interface IPNReplayAlgorithmreplayLog in class PetrinetReplayerILPRestrictedMoveModelpublic IPNReplayParamProvider constructParamProvider(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping)
constructParamProvider in interface IPNReplayAlgorithmconstructParamProvider in class AbstractPetrinetReplayer<PILPTail,PILPDelegate>