Interface NormalisedIntDfg
-
- All Superinterfaces:
java.lang.Cloneable
- All Known Implementing Classes:
NormalisedIntDfgImpl
public interface NormalisedIntDfg extends java.lang.CloneableAll indices in this class should be normalised, i.e. in [0..number of activities - 1]- Author:
- sander
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidaddActivity(int index)Add an activity.voidaddDirectlyFollowsEdge(int source, int target, long cardinality)voidaddEmptyTraces(long cardinality)Adds empty traces.voidaddEndActivities(MultiIntSet activities)voidaddEndActivity(int activity, long cardinality)voidaddParallelEdge(int a, int b, long cardinality)voidaddStartActivity(int activity, long cardinality)NormalisedIntDfgclone()voidcollapseParallelIntoDirectly()Adds a directly follows graph edge (in each direction) for each parallel edge.booleancontainsConcurrencyEdge(int sourceIndex, int targetIndex)booleancontainsDirectlyFollowsEdge(int sourceIndex, int targetIndex)longgetConcurrencyEdgeCardinality(long edgeIndex)java.lang.Iterable<java.lang.Long>getConcurrencyEdges()Returns an iterable that iterates over all edges; The edges that are returned are indices.intgetConcurrencyEdgeSourceIndex(long edgeIndex)intgetConcurrencyEdgeTargetIndex(long edgeIndex)NormalisedIntGraphgetConcurrencyGraph()longgetDirectlyFollowsEdgeCardinality(long edgeIndex)java.lang.Iterable<java.lang.Long>getDirectlyFollowsEdges()Returns an iterable that iterates over all edges; The edges that are returned are indices.intgetDirectlyFollowsEdgeSourceIndex(long edgeIndex)intgetDirectlyFollowsEdgeTargetIndex(long edgeIndex)NormalisedIntGraphgetDirectlyFollowsGraph()longgetEndActivityCardinality(int activityIndex)int[]getEndActivityIndices()longgetMostOccuringConcurrencyEdgeCardinality()longgetMostOccuringDirectlyFollowsEdgeCardinality()longgetMostOccurringEndActivityCardinality()longgetMostOccurringStartActivityCardinality()intgetNumberOfActivities()longgetNumberOfEmptyTraces()longgetNumberOfEndActivities()intgetNumberOfEndActivitiesAsSet()longgetNumberOfStartActivities()intgetNumberOfStartActivitiesAsSet()longgetStartActivityCardinality(int activityIndex)int[]getStartActivityIndices()booleanhasEndActivities()booleanhasStartActivities()booleanisEndActivity(int activityIndex)booleanisStartActivity(int activityIndex)voidremoveEndActivity(int activityIndex)Removes the end activity.voidremoveStartActivity(int activityIndex)Removes the start activity.voidsetNumberOfEmptyTraces(long numberOfEmptyTraces)Set the number of empty (epsilon) traces.
-
-
-
Method Detail
-
addActivity
void addActivity(int index)
Add an activity. Notice that the index should be normalised.- Parameters:
index-
-
getNumberOfActivities
int getNumberOfActivities()
- Returns:
- The number of activities.
-
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-
-
addDirectlyFollowsEdge
void addDirectlyFollowsEdge(int source, int target, long cardinality)
-
addParallelEdge
void addParallelEdge(int a, int b, long cardinality)
-
addStartActivity
void addStartActivity(int activity, long cardinality)
-
addEndActivity
void addEndActivity(int activity, long cardinality)
-
addEndActivities
void addEndActivities(MultiIntSet activities)
-
hasStartActivities
boolean hasStartActivities()
-
hasEndActivities
boolean hasEndActivities()
-
getNumberOfStartActivitiesAsSet
int getNumberOfStartActivitiesAsSet()
- Returns:
- The size of the set of start activities.
-
getNumberOfEndActivitiesAsSet
int getNumberOfEndActivitiesAsSet()
- Returns:
- The size of the set of end activities.
-
isStartActivity
boolean isStartActivity(int activityIndex)
- Parameters:
activityIndex-- Returns:
- Whether the activity with the given index is a start activity.
-
getStartActivityCardinality
long getStartActivityCardinality(int activityIndex)
- Parameters:
activityIndex-- Returns:
- How often the activity was a start activity.
-
getMostOccurringStartActivityCardinality
long getMostOccurringStartActivityCardinality()
- Returns:
- The number of occurrences of the activity that occurs the most as a start activity.
-
isEndActivity
boolean isEndActivity(int activityIndex)
- Parameters:
activityIndex-- Returns:
- Whether the activity with the given index is a end activity.
-
getMostOccurringEndActivityCardinality
long getMostOccurringEndActivityCardinality()
- Returns:
- The number of occurrences of the activity that occurs the most as an end activity.
-
getEndActivityCardinality
long getEndActivityCardinality(int activityIndex)
- Parameters:
activityIndex-- Returns:
- How often the activity was an end activity.
-
getDirectlyFollowsEdges
java.lang.Iterable<java.lang.Long> getDirectlyFollowsEdges()
Returns an iterable that iterates over all edges; The edges that are returned are indices. Edges of weight 0 are excluded.- Returns:
-
containsDirectlyFollowsEdge
boolean containsDirectlyFollowsEdge(int sourceIndex, int targetIndex)
-
getDirectlyFollowsEdgeSourceIndex
int getDirectlyFollowsEdgeSourceIndex(long edgeIndex)
-
getDirectlyFollowsEdgeTargetIndex
int getDirectlyFollowsEdgeTargetIndex(long edgeIndex)
-
getDirectlyFollowsEdgeCardinality
long getDirectlyFollowsEdgeCardinality(long edgeIndex)
-
getMostOccuringDirectlyFollowsEdgeCardinality
long getMostOccuringDirectlyFollowsEdgeCardinality()
-
getConcurrencyEdges
java.lang.Iterable<java.lang.Long> getConcurrencyEdges()
Returns an iterable that iterates over all edges; The edges that are returned are indices. Edges of weight 0 are excluded.- Returns:
-
containsConcurrencyEdge
boolean containsConcurrencyEdge(int sourceIndex, int targetIndex)
-
getConcurrencyEdgeSourceIndex
int getConcurrencyEdgeSourceIndex(long edgeIndex)
-
getConcurrencyEdgeTargetIndex
int getConcurrencyEdgeTargetIndex(long edgeIndex)
-
getConcurrencyEdgeCardinality
long getConcurrencyEdgeCardinality(long edgeIndex)
-
getMostOccuringConcurrencyEdgeCardinality
long getMostOccuringConcurrencyEdgeCardinality()
-
removeStartActivity
void removeStartActivity(int activityIndex)
Removes the start activity.- Parameters:
activityIndex-
-
getStartActivityIndices
int[] getStartActivityIndices()
- Returns:
- The indices of the start activities. This array should not be edited.
-
getNumberOfStartActivities
long getNumberOfStartActivities()
- Returns:
- The number of times that an end activity occurred. Use getNumberOfStartActivities() for the set-size.
-
removeEndActivity
void removeEndActivity(int activityIndex)
Removes the end activity.- Parameters:
activityIndex-
-
getEndActivityIndices
int[] getEndActivityIndices()
- Returns:
- The indices of the start activities. This array should not be edited.
-
getNumberOfEndActivities
long getNumberOfEndActivities()
- Returns:
- The number of times that an end activity occurred. Use getNumberOfEndActivities() for the set-size.
-
getDirectlyFollowsGraph
NormalisedIntGraph getDirectlyFollowsGraph()
-
getConcurrencyGraph
NormalisedIntGraph getConcurrencyGraph()
-
clone
NormalisedIntDfg clone()
-
collapseParallelIntoDirectly
void collapseParallelIntoDirectly()
Adds a directly follows graph edge (in each direction) for each parallel edge.
-
-