public class DfgMsdImpl extends IntDfgImpl implements DfgMsd
Constructor and Description |
---|
DfgMsdImpl() |
DfgMsdImpl(java.lang.String[] activities) |
Modifier and Type | Method and Description |
---|---|
int |
addActivity(java.lang.String activity)
Adds an activity.
|
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
addActivity, addEmptyTraces, collapseParallelIntoDirectly, getActivities, getConcurrencyGraph, getDirectlyFollowsGraph, getEndActivities, getNumberOfActivities, getNumberOfEmptyTraces, getStartActivities, hasEndActivities, hasStartActivities, setNumberOfEmptyTraces
public DfgMsdImpl(java.lang.String[] activities)
public DfgMsdImpl()
public int addActivity(java.lang.String activity)
DirectlyFollowsModel
addActivity
in interface DirectlyFollowsModel
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 DirectlyFollowsModel
public DfgMsdImpl clone()
clone
in interface DirectlyFollowsModel
clone
in interface IntDfg
clone
in interface DfgMsd
clone
in class IntDfgImpl
public java.lang.String[] getAllActivities()
getAllActivities
in interface DirectlyFollowsModel