public class PetrinetSwapReplayer extends PetrinetReplayerILPRestrictedMoveModel
AbstractPetrinetReplayer.Representative, AbstractPetrinetReplayer.Result
classifier, 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, isReqWOParameterSatisfied
addReplayResults, compareEventClassList, constructHead, getLinearTrace, getMinBoundMoveModel, getPartialOrderBuilder, importParameters, isParameterReqCorrect, recordToResult, setPartialOrderBuilder
public 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)
PetrinetReplayerWithILP
isAllReqSatisfied
in interface IPNReplayAlgorithm
isAllReqSatisfied
in class PetrinetReplayerILPRestrictedMoveModel
public java.lang.String toString()
IPNReplayAlgorithm
toString
in interface IPNReplayAlgorithm
toString
in class PetrinetReplayerILPRestrictedMoveModel
public java.lang.String getHTMLInfo()
IPNReplayAlgorithm
getHTMLInfo
in interface IPNReplayAlgorithm
getHTMLInfo
in class PetrinetReplayerILPRestrictedMoveModel
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)
IPNReplayAlgorithm
replayLog
in interface IPNReplayAlgorithm
replayLog
in class PetrinetReplayerILPRestrictedMoveModel
public 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 IPNReplayAlgorithm
constructParamProvider
in class AbstractPetrinetReplayer<PILPTail,PILPDelegate>