public class PetrinetReplayerILPRestrictedMoveModel extends PetrinetReplayerWithILP
AbstractPetrinetReplayer.Representative, AbstractPetrinetReplayer.Result
classifier, finalMarkings, initMarking, mapEvClass2Cost, mapSync2Cost, mapTrans2Cost, maxNumOfStates, queuedStates, traversedArcs, usePartialOrderEvents, visitedStates
Constructor and Description |
---|
PetrinetReplayerILPRestrictedMoveModel() |
Modifier and Type | Method and Description |
---|---|
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 param)
Replay log assuming GUI exist (progress bars, etc)
|
java.lang.String |
toString()
The name of the algorithm
|
getDelegate, isReqWOParameterSatisfied
addReplayResults, compareEventClassList, constructHead, constructParamProvider, getLinearTrace, getMinBoundMoveModel, getPartialOrderBuilder, importParameters, isParameterReqCorrect, recordToResult, setPartialOrderBuilder
public PetrinetReplayerILPRestrictedMoveModel()
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 PetrinetReplayerWithILP
public java.lang.String toString()
IPNReplayAlgorithm
toString
in interface IPNReplayAlgorithm
toString
in class PetrinetReplayerWithILP
public java.lang.String getHTMLInfo()
IPNReplayAlgorithm
getHTMLInfo
in interface IPNReplayAlgorithm
getHTMLInfo
in class AbstractPetrinetReplayer<PILPTail,PILPDelegate>
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 param)
IPNReplayAlgorithm
replayLog
in interface IPNReplayAlgorithm
replayLog
in class AbstractPetrinetReplayer<PILPTail,PILPDelegate>