public class NormalisedIntDfgImpl extends java.lang.Object implements NormalisedIntDfg
| Constructor and Description |
|---|
NormalisedIntDfgImpl() |
| 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 endActivities) |
void |
addEndActivity(int activity,
long cardinality) |
void |
addParallelEdge(int a,
int b,
long cardinality) |
void |
addStartActivity(int activity,
long cardinality) |
NormalisedIntDfgImpl |
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.
|
java.lang.String |
toString() |
public void addActivity(int index)
NormalisedIntDfgaddActivity in interface NormalisedIntDfgpublic int getNumberOfActivities()
getNumberOfActivities 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(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 activity,
long cardinality)
addStartActivity in interface NormalisedIntDfgpublic void addEndActivity(int activity,
long cardinality)
addEndActivity in interface NormalisedIntDfgpublic void addEndActivities(MultiIntSet endActivities)
addEndActivities in interface NormalisedIntDfgpublic 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 long getStartActivityCardinality(int activityIndex)
getStartActivityCardinality in interface NormalisedIntDfgpublic long getMostOccurringStartActivityCardinality()
getMostOccurringStartActivityCardinality in interface NormalisedIntDfgpublic boolean isEndActivity(int activityIndex)
isEndActivity in interface NormalisedIntDfgpublic long getMostOccurringEndActivityCardinality()
getMostOccurringEndActivityCardinality in interface NormalisedIntDfgpublic long getEndActivityCardinality(int activityIndex)
getEndActivityCardinality in interface NormalisedIntDfgpublic java.lang.Iterable<java.lang.Long> getDirectlyFollowsEdges()
NormalisedIntDfggetDirectlyFollowsEdges in interface NormalisedIntDfgpublic boolean containsDirectlyFollowsEdge(int sourceIndex,
int targetIndex)
containsDirectlyFollowsEdge in interface NormalisedIntDfgpublic int getDirectlyFollowsEdgeSourceIndex(long edgeIndex)
getDirectlyFollowsEdgeSourceIndex in interface NormalisedIntDfgpublic int getDirectlyFollowsEdgeTargetIndex(long edgeIndex)
getDirectlyFollowsEdgeTargetIndex in interface NormalisedIntDfgpublic 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 int getConcurrencyEdgeSourceIndex(long edgeIndex)
getConcurrencyEdgeSourceIndex in interface NormalisedIntDfgpublic int getConcurrencyEdgeTargetIndex(long edgeIndex)
getConcurrencyEdgeTargetIndex in interface NormalisedIntDfgpublic long getConcurrencyEdgeCardinality(long edgeIndex)
getConcurrencyEdgeCardinality in interface NormalisedIntDfgpublic long getMostOccuringConcurrencyEdgeCardinality()
getMostOccuringConcurrencyEdgeCardinality in interface NormalisedIntDfgpublic void removeStartActivity(int activityIndex)
NormalisedIntDfgremoveStartActivity in interface NormalisedIntDfgpublic int[] getStartActivityIndices()
getStartActivityIndices in interface NormalisedIntDfgpublic long getNumberOfStartActivities()
getNumberOfStartActivities in interface NormalisedIntDfgpublic void removeEndActivity(int activityIndex)
NormalisedIntDfgremoveEndActivity in interface NormalisedIntDfgpublic int[] getEndActivityIndices()
getEndActivityIndices in interface NormalisedIntDfgpublic long getNumberOfEndActivities()
getNumberOfEndActivities in interface NormalisedIntDfgpublic NormalisedIntGraph getDirectlyFollowsGraph()
getDirectlyFollowsGraph in interface NormalisedIntDfgpublic NormalisedIntGraph getConcurrencyGraph()
getConcurrencyGraph in interface NormalisedIntDfgpublic NormalisedIntDfgImpl clone()
clone in interface NormalisedIntDfgclone in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Objectpublic void collapseParallelIntoDirectly()
NormalisedIntDfgcollapseParallelIntoDirectly in interface NormalisedIntDfg