| 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) |
static DfgImpl |
createTimeOptimised(int initialSize) |
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() |
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() |
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.
|
java.lang.String |
toString() |
public static DfgImpl createTimeOptimised(int initialSize)
public int addActivity(org.deckfour.xes.classification.XEventClass activity)
DfgaddActivity in interface Dfgpublic Graph<org.deckfour.xes.classification.XEventClass> getDirectlyFollowsGraph()
getDirectlyFollowsGraph in interface Dfgpublic org.deckfour.xes.classification.XEventClass[] getActivities()
getActivities in interface Dfgpublic int[] getActivityIndices()
getActivityIndices in interface Dfgpublic Graph<org.deckfour.xes.classification.XEventClass> getConcurrencyGraph()
getConcurrencyGraph in interface Dfgpublic long getNumberOfEmptyTraces()
getNumberOfEmptyTraces in interface Dfgpublic void setNumberOfEmptyTraces(long numberOfEmptyTraces)
DfgsetNumberOfEmptyTraces in interface Dfgpublic void addEmptyTraces(long cardinality)
DfgaddEmptyTraces in interface Dfgpublic void addDirectlyFollowsEdge(org.deckfour.xes.classification.XEventClass source,
org.deckfour.xes.classification.XEventClass target,
long cardinality)
addDirectlyFollowsEdge in interface Dfgpublic void addParallelEdge(org.deckfour.xes.classification.XEventClass a,
org.deckfour.xes.classification.XEventClass b,
long cardinality)
addParallelEdge in interface Dfgpublic void addStartActivity(org.deckfour.xes.classification.XEventClass activity,
long cardinality)
addStartActivity in interface Dfgpublic void addEndActivity(org.deckfour.xes.classification.XEventClass activity,
long cardinality)
addEndActivity in interface Dfgpublic java.lang.String toString()
toString in class java.lang.Objectpublic void collapseParallelIntoDirectly()
DfgcollapseParallelIntoDirectly in interface Dfgpublic Dfg clone()
public int getNumberOfActivities()
getNumberOfActivities in interface Dfgpublic int getIndexOfActivity(org.deckfour.xes.classification.XEventClass activity)
getIndexOfActivity in interface Dfgpublic org.deckfour.xes.classification.XEventClass getActivityOfIndex(int activityIndex)
getActivityOfIndex in interface Dfgpublic boolean hasStartActivities()
hasStartActivities in interface Dfgpublic boolean hasEndActivities()
hasEndActivities in interface Dfgpublic int getNumberOfStartActivitiesAsSet()
getNumberOfStartActivitiesAsSet in interface Dfgpublic int getNumberOfEndActivitiesAsSet()
getNumberOfEndActivitiesAsSet in interface Dfgpublic boolean isStartActivity(int activityIndex)
isStartActivity in interface Dfgpublic boolean isStartActivity(org.deckfour.xes.classification.XEventClass activity)
isStartActivity in interface Dfgpublic long getStartActivityCardinality(int activityIndex)
getStartActivityCardinality in interface Dfgpublic long getStartActivityCardinality(org.deckfour.xes.classification.XEventClass activity)
getStartActivityCardinality in interface Dfgpublic long getEndActivityCardinality(int activityIndex)
getEndActivityCardinality in interface Dfgpublic long getEndActivityCardinality(org.deckfour.xes.classification.XEventClass activity)
getEndActivityCardinality in interface Dfgpublic boolean isEndActivity(int activityIndex)
isEndActivity in interface Dfgpublic boolean isEndActivity(org.deckfour.xes.classification.XEventClass activity)
isEndActivity in interface Dfgpublic long getMostOccurringStartActivityCardinality()
getMostOccurringStartActivityCardinality in interface Dfgpublic long getMostOccurringEndActivityCardinality()
getMostOccurringEndActivityCardinality in interface Dfgpublic void removeDirectlyFollowsEdge(long edgeIndex)
removeDirectlyFollowsEdge in interface Dfgpublic java.lang.Iterable<java.lang.Long> getDirectlyFollowsEdges()
DfggetDirectlyFollowsEdges in interface Dfgpublic boolean containsDirectlyFollowsEdge(int sourceIndex,
int targetIndex)
containsDirectlyFollowsEdge in interface Dfgpublic boolean containsDirectlyFollowsEdge(org.deckfour.xes.classification.XEventClass source,
org.deckfour.xes.classification.XEventClass target)
containsDirectlyFollowsEdge in interface Dfgpublic int getDirectlyFollowsEdgeSourceIndex(long edgeIndex)
getDirectlyFollowsEdgeSourceIndex in interface Dfgpublic int getDirectlyFollowsEdgeTargetIndex(long edgeIndex)
getDirectlyFollowsEdgeTargetIndex in interface Dfgpublic org.deckfour.xes.classification.XEventClass getDirectlyFollowsEdgeSource(long edgeIndex)
getDirectlyFollowsEdgeSource in interface Dfgpublic org.deckfour.xes.classification.XEventClass getDirectlyFollowsEdgeTarget(long edgeIndex)
getDirectlyFollowsEdgeTarget in interface Dfgpublic long getDirectlyFollowsEdgeCardinality(long edgeIndex)
getDirectlyFollowsEdgeCardinality in interface Dfgpublic long getMostOccuringDirectlyFollowsEdgeCardinality()
getMostOccuringDirectlyFollowsEdgeCardinality in interface Dfgpublic void removeConcurrencyEdge(long edgeIndex)
removeConcurrencyEdge in interface Dfgpublic java.lang.Iterable<java.lang.Long> getConcurrencyEdges()
DfggetConcurrencyEdges in interface Dfgpublic boolean containsConcurrencyEdge(int sourceIndex,
int targetIndex)
containsConcurrencyEdge in interface Dfgpublic boolean containsConcurrencyEdge(org.deckfour.xes.classification.XEventClass source,
org.deckfour.xes.classification.XEventClass target)
containsConcurrencyEdge in interface Dfgpublic int getConcurrencyEdgeSourceIndex(long edgeIndex)
getConcurrencyEdgeSourceIndex in interface Dfgpublic int getConcurrencyEdgeTargetIndex(long edgeIndex)
getConcurrencyEdgeTargetIndex in interface Dfgpublic org.deckfour.xes.classification.XEventClass getConcurrencyEdgeSource(long edgeIndex)
getConcurrencyEdgeSource in interface Dfgpublic org.deckfour.xes.classification.XEventClass getConcurrencyEdgeTarget(long edgeIndex)
getConcurrencyEdgeTarget in interface Dfgpublic long getConcurrencyEdgeCardinality(long edgeIndex)
getConcurrencyEdgeCardinality in interface Dfgpublic long getMostOccuringConcurrencyEdgeCardinality()
getMostOccuringConcurrencyEdgeCardinality in interface Dfgpublic void addStartActivities(MultiSet<org.deckfour.xes.classification.XEventClass> startActivities)
DfgaddStartActivities in interface Dfgpublic void addStartActivities(Dfg dfg)
DfgaddStartActivities in interface Dfgpublic void removeStartActivity(int activityIndex)
DfgremoveStartActivity in interface Dfgpublic void removeStartActivity(org.deckfour.xes.classification.XEventClass activity)
DfgremoveStartActivity in interface Dfgpublic java.lang.Iterable<org.deckfour.xes.classification.XEventClass> getStartActivities()
DfggetStartActivities in interface Dfgpublic int[] getStartActivityIndices()
getStartActivityIndices in interface Dfgpublic long getNumberOfStartActivities()
getNumberOfStartActivities in interface Dfgpublic void addEndActivities(MultiSet<org.deckfour.xes.classification.XEventClass> endActivities)
DfgaddEndActivities in interface Dfgpublic void addEndActivities(Dfg dfg)
DfgaddEndActivities in interface Dfgpublic void removeEndActivity(int activityIndex)
DfgremoveEndActivity in interface Dfgpublic void removeEndActivity(org.deckfour.xes.classification.XEventClass activity)
DfgremoveEndActivity in interface Dfgpublic java.lang.Iterable<org.deckfour.xes.classification.XEventClass> getEndActivities()
DfggetEndActivities in interface Dfgpublic int[] getEndActivityIndices()
getEndActivityIndices in interface Dfgpublic long getNumberOfEndActivities()
getNumberOfEndActivities in interface Dfg