Package org.processmining.processcomparisonpetrinetdecomposition.util

Class AlignmentReplayer

java.lang.Object

org.processmining.processcomparisonpetrinetdecomposition.util.AlignmentReplayer

public class AlignmentReplayer
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
AlignmentReplayer(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.deckfour.xes.model.XTrace trace, org.processmining.plugins.replayer.replayresult.SyncReplayResult alignment, org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPSTNode fragment)

Method Summary

Modifier and Type	Method	Description
int	curLogIndex()
org.deckfour.xes.model.XEvent	curLogStep()
org.processmining.models.graphbased.directed.petrinet.elements.Transition	curModelStep()
org.processmining.plugins.petrinet.replayresult.StepTypes	curStepType()
int	curTokens()
boolean	didLastExitedExecActivateFragTrans()
boolean	exitedSyncExecution()
boolean	hasEntered()
boolean	hasExited()
boolean	hasNext()
boolean	isInFragment()
boolean	isInSyncExecution()
boolean	next()

Methods inherited from class java.lang.Object

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

Constructor Detail

AlignmentReplayer

public AlignmentReplayer(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                         org.deckfour.xes.model.XTrace trace,
                         org.processmining.plugins.replayer.replayresult.SyncReplayResult alignment,
                         org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPSTNode fragment)

Method Detail

next

public boolean next()

isInSyncExecution

public boolean isInSyncExecution()

exitedSyncExecution

public boolean exitedSyncExecution()

hasEntered

public boolean hasEntered()

hasExited

public boolean hasExited()

curTokens

public int curTokens()

isInFragment

public boolean isInFragment()

curStepType

public org.processmining.plugins.petrinet.replayresult.StepTypes curStepType()

curModelStep

public org.processmining.models.graphbased.directed.petrinet.elements.Transition curModelStep()

curLogStep

public org.deckfour.xes.model.XEvent curLogStep()

curLogIndex

public int curLogIndex()

didLastExitedExecActivateFragTrans

public boolean didLastExitedExecActivateFragTrans()

hasNext

public boolean hasNext()