public class DfgMsdImpl extends IntDfgImpl implements DfgMsd
Constructor and Description |
---|
DfgMsdImpl(java.lang.String[] activities) |
Modifier and Type | Method and Description |
---|---|
DfgMsdImpl |
clone() |
java.lang.String |
getActivityOfIndex(int value) |
java.lang.String[] |
getAllActivities() |
IntGraph |
getMinimumSelfDistanceGraph() |
void |
setMinimumSelfDistanceGraph(IntGraph minimumSelfDistanceGraph) |
void |
touchActivity(int index)
Make sure an activity is in the graphs.
|
addActivity, addEmptyTraces, collapseParallelIntoDirectly, getActivities, getConcurrencyGraph, getDirectlyFollowsGraph, getEndActivities, getNumberOfActivities, getNumberOfEmptyTraces, getStartActivities, hasEndActivities, hasStartActivities, setNumberOfEmptyTraces, toString
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
equals, hashCode
addActivity, addEmptyTraces, collapseParallelIntoDirectly, getActivities, getConcurrencyGraph, getDirectlyFollowsGraph, getEndActivities, getNumberOfActivities, getNumberOfEmptyTraces, getStartActivities, hasEndActivities, hasStartActivities, setNumberOfEmptyTraces
public IntGraph getMinimumSelfDistanceGraph()
getMinimumSelfDistanceGraph
in interface DfgMsd
public void setMinimumSelfDistanceGraph(IntGraph minimumSelfDistanceGraph)
public void touchActivity(int index)
IntDfg
touchActivity
in interface IntDfg
touchActivity
in class IntDfgImpl
public java.lang.String getActivityOfIndex(int value)
getActivityOfIndex
in interface DirectlyFollowsGraph
public DfgMsdImpl clone()
clone
in interface DirectlyFollowsGraph
clone
in interface IntDfg
clone
in interface DfgMsd
clone
in class IntDfgImpl
public java.lang.String[] getAllActivities()
getAllActivities
in interface DirectlyFollowsGraph