| 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 IntDfgpublic void addActivity(int index)
IntDfgaddActivity in interface IntDfgpublic void touchActivity(int index)
IntDfgtouchActivity in interface IntDfgpublic int getNumberOfActivities()
getNumberOfActivities in interface IntDfgpublic long getNumberOfEmptyTraces()
getNumberOfEmptyTraces in interface IntDfgpublic void setNumberOfEmptyTraces(long numberOfEmptyTraces)
IntDfgsetNumberOfEmptyTraces in interface IntDfgpublic void addEmptyTraces(long cardinality)
IntDfgaddEmptyTraces in interface IntDfgpublic boolean hasStartActivities()
hasStartActivities in interface IntDfgpublic boolean hasEndActivities()
hasEndActivities in interface IntDfgpublic IntDfgImpl clone()
public java.lang.String toString()
toString in class java.lang.Objectpublic void collapseParallelIntoDirectly()
IntDfgcollapseParallelIntoDirectly in interface IntDfgpublic IntGraph getDirectlyFollowsGraph()
getDirectlyFollowsGraph in interface IntDfgpublic IntGraph getConcurrencyGraph()
getConcurrencyGraph in interface IntDfgpublic MultiIntSet getStartActivities()
getStartActivities in interface IntDfgpublic MultiIntSet getEndActivities()
getEndActivities in interface IntDfg