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 TraceAlignmentReplayStateBase
public TokenFlowSimulation getMarking()
getMarking
in class TraceAlignmentReplayStateBase
public void Init()
Init
in class TraceAlignmentReplayStateBase
public int getStepCount()
getStepCount
in class TraceAlignmentReplayStateBase
public boolean NextStep(TraceReplayStepData trs)
NextStep
in class TraceAlignmentReplayStateBase