public interface IntDfg
extends java.lang.Cloneable
Modifier and Type | Method and Description |
---|---|
void |
addActivity(int index)
Add an activity.
|
void |
addEmptyTraces(long cardinality)
Adds empty traces.
|
IntDfg |
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.
|
void |
touchActivity(int index)
Make sure an activity is in the graphs.
|
MultiIntSet getActivities()
int getNumberOfActivities()
void addActivity(int index)
index
- void touchActivity(int index)
long getNumberOfEmptyTraces()
void setNumberOfEmptyTraces(long numberOfEmptyTraces)
numberOfEmptyTraces
- void addEmptyTraces(long cardinality)
cardinality
- boolean hasStartActivities()
boolean hasEndActivities()
IntGraph getDirectlyFollowsGraph()
IntGraph getConcurrencyGraph()
MultiIntSet getStartActivities()
MultiIntSet getEndActivities()
IntDfg clone()
void collapseParallelIntoDirectly()