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)