public class TraceAlignmentReplayStateBase
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
boolean |
isBrokenTrace |
boolean |
isPerfectFitTrace |
Constructor and Description |
---|
TraceAlignmentReplayStateBase() |
Modifier and Type | Method and Description |
---|---|
TokenFlowSimulation |
getMarking() |
int |
getStepCount() |
TokenFlowResults |
getTransitionEvents() |
void |
Init() |
boolean |
NextStep(TraceReplayStepData trs) |
public boolean isPerfectFitTrace
public boolean isBrokenTrace
public void Init()
public TokenFlowResults getTransitionEvents()
public TokenFlowSimulation getMarking()
public int getStepCount()
public boolean NextStep(TraceReplayStepData trs)