public interface Dfg extends NormalisedIntDfg
Modifier and Type | Method and Description |
---|---|
int |
addActivity(org.deckfour.xes.classification.XEventClass activity)
Adds an activity to the Dfg.
|
void |
addDirectlyFollowsEdge(org.deckfour.xes.classification.XEventClass source,
org.deckfour.xes.classification.XEventClass target,
long cardinality) |
void |
addEndActivities(Dfg dfg)
Add the end activities in the dfg to the end activities.
|
void |
addEndActivities(MultiSet<org.deckfour.xes.classification.XEventClass> endActivities)
Add the end activities in the multiset to the end activities.
|
void |
addEndActivity(org.deckfour.xes.classification.XEventClass activity,
long cardinality) |
void |
addParallelEdge(org.deckfour.xes.classification.XEventClass a,
org.deckfour.xes.classification.XEventClass b,
long cardinality) |
void |
addStartActivities(Dfg dfg)
Add the start activities in the dfg to the start activities.
|
void |
addStartActivities(MultiSet<org.deckfour.xes.classification.XEventClass> startActivities)
Add the start activities in the multiset to the start activities.
|
void |
addStartActivity(org.deckfour.xes.classification.XEventClass activity,
long cardinality) |
Dfg |
clone() |
void |
collapseParallelIntoDirectly()
Adds a directly follows graph edge (in each direction) for each parallel
edge.
|
boolean |
containsConcurrencyEdge(org.deckfour.xes.classification.XEventClass source,
org.deckfour.xes.classification.XEventClass target) |
boolean |
containsDirectlyFollowsEdge(org.deckfour.xes.classification.XEventClass source,
org.deckfour.xes.classification.XEventClass target) |
org.deckfour.xes.classification.XEventClass[] |
getActivities() |
int[] |
getActivityIndices() |
org.deckfour.xes.classification.XEventClass |
getActivityOfIndex(int activityIndex) |
org.deckfour.xes.classification.XEventClass |
getConcurrencyEdgeSource(long edgeIndex) |
org.deckfour.xes.classification.XEventClass |
getConcurrencyEdgeTarget(long edgeIndex) |
Graph<org.deckfour.xes.classification.XEventClass> |
getConcurrencyGraph()
Deprecated.
|
org.deckfour.xes.classification.XEventClass |
getDirectlyFollowsEdgeSource(long edgeIndex) |
org.deckfour.xes.classification.XEventClass |
getDirectlyFollowsEdgeTarget(long edgeIndex) |
Graph<org.deckfour.xes.classification.XEventClass> |
getDirectlyFollowsGraph()
Deprecated.
|
java.lang.Iterable<org.deckfour.xes.classification.XEventClass> |
getEndActivities()
Return an iterable over the start activities.
|
long |
getEndActivityCardinality(org.deckfour.xes.classification.XEventClass activity) |
int |
getIndexOfActivity(org.deckfour.xes.classification.XEventClass activity) |
int |
getNumberOfActivities() |
java.lang.Iterable<org.deckfour.xes.classification.XEventClass> |
getStartActivities()
Return an iterable over the start activities.
|
long |
getStartActivityCardinality(org.deckfour.xes.classification.XEventClass activity) |
boolean |
isEndActivity(org.deckfour.xes.classification.XEventClass activity) |
boolean |
isStartActivity(org.deckfour.xes.classification.XEventClass activity) |
void |
removeEndActivity(org.deckfour.xes.classification.XEventClass activity)
Removes the end activity.
|
void |
removeStartActivity(org.deckfour.xes.classification.XEventClass activity)
Removes the start activity.
|
addActivity, addDirectlyFollowsEdge, addEmptyTraces, addEndActivities, addEndActivity, addParallelEdge, addStartActivity, containsConcurrencyEdge, containsDirectlyFollowsEdge, getConcurrencyEdgeCardinality, getConcurrencyEdges, getConcurrencyEdgeSourceIndex, getConcurrencyEdgeTargetIndex, getDirectlyFollowsEdgeCardinality, getDirectlyFollowsEdges, getDirectlyFollowsEdgeSourceIndex, getDirectlyFollowsEdgeTargetIndex, getEndActivityCardinality, getEndActivityIndices, getMostOccuringConcurrencyEdgeCardinality, getMostOccuringDirectlyFollowsEdgeCardinality, getMostOccurringEndActivityCardinality, getMostOccurringStartActivityCardinality, getNumberOfEmptyTraces, getNumberOfEndActivities, getNumberOfEndActivitiesAsSet, getNumberOfStartActivities, getNumberOfStartActivitiesAsSet, getStartActivityCardinality, getStartActivityIndices, hasEndActivities, hasStartActivities, isEndActivity, isStartActivity, removeEndActivity, removeStartActivity, setNumberOfEmptyTraces
int addActivity(org.deckfour.xes.classification.XEventClass activity)
activity
- @Deprecated Graph<org.deckfour.xes.classification.XEventClass> getDirectlyFollowsGraph()
getDirectlyFollowsGraph
in interface NormalisedIntDfg
int[] getActivityIndices()
@Deprecated Graph<org.deckfour.xes.classification.XEventClass> getConcurrencyGraph()
getConcurrencyGraph
in interface NormalisedIntDfg
void addDirectlyFollowsEdge(org.deckfour.xes.classification.XEventClass source, org.deckfour.xes.classification.XEventClass target, long cardinality)
void addParallelEdge(org.deckfour.xes.classification.XEventClass a, org.deckfour.xes.classification.XEventClass b, long cardinality)
void addStartActivity(org.deckfour.xes.classification.XEventClass activity, long cardinality)
void addEndActivity(org.deckfour.xes.classification.XEventClass activity, long cardinality)
void collapseParallelIntoDirectly()
collapseParallelIntoDirectly
in interface NormalisedIntDfg
Dfg clone()
clone
in interface NormalisedIntDfg
int getNumberOfActivities()
getNumberOfActivities
in interface NormalisedIntDfg
int getIndexOfActivity(org.deckfour.xes.classification.XEventClass activity)
activity
- org.deckfour.xes.classification.XEventClass getActivityOfIndex(int activityIndex)
activityIndex
- boolean isStartActivity(org.deckfour.xes.classification.XEventClass activity)
activity
- long getStartActivityCardinality(org.deckfour.xes.classification.XEventClass activity)
activity
- boolean isEndActivity(org.deckfour.xes.classification.XEventClass activity)
activity
- long getEndActivityCardinality(org.deckfour.xes.classification.XEventClass activity)
activity
- org.deckfour.xes.classification.XEventClass[] getActivities()
boolean containsDirectlyFollowsEdge(org.deckfour.xes.classification.XEventClass source, org.deckfour.xes.classification.XEventClass target)
org.deckfour.xes.classification.XEventClass getDirectlyFollowsEdgeSource(long edgeIndex)
org.deckfour.xes.classification.XEventClass getDirectlyFollowsEdgeTarget(long edgeIndex)
boolean containsConcurrencyEdge(org.deckfour.xes.classification.XEventClass source, org.deckfour.xes.classification.XEventClass target)
org.deckfour.xes.classification.XEventClass getConcurrencyEdgeSource(long edgeIndex)
org.deckfour.xes.classification.XEventClass getConcurrencyEdgeTarget(long edgeIndex)
void addStartActivities(MultiSet<org.deckfour.xes.classification.XEventClass> startActivities)
startActivities
- void addStartActivities(Dfg dfg)
dfg
- void removeStartActivity(org.deckfour.xes.classification.XEventClass activity)
activity
- java.lang.Iterable<org.deckfour.xes.classification.XEventClass> getStartActivities()
void addEndActivities(MultiSet<org.deckfour.xes.classification.XEventClass> endActivities)
endActivities
- void addEndActivities(Dfg dfg)
dfg
- void removeEndActivity(org.deckfour.xes.classification.XEventClass activity)
activity
- java.lang.Iterable<org.deckfour.xes.classification.XEventClass> getEndActivities()