public interface IPNManifestReplayAlgorithm
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getHTMLInfo()
Return information about this algorithm
|
boolean |
isAllReqSatisfied(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
AbstractPNManifestReplayerParameter parameters)
Return true if all replay inputs are correct
|
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)
Return true if input of replay without parameters are correct
|
Manifest |
replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
AbstractPNManifestReplayerParameter parameter)
Main method, assuming that all required inputs are valid
|
Manifest replayLog(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, AbstractPNManifestReplayerParameter parameter) throws nl.tue.astar.AStarException
net
- log
- mapping
- parameter
- nl.tue.astar.AStarException
boolean isAllReqSatisfied(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, AbstractPNManifestReplayerParameter parameters)
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)
java.lang.String getHTMLInfo()