public class TraceAlignmentReplayState extends TraceAlignmentReplayStateBase
isBrokenTrace, isPerfectFitTrace| Constructor and Description |
|---|
TraceAlignmentReplayState(ITraceAlignment ta,
TokenFlowSimulation initMarking,
org.deckfour.xes.model.XTrace tr,
IReplayResultWrapper rw) |
| Modifier and Type | Method and Description |
|---|---|
TokenFlowSimulation |
getMarking() |
int |
getStepCount() |
TokenFlowResults |
getTransitionEvents() |
void |
Init() |
boolean |
NextStep(TraceReplayStepData trs) |
public TraceAlignmentReplayState(ITraceAlignment ta, TokenFlowSimulation initMarking, org.deckfour.xes.model.XTrace tr, IReplayResultWrapper rw)
public TokenFlowResults getTransitionEvents()
getTransitionEvents in class TraceAlignmentReplayStateBasepublic TokenFlowSimulation getMarking()
getMarking in class TraceAlignmentReplayStateBasepublic void Init()
Init in class TraceAlignmentReplayStateBasepublic int getStepCount()
getStepCount in class TraceAlignmentReplayStateBasepublic boolean NextStep(TraceReplayStepData trs)
NextStep in class TraceAlignmentReplayStateBase