public class PetrinetReplayerNoILPRestrictedMoveModel extends PetrinetReplayerWithoutILP
AbstractPetrinetReplayer.Representative, AbstractPetrinetReplayer.Result
classifier, finalMarkings, initMarking, mapEvClass2Cost, mapSync2Cost, mapTrans2Cost, maxNumOfStates, queuedStates, traversedArcs, usePartialOrderEvents, visitedStates
Constructor and Description |
---|
PetrinetReplayerNoILPRestrictedMoveModel() |
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
addReplayResults, compareEventClassList, constructHead, constructParamProvider, getLinearTrace, getMinBoundMoveModel, getPartialOrderBuilder, importParameters, isParameterReqCorrect, isReqWOParameterSatisfied, recordToResult, setPartialOrderBuilder
public PetrinetReplayerNoILPRestrictedMoveModel()
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)
AbstractPetrinetReplayer
isAllReqSatisfied
in interface IPNReplayAlgorithm
isAllReqSatisfied
in class AbstractPetrinetReplayer<PNaiveTail,PNaiveDelegate>
public java.lang.String toString()
IPNReplayAlgorithm
toString
in interface IPNReplayAlgorithm
toString
in class PetrinetReplayerWithoutILP
public java.lang.String getHTMLInfo()
IPNReplayAlgorithm
getHTMLInfo
in interface IPNReplayAlgorithm
getHTMLInfo
in class AbstractPetrinetReplayer<PNaiveTail,PNaiveDelegate>
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<PNaiveTail,PNaiveDelegate>