Interface IntDfg
-
- All Superinterfaces:
java.lang.Cloneable
- All Known Subinterfaces:
DfgMsd,DirectlyFollowsGraph
- All Known Implementing Classes:
DfgMsdImpl,IntDfgImpl
public interface IntDfg extends java.lang.Cloneable
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidaddActivity(int index)Add an activity.voidaddEmptyTraces(long cardinality)Adds empty traces.IntDfgclone()voidcollapseParallelIntoDirectly()Adds a directly follows graph edge (in each direction) for each parallel edge.MultiIntSetgetActivities()IntGraphgetConcurrencyGraph()IntGraphgetDirectlyFollowsGraph()MultiIntSetgetEndActivities()intgetNumberOfActivities()longgetNumberOfEmptyTraces()MultiIntSetgetStartActivities()booleanhasEndActivities()booleanhasStartActivities()voidsetNumberOfEmptyTraces(long numberOfEmptyTraces)Set the number of empty (epsilon) traces.voidtouchActivity(int index)Make sure an activity is in the graphs.
-
-
-
Method Detail
-
getActivities
MultiIntSet getActivities()
-
getNumberOfActivities
int getNumberOfActivities()
- Returns:
- The number of activities.
-
addActivity
void addActivity(int index)
Add an activity.- Parameters:
index-
-
touchActivity
void touchActivity(int index)
Make sure an activity is in the graphs.
-
getNumberOfEmptyTraces
long getNumberOfEmptyTraces()
- Returns:
- The number of empty (epsilon) traces.
-
setNumberOfEmptyTraces
void setNumberOfEmptyTraces(long numberOfEmptyTraces)
Set the number of empty (epsilon) traces.- Parameters:
numberOfEmptyTraces-
-
addEmptyTraces
void addEmptyTraces(long cardinality)
Adds empty traces.- Parameters:
cardinality-
-
hasStartActivities
boolean hasStartActivities()
-
hasEndActivities
boolean hasEndActivities()
-
getDirectlyFollowsGraph
IntGraph getDirectlyFollowsGraph()
-
getConcurrencyGraph
IntGraph getConcurrencyGraph()
-
getStartActivities
MultiIntSet getStartActivities()
-
getEndActivities
MultiIntSet getEndActivities()
-
clone
IntDfg clone()
-
collapseParallelIntoDirectly
void collapseParallelIntoDirectly()
Adds a directly follows graph edge (in each direction) for each parallel edge.
-
-