Constructor and Description |
---|
IntDfgImpl() |
Modifier and Type | Method and Description |
---|---|
void |
addActivity(int index)
Add an activity.
|
void |
addEmptyTraces(long cardinality)
Adds empty traces.
|
IntDfgImpl |
clone() |
void |
collapseParallelIntoDirectly()
Adds a directly follows graph edge (in each direction) for each parallel
edge.
|
MultiIntSet |
getActivities() |
IntGraph |
getConcurrencyGraph() |
IntGraph |
getDirectlyFollowsGraph() |
MultiIntSet |
getEndActivities() |
int |
getNumberOfActivities() |
long |
getNumberOfEmptyTraces() |
MultiIntSet |
getStartActivities() |
boolean |
hasEndActivities() |
boolean |
hasStartActivities() |
void |
setNumberOfEmptyTraces(long numberOfEmptyTraces)
Set the number of empty (epsilon) traces.
|
java.lang.String |
toString() |
void |
touchActivity(int index)
Make sure an activity is in the graphs.
|
public MultiIntSet getActivities()
getActivities
in interface IntDfg
public void addActivity(int index)
IntDfg
addActivity
in interface IntDfg
public void touchActivity(int index)
IntDfg
touchActivity
in interface IntDfg
public int getNumberOfActivities()
getNumberOfActivities
in interface IntDfg
public long getNumberOfEmptyTraces()
getNumberOfEmptyTraces
in interface IntDfg
public void setNumberOfEmptyTraces(long numberOfEmptyTraces)
IntDfg
setNumberOfEmptyTraces
in interface IntDfg
public void addEmptyTraces(long cardinality)
IntDfg
addEmptyTraces
in interface IntDfg
public boolean hasStartActivities()
hasStartActivities
in interface IntDfg
public boolean hasEndActivities()
hasEndActivities
in interface IntDfg
public IntDfgImpl clone()
public java.lang.String toString()
toString
in class java.lang.Object
public void collapseParallelIntoDirectly()
IntDfg
collapseParallelIntoDirectly
in interface IntDfg
public IntGraph getDirectlyFollowsGraph()
getDirectlyFollowsGraph
in interface IntDfg
public IntGraph getConcurrencyGraph()
getConcurrencyGraph
in interface IntDfg
public MultiIntSet getStartActivities()
getStartActivities
in interface IntDfg
public MultiIntSet getEndActivities()
getEndActivities
in interface IntDfg