public class PetrinetReplayerWithILP extends AbstractPetrinetReplayer<PILPTail,PILPDelegate>
AbstractPetrinetReplayer.Representative, AbstractPetrinetReplayer.Result
classifier, finalMarkings, initMarking, mapEvClass2Cost, mapSync2Cost, mapTrans2Cost, maxNumOfStates, queuedStates, traversedArcs, usePartialOrderEvents, visitedStates
Constructor and Description |
---|
PetrinetReplayerWithILP() |
Modifier and Type | Method and Description |
---|---|
protected PILPDelegate |
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) |
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
|
boolean |
isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
Return true if input of replay without parameters are correct
|
java.lang.String |
toString()
The name of the algorithm
|
addReplayResults, compareEventClassList, constructHead, constructParamProvider, getHTMLInfo, getLinearTrace, getMinBoundMoveModel, getPartialOrderBuilder, importParameters, isParameterReqCorrect, recordToResult, replayLog, 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)
isAllReqSatisfied
in interface IPNReplayAlgorithm
isAllReqSatisfied
in class AbstractPetrinetReplayer<PILPTail,PILPDelegate>
public boolean isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping)
isReqWOParameterSatisfied
in interface IPNReplayAlgorithm
isReqWOParameterSatisfied
in class AbstractPetrinetReplayer<PILPTail,PILPDelegate>
public java.lang.String toString()
IPNReplayAlgorithm
toString
in interface IPNReplayAlgorithm
toString
in class java.lang.Object
protected PILPDelegate 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<PILPTail,PILPDelegate>