public interface DirectlyFollowsGraph extends IntDfg
Modifier and Type | Method and Description |
---|---|
DirectlyFollowsGraph |
clone() |
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getActivityOfIndex(int value) |
java.lang.String[] |
getAllActivities() |
int |
hashCode() |
addActivity, addEmptyTraces, collapseParallelIntoDirectly, getActivities, getConcurrencyGraph, getDirectlyFollowsGraph, getEndActivities, getNumberOfActivities, getNumberOfEmptyTraces, getStartActivities, hasEndActivities, hasStartActivities, setNumberOfEmptyTraces, touchActivity
java.lang.String getActivityOfIndex(int value)
java.lang.String[] getAllActivities()
DirectlyFollowsGraph clone()
int hashCode()
hashCode
in class java.lang.Object
boolean equals(java.lang.Object obj)
equals
in class java.lang.Object