public class PNManifestReplayerILPAlgorithm extends java.lang.Object implements IPNManifestReplayAlgorithm
Constructor and Description |
---|
PNManifestReplayerILPAlgorithm() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getHTMLInfo()
Short explanation about the algorithm
|
boolean |
isAllReqSatisfied(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
AbstractPNManifestReplayerParameter param)
Checking based on net, log, mapping between net and log, and replay
parameters
|
protected boolean |
isCorrectParameterType(AbstractPNManifestReplayerParameter param) |
boolean |
isReqWOParameterSatisfied(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings)
Checking based on net, log, init marking, and final markings
|
Manifest |
replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
AbstractPNManifestReplayerParameter parametersAbs)
replay log, assuming whatever dependencies are satisfied.
|
java.lang.String |
toString()
the name of the algorithm
|
public boolean isAllReqSatisfied(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, AbstractPNManifestReplayerParameter param)
isAllReqSatisfied
in interface IPNManifestReplayAlgorithm
protected boolean isCorrectParameterType(AbstractPNManifestReplayerParameter param)
public boolean isReqWOParameterSatisfied(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking[] finalMarkings)
isReqWOParameterSatisfied
in interface IPNManifestReplayAlgorithm
public Manifest replayLog(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, AbstractPNManifestReplayerParameter parametersAbs) throws nl.tue.astar.AStarException
replayLog
in interface IPNManifestReplayAlgorithm
nl.tue.astar.AStarException
public java.lang.String getHTMLInfo()
getHTMLInfo
in interface IPNManifestReplayAlgorithm
public java.lang.String toString()
toString
in class java.lang.Object