public interface DfgMsd extends DirectlyFollowsModel
Modifier and Type | Method and Description |
---|---|
DfgMsd |
clone() |
IntGraph |
getMinimumSelfDistanceGraph() |
addActivity, getActivityOfIndex, getAllActivities
addActivity, addEmptyTraces, collapseParallelIntoDirectly, getActivities, getConcurrencyGraph, getDirectlyFollowsGraph, getEndActivities, getNumberOfActivities, getNumberOfEmptyTraces, getStartActivities, hasEndActivities, hasStartActivities, setNumberOfEmptyTraces, touchActivity