public interface Dfg
| 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 |
addEmptyTraces(long cardinality)
Adds empty traces.
|
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(int sourceIndex,
int targetIndex) |
boolean |
containsConcurrencyEdge(org.deckfour.xes.classification.XEventClass source,
org.deckfour.xes.classification.XEventClass target) |
boolean |
containsDirectlyFollowsEdge(int sourceIndex,
int targetIndex) |
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) |
long |
getConcurrencyEdgeCardinality(long edgeIndex) |
java.lang.Iterable<java.lang.Long> |
getConcurrencyEdges()
Returns an iterable that iterates over all edges; The edges that are
returned are indices.
|
org.deckfour.xes.classification.XEventClass |
getConcurrencyEdgeSource(long edgeIndex) |
int |
getConcurrencyEdgeSourceIndex(long edgeIndex) |
org.deckfour.xes.classification.XEventClass |
getConcurrencyEdgeTarget(long edgeIndex) |
int |
getConcurrencyEdgeTargetIndex(long edgeIndex) |
Graph<org.deckfour.xes.classification.XEventClass> |
getConcurrencyGraph()
Deprecated.
|
long |
getDirectlyFollowsEdgeCardinality(long edgeIndex) |
java.lang.Iterable<java.lang.Long> |
getDirectlyFollowsEdges()
Returns an iterable that iterates over all edges; The edges that are
returned are indices.
|
org.deckfour.xes.classification.XEventClass |
getDirectlyFollowsEdgeSource(long edgeIndex) |
int |
getDirectlyFollowsEdgeSourceIndex(long edgeIndex) |
org.deckfour.xes.classification.XEventClass |
getDirectlyFollowsEdgeTarget(long edgeIndex) |
int |
getDirectlyFollowsEdgeTargetIndex(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(int activityIndex) |
long |
getEndActivityCardinality(org.deckfour.xes.classification.XEventClass activity) |
int[] |
getEndActivityIndices() |
int |
getIndexOfActivity(org.deckfour.xes.classification.XEventClass activity) |
long |
getMostOccuringConcurrencyEdgeCardinality() |
long |
getMostOccuringDirectlyFollowsEdgeCardinality() |
long |
getMostOccurringEndActivityCardinality() |
long |
getMostOccurringStartActivityCardinality() |
int |
getNumberOfActivities() |
long |
getNumberOfEmptyTraces() |
long |
getNumberOfEndActivities() |
int |
getNumberOfEndActivitiesAsSet() |
long |
getNumberOfStartActivities() |
int |
getNumberOfStartActivitiesAsSet() |
java.lang.Iterable<org.deckfour.xes.classification.XEventClass> |
getStartActivities()
Return an iterable over the start activities.
|
long |
getStartActivityCardinality(int activityIndex) |
long |
getStartActivityCardinality(org.deckfour.xes.classification.XEventClass activity) |
int[] |
getStartActivityIndices() |
boolean |
hasEndActivities() |
boolean |
hasStartActivities() |
boolean |
isEndActivity(int activityIndex) |
boolean |
isEndActivity(org.deckfour.xes.classification.XEventClass activity) |
boolean |
isStartActivity(int activityIndex) |
boolean |
isStartActivity(org.deckfour.xes.classification.XEventClass activity) |
void |
removeConcurrencyEdge(long edgeIndex) |
void |
removeDirectlyFollowsEdge(long edgeIndex) |
void |
removeEndActivity(int activityIndex)
Removes the end activity.
|
void |
removeEndActivity(org.deckfour.xes.classification.XEventClass activity)
Removes the end activity.
|
void |
removeStartActivity(int activityIndex)
Removes the start activity.
|
void |
removeStartActivity(org.deckfour.xes.classification.XEventClass activity)
Removes the start activity.
|
void |
setNumberOfEmptyTraces(long numberOfEmptyTraces)
Set the number of empty (epsilon) traces.
|
int addActivity(org.deckfour.xes.classification.XEventClass activity)
activity - @Deprecated Graph<org.deckfour.xes.classification.XEventClass> getDirectlyFollowsGraph()
int[] getActivityIndices()
@Deprecated Graph<org.deckfour.xes.classification.XEventClass> getConcurrencyGraph()
long getNumberOfEmptyTraces()
void setNumberOfEmptyTraces(long numberOfEmptyTraces)
numberOfEmptyTraces - void addEmptyTraces(long cardinality)
cardinality - 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()
Dfg clone()
int getNumberOfActivities()
int getIndexOfActivity(org.deckfour.xes.classification.XEventClass activity)
activity - org.deckfour.xes.classification.XEventClass getActivityOfIndex(int activityIndex)
activityIndex - boolean hasStartActivities()
boolean hasEndActivities()
int getNumberOfStartActivitiesAsSet()
int getNumberOfEndActivitiesAsSet()
boolean isStartActivity(int activityIndex)
activityIndex - boolean isStartActivity(org.deckfour.xes.classification.XEventClass activity)
activity - long getStartActivityCardinality(int activityIndex)
activityIndex - long getStartActivityCardinality(org.deckfour.xes.classification.XEventClass activity)
activity - long getMostOccurringStartActivityCardinality()
boolean isEndActivity(int activityIndex)
activityIndex - boolean isEndActivity(org.deckfour.xes.classification.XEventClass activity)
activity - long getMostOccurringEndActivityCardinality()
long getEndActivityCardinality(int activityIndex)
activityIndex - long getEndActivityCardinality(org.deckfour.xes.classification.XEventClass activity)
activity - org.deckfour.xes.classification.XEventClass[] getActivities()
void removeDirectlyFollowsEdge(long edgeIndex)
java.lang.Iterable<java.lang.Long> getDirectlyFollowsEdges()
boolean containsDirectlyFollowsEdge(int sourceIndex,
int targetIndex)
boolean containsDirectlyFollowsEdge(org.deckfour.xes.classification.XEventClass source,
org.deckfour.xes.classification.XEventClass target)
int getDirectlyFollowsEdgeSourceIndex(long edgeIndex)
int getDirectlyFollowsEdgeTargetIndex(long edgeIndex)
org.deckfour.xes.classification.XEventClass getDirectlyFollowsEdgeSource(long edgeIndex)
org.deckfour.xes.classification.XEventClass getDirectlyFollowsEdgeTarget(long edgeIndex)
long getDirectlyFollowsEdgeCardinality(long edgeIndex)
long getMostOccuringDirectlyFollowsEdgeCardinality()
void removeConcurrencyEdge(long edgeIndex)
java.lang.Iterable<java.lang.Long> getConcurrencyEdges()
boolean containsConcurrencyEdge(int sourceIndex,
int targetIndex)
boolean containsConcurrencyEdge(org.deckfour.xes.classification.XEventClass source,
org.deckfour.xes.classification.XEventClass target)
int getConcurrencyEdgeSourceIndex(long edgeIndex)
int getConcurrencyEdgeTargetIndex(long edgeIndex)
org.deckfour.xes.classification.XEventClass getConcurrencyEdgeSource(long edgeIndex)
org.deckfour.xes.classification.XEventClass getConcurrencyEdgeTarget(long edgeIndex)
long getConcurrencyEdgeCardinality(long edgeIndex)
long getMostOccuringConcurrencyEdgeCardinality()
void addStartActivities(MultiSet<org.deckfour.xes.classification.XEventClass> startActivities)
startActivities - void addStartActivities(Dfg dfg)
startActivities - void removeStartActivity(int activityIndex)
activityIndex - void removeStartActivity(org.deckfour.xes.classification.XEventClass activity)
activity - java.lang.Iterable<org.deckfour.xes.classification.XEventClass> getStartActivities()
int[] getStartActivityIndices()
long getNumberOfStartActivities()
void addEndActivities(MultiSet<org.deckfour.xes.classification.XEventClass> endActivities)
endActivities - void addEndActivities(Dfg dfg)
startActivities - void removeEndActivity(int activityIndex)
activityIndex - void removeEndActivity(org.deckfour.xes.classification.XEventClass activity)
activity - java.lang.Iterable<org.deckfour.xes.classification.XEventClass> getEndActivities()
int[] getEndActivityIndices()
long getNumberOfEndActivities()