org.processmining.plugins.petrinet.manifestreplayer.algorithms

Class PNManifestReplayerILPAlgorithm

java.lang.Object

org.processmining.plugins.petrinet.manifestreplayer.algorithms.PNManifestReplayerILPAlgorithm

All Implemented Interfaces:

IPNManifestReplayAlgorithm

public class PNManifestReplayerILPAlgorithm
extends java.lang.Object
implements IPNManifestReplayAlgorithm

Author:

aadrians Feb 20, 2012

Constructor Summary

Constructors

Constructor and Description
PNManifestReplayerILPAlgorithm()

Method Summary

Methods

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PNManifestReplayerILPAlgorithm

public PNManifestReplayerILPAlgorithm()

Method Detail

isAllReqSatisfied

public 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

Specified by:

isAllReqSatisfied in interface IPNManifestReplayAlgorithm

isCorrectParameterType

protected boolean isCorrectParameterType(AbstractPNManifestReplayerParameter param)

isReqWOParameterSatisfied

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)

Checking based on net, log, init marking, and final markings

Specified by:

isReqWOParameterSatisfied in interface IPNManifestReplayAlgorithm

replayLog

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

replay log, assuming whatever dependencies are satisfied. context is not used unless parameters.isGUIMode() is true

Specified by:

replayLog in interface IPNManifestReplayAlgorithm

Returns:

Throws:

nl.tue.astar.AStarException

getHTMLInfo

public java.lang.String getHTMLInfo()

Short explanation about the algorithm

Specified by:

getHTMLInfo in interface IPNManifestReplayAlgorithm

Returns:

toString

public java.lang.String toString()

the name of the algorithm

Overrides:

toString in class java.lang.Object