public class DfgImpl extends java.lang.Object implements Dfg
| Modifier and Type | Method and Description |
|---|---|
void |
addActivity(int index)
Add an activity.
|
int |
addActivity(org.deckfour.xes.classification.XEventClass activity)
Adds an activity to the Dfg.
|
void |
addDirectlyFollowsEdge(int source,
int target,
long cardinality) |
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(MultiIntSet activities) |
void |
addEndActivities(MultiSet<org.deckfour.xes.classification.XEventClass> endActivities)
Add the end activities in the multiset to the end activities.
|
void |
addEndActivity(int activityIndex,
long cardinality) |
void |
addEndActivity(org.deckfour.xes.classification.XEventClass activity,
long cardinality) |
void |
addParallelEdge(int a,
int b,
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(int activityIndex,
long cardinality) |
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[] |
getActivitiesIndices() |
int[] |
getActivityIndices() |
MultiIntSet |
getActivityMultiSet() |
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 |
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 DfggetDirectlyFollowsGraph in interface NormalisedIntDfgpublic 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 DfggetConcurrencyGraph in interface NormalisedIntDfgpublic long getNumberOfEmptyTraces()
getNumberOfEmptyTraces in interface NormalisedIntDfgpublic void setNumberOfEmptyTraces(long numberOfEmptyTraces)
NormalisedIntDfgsetNumberOfEmptyTraces in interface NormalisedIntDfgpublic void addEmptyTraces(long cardinality)
NormalisedIntDfgaddEmptyTraces in interface NormalisedIntDfgpublic 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 DfgcollapseParallelIntoDirectly in interface NormalisedIntDfgpublic Dfg clone()
clone in interface Dfgclone in interface NormalisedIntDfgclone in class java.lang.Objectpublic int getNumberOfActivities()
getNumberOfActivities in interface DfggetNumberOfActivities in interface NormalisedIntDfgpublic 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 NormalisedIntDfgpublic boolean hasEndActivities()
hasEndActivities in interface NormalisedIntDfgpublic int getNumberOfStartActivitiesAsSet()
getNumberOfStartActivitiesAsSet in interface NormalisedIntDfgpublic int getNumberOfEndActivitiesAsSet()
getNumberOfEndActivitiesAsSet in interface NormalisedIntDfgpublic boolean isStartActivity(int activityIndex)
isStartActivity in interface NormalisedIntDfgpublic boolean isStartActivity(org.deckfour.xes.classification.XEventClass activity)
isStartActivity in interface Dfgpublic long getStartActivityCardinality(int activityIndex)
getStartActivityCardinality in interface NormalisedIntDfgpublic long getStartActivityCardinality(org.deckfour.xes.classification.XEventClass activity)
getStartActivityCardinality in interface Dfgpublic long getEndActivityCardinality(int activityIndex)
getEndActivityCardinality in interface NormalisedIntDfgpublic long getEndActivityCardinality(org.deckfour.xes.classification.XEventClass activity)
getEndActivityCardinality in interface Dfgpublic boolean isEndActivity(int activityIndex)
isEndActivity in interface NormalisedIntDfgpublic boolean isEndActivity(org.deckfour.xes.classification.XEventClass activity)
isEndActivity in interface Dfgpublic long getMostOccurringStartActivityCardinality()
getMostOccurringStartActivityCardinality in interface NormalisedIntDfgpublic long getMostOccurringEndActivityCardinality()
getMostOccurringEndActivityCardinality in interface NormalisedIntDfgpublic java.lang.Iterable<java.lang.Long> getDirectlyFollowsEdges()
NormalisedIntDfggetDirectlyFollowsEdges in interface NormalisedIntDfgpublic boolean containsDirectlyFollowsEdge(int sourceIndex,
int targetIndex)
containsDirectlyFollowsEdge in interface NormalisedIntDfgpublic 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 NormalisedIntDfgpublic int getDirectlyFollowsEdgeTargetIndex(long edgeIndex)
getDirectlyFollowsEdgeTargetIndex in interface NormalisedIntDfgpublic 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 NormalisedIntDfgpublic long getMostOccuringDirectlyFollowsEdgeCardinality()
getMostOccuringDirectlyFollowsEdgeCardinality in interface NormalisedIntDfgpublic java.lang.Iterable<java.lang.Long> getConcurrencyEdges()
NormalisedIntDfggetConcurrencyEdges in interface NormalisedIntDfgpublic boolean containsConcurrencyEdge(int sourceIndex,
int targetIndex)
containsConcurrencyEdge in interface NormalisedIntDfgpublic 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 NormalisedIntDfgpublic int getConcurrencyEdgeTargetIndex(long edgeIndex)
getConcurrencyEdgeTargetIndex in interface NormalisedIntDfgpublic 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 NormalisedIntDfgpublic long getMostOccuringConcurrencyEdgeCardinality()
getMostOccuringConcurrencyEdgeCardinality in interface NormalisedIntDfgpublic 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)
NormalisedIntDfgremoveStartActivity in interface NormalisedIntDfgpublic 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 NormalisedIntDfgpublic long getNumberOfStartActivities()
getNumberOfStartActivities in interface NormalisedIntDfgpublic 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)
NormalisedIntDfgremoveEndActivity in interface NormalisedIntDfgpublic 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 NormalisedIntDfgpublic long getNumberOfEndActivities()
getNumberOfEndActivities in interface NormalisedIntDfgpublic void addDirectlyFollowsEdge(int source,
int target,
long cardinality)
addDirectlyFollowsEdge in interface NormalisedIntDfgpublic void addParallelEdge(int a,
int b,
long cardinality)
addParallelEdge in interface NormalisedIntDfgpublic void addStartActivity(int activityIndex,
long cardinality)
addStartActivity in interface NormalisedIntDfgpublic void addEndActivity(int activityIndex,
long cardinality)
addEndActivity in interface NormalisedIntDfgpublic void addActivity(int index)
NormalisedIntDfgaddActivity in interface NormalisedIntDfgpublic void addEndActivities(MultiIntSet activities)
addEndActivities in interface NormalisedIntDfgpublic MultiIntSet getActivityMultiSet()
public int[] getActivitiesIndices()