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