Package org.processmining.partialorder.models.replay

Class POSyncReplayResult

java.lang.Object

org.processmining.plugins.replayer.replayresult.SyncReplayResult

org.processmining.partialorder.models.replay.POSyncReplayResult

public class POSyncReplayResult
extends org.processmining.plugins.replayer.replayresult.SyncReplayResult

Extended class of SyncReplayResult to include information that is needed to compute partially ordered alignment

• Added: a list "indices" from a move in alignment to the corresponding index in the trace.
• Added: the alignment graph of PartialOrderGraph
• Added: the unfolded petrinet of POAlignmtUnfoldedNet
• Added: the synchronous product of SyncProductModel
• Added: the partially ordered trace PTrace

Author:

xlu

Constructor Summary

Constructors

Constructor	Description
POSyncReplayResult(java.util.List<java.lang.Object> nodeInstance, java.util.List<org.processmining.plugins.petrinet.replayresult.StepTypes> stepTypes, int traceIndex, gnu.trove.list.TIntList indeces)

Method Summary

Modifier and Type	Method	Description
gnu.trove.list.TIntList	getIndeces()
PAlignment	getPOAlignmentGraph()
PTrace	getPotrace()
SyncProductModel	getSyncModel()
POAlignmtUnfoldedNet	getUnfoldednet()
void	setGraph(PAlignment graph)
void	setIndeces(gnu.trove.list.TIntList indeces)
void	setPotrace(PTrace potrace)
void	setSyncModel(SyncProductModel syncModel)
void	setUnfoldednet(POAlignmtUnfoldedNet unfoldednet)

Methods inherited from class org.processmining.plugins.replayer.replayresult.SyncReplayResult

addInfo, addNewCase, getInfo, getNodeInstance, getStepTypes, getTraceIndex, isReliable, setInfo, setNodeInstance, setReliable, setStepTypes, setTraceIndex

Methods inherited from class java.lang.Object

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

Constructor Detail

POSyncReplayResult

public POSyncReplayResult(java.util.List<java.lang.Object> nodeInstance,
                          java.util.List<org.processmining.plugins.petrinet.replayresult.StepTypes> stepTypes,
                          int traceIndex,
                          gnu.trove.list.TIntList indeces)

Method Detail

getIndeces

public gnu.trove.list.TIntList getIndeces()

Returns:

a list "indeces" of int, with size of the alignment. indeces[i] >= 0 gives the corresponding index of the move in the original trace. indeces[i] < 0 indicates a model move.

setIndeces

public void setIndeces(gnu.trove.list.TIntList indeces)

getPOAlignmentGraph

public PAlignment getPOAlignmentGraph()

setGraph

public void setGraph(PAlignment graph)

getUnfoldednet

public POAlignmtUnfoldedNet getUnfoldednet()

setUnfoldednet

public void setUnfoldednet(POAlignmtUnfoldedNet unfoldednet)

getSyncModel

public SyncProductModel getSyncModel()

setSyncModel

public void setSyncModel(SyncProductModel syncModel)

getPotrace

public PTrace getPotrace()

setPotrace

public void setPotrace(PTrace potrace)