public class StatCalculatorTransitionServiceTime extends StatCalculatorTransitionTimes
myLabelNode, myLabels, tus| Constructor and Description |
|---|
StatCalculatorTransitionServiceTime() |
| Modifier and Type | Method and Description |
|---|---|
void |
addLabelsToPSEN(IPerformanceStatisticsEnrichedNet psnet,
IPerformanceStatisticsEnrichedNet wtt) |
int |
getEndId(TransitionEvent te) |
int |
getStartId(TransitionEvent te) |
calculate, getTimeForTransitionEvent, getTimesFromLogReplay, getTimesFromTraceAlignmentBatchpublic void addLabelsToPSEN(IPerformanceStatisticsEnrichedNet psnet, IPerformanceStatisticsEnrichedNet wtt)
addLabelsToPSEN in class StatCalculatorTransitionTimespublic int getStartId(TransitionEvent te)
getStartId in class StatCalculatorTransitionTimespublic int getEndId(TransitionEvent te)
getEndId in class StatCalculatorTransitionTimes