public interface NormalisedIntDfg
extends java.lang.Cloneable
Modifier and Type | Method and Description |
---|---|
void |
addActivity(int index)
Add an activity.
|
void |
addDirectlyFollowsEdge(int source,
int target,
long cardinality) |
void |
addEmptyTraces(long cardinality)
Adds empty traces.
|
void |
addEndActivities(MultiIntSet activities) |
void |
addEndActivity(int activity,
long cardinality) |
void |
addParallelEdge(int a,
int b,
long cardinality) |
void |
addStartActivity(int activity,
long cardinality) |
NormalisedIntDfg |
clone() |
void |
collapseParallelIntoDirectly()
Adds a directly follows graph edge (in each direction) for each parallel
edge.
|
boolean |
containsConcurrencyEdge(int sourceIndex,
int targetIndex) |
boolean |
containsDirectlyFollowsEdge(int sourceIndex,
int targetIndex) |
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.
|
int |
getConcurrencyEdgeSourceIndex(long edgeIndex) |
int |
getConcurrencyEdgeTargetIndex(long edgeIndex) |
NormalisedIntGraph |
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.
|
int |
getDirectlyFollowsEdgeSourceIndex(long edgeIndex) |
int |
getDirectlyFollowsEdgeTargetIndex(long edgeIndex) |
NormalisedIntGraph |
getDirectlyFollowsGraph() |
long |
getEndActivityCardinality(int activityIndex) |
int[] |
getEndActivityIndices() |
long |
getMostOccuringConcurrencyEdgeCardinality() |
long |
getMostOccuringDirectlyFollowsEdgeCardinality() |
long |
getMostOccurringEndActivityCardinality() |
long |
getMostOccurringStartActivityCardinality() |
int |
getNumberOfActivities() |
long |
getNumberOfEmptyTraces() |
long |
getNumberOfEndActivities() |
int |
getNumberOfEndActivitiesAsSet() |
long |
getNumberOfStartActivities() |
int |
getNumberOfStartActivitiesAsSet() |
long |
getStartActivityCardinality(int activityIndex) |
int[] |
getStartActivityIndices() |
boolean |
hasEndActivities() |
boolean |
hasStartActivities() |
boolean |
isEndActivity(int activityIndex) |
boolean |
isStartActivity(int activityIndex) |
void |
removeEndActivity(int activityIndex)
Removes the end activity.
|
void |
removeStartActivity(int activityIndex)
Removes the start activity.
|
void |
setNumberOfEmptyTraces(long numberOfEmptyTraces)
Set the number of empty (epsilon) traces.
|
void addActivity(int index)
index
- int getNumberOfActivities()
long getNumberOfEmptyTraces()
void setNumberOfEmptyTraces(long numberOfEmptyTraces)
numberOfEmptyTraces
- void addEmptyTraces(long cardinality)
cardinality
- void addDirectlyFollowsEdge(int source, int target, long cardinality)
void addParallelEdge(int a, int b, long cardinality)
void addStartActivity(int activity, long cardinality)
void addEndActivity(int activity, long cardinality)
void addEndActivities(MultiIntSet activities)
boolean hasStartActivities()
boolean hasEndActivities()
int getNumberOfStartActivitiesAsSet()
int getNumberOfEndActivitiesAsSet()
boolean isStartActivity(int activityIndex)
activityIndex
- long getStartActivityCardinality(int activityIndex)
activityIndex
- long getMostOccurringStartActivityCardinality()
boolean isEndActivity(int activityIndex)
activityIndex
- long getMostOccurringEndActivityCardinality()
long getEndActivityCardinality(int activityIndex)
activityIndex
- java.lang.Iterable<java.lang.Long> getDirectlyFollowsEdges()
boolean containsDirectlyFollowsEdge(int sourceIndex, int targetIndex)
int getDirectlyFollowsEdgeSourceIndex(long edgeIndex)
int getDirectlyFollowsEdgeTargetIndex(long edgeIndex)
long getDirectlyFollowsEdgeCardinality(long edgeIndex)
long getMostOccuringDirectlyFollowsEdgeCardinality()
java.lang.Iterable<java.lang.Long> getConcurrencyEdges()
boolean containsConcurrencyEdge(int sourceIndex, int targetIndex)
int getConcurrencyEdgeSourceIndex(long edgeIndex)
int getConcurrencyEdgeTargetIndex(long edgeIndex)
long getConcurrencyEdgeCardinality(long edgeIndex)
long getMostOccuringConcurrencyEdgeCardinality()
void removeStartActivity(int activityIndex)
activityIndex
- int[] getStartActivityIndices()
long getNumberOfStartActivities()
void removeEndActivity(int activityIndex)
activityIndex
- int[] getEndActivityIndices()
long getNumberOfEndActivities()
NormalisedIntGraph getDirectlyFollowsGraph()
NormalisedIntGraph getConcurrencyGraph()
NormalisedIntDfg clone()
void collapseParallelIntoDirectly()