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)
NormalisedIntDfg
addActivity
in interface NormalisedIntDfg
public int getNumberOfActivities()
getNumberOfActivities
in interface NormalisedIntDfg
public long getNumberOfEmptyTraces()
getNumberOfEmptyTraces
in interface NormalisedIntDfg
public void setNumberOfEmptyTraces(long numberOfEmptyTraces)
NormalisedIntDfg
setNumberOfEmptyTraces
in interface NormalisedIntDfg
public void addEmptyTraces(long cardinality)
NormalisedIntDfg
addEmptyTraces
in interface NormalisedIntDfg
public void addDirectlyFollowsEdge(int source, int target, long cardinality)
addDirectlyFollowsEdge
in interface NormalisedIntDfg
public void addParallelEdge(int a, int b, long cardinality)
addParallelEdge
in interface NormalisedIntDfg
public void addStartActivity(int activity, long cardinality)
addStartActivity
in interface NormalisedIntDfg
public void addEndActivity(int activity, long cardinality)
addEndActivity
in interface NormalisedIntDfg
public void addEndActivities(MultiIntSet endActivities)
addEndActivities
in interface NormalisedIntDfg
public boolean hasStartActivities()
hasStartActivities
in interface NormalisedIntDfg
public boolean hasEndActivities()
hasEndActivities
in interface NormalisedIntDfg
public int getNumberOfStartActivitiesAsSet()
getNumberOfStartActivitiesAsSet
in interface NormalisedIntDfg
public int getNumberOfEndActivitiesAsSet()
getNumberOfEndActivitiesAsSet
in interface NormalisedIntDfg
public boolean isStartActivity(int activityIndex)
isStartActivity
in interface NormalisedIntDfg
public long getStartActivityCardinality(int activityIndex)
getStartActivityCardinality
in interface NormalisedIntDfg
public long getMostOccurringStartActivityCardinality()
getMostOccurringStartActivityCardinality
in interface NormalisedIntDfg
public boolean isEndActivity(int activityIndex)
isEndActivity
in interface NormalisedIntDfg
public long getMostOccurringEndActivityCardinality()
getMostOccurringEndActivityCardinality
in interface NormalisedIntDfg
public long getEndActivityCardinality(int activityIndex)
getEndActivityCardinality
in interface NormalisedIntDfg
public java.lang.Iterable<java.lang.Long> getDirectlyFollowsEdges()
NormalisedIntDfg
getDirectlyFollowsEdges
in interface NormalisedIntDfg
public boolean containsDirectlyFollowsEdge(int sourceIndex, int targetIndex)
containsDirectlyFollowsEdge
in interface NormalisedIntDfg
public int getDirectlyFollowsEdgeSourceIndex(long edgeIndex)
getDirectlyFollowsEdgeSourceIndex
in interface NormalisedIntDfg
public int getDirectlyFollowsEdgeTargetIndex(long edgeIndex)
getDirectlyFollowsEdgeTargetIndex
in interface NormalisedIntDfg
public long getDirectlyFollowsEdgeCardinality(long edgeIndex)
getDirectlyFollowsEdgeCardinality
in interface NormalisedIntDfg
public long getMostOccuringDirectlyFollowsEdgeCardinality()
getMostOccuringDirectlyFollowsEdgeCardinality
in interface NormalisedIntDfg
public java.lang.Iterable<java.lang.Long> getConcurrencyEdges()
NormalisedIntDfg
getConcurrencyEdges
in interface NormalisedIntDfg
public boolean containsConcurrencyEdge(int sourceIndex, int targetIndex)
containsConcurrencyEdge
in interface NormalisedIntDfg
public int getConcurrencyEdgeSourceIndex(long edgeIndex)
getConcurrencyEdgeSourceIndex
in interface NormalisedIntDfg
public int getConcurrencyEdgeTargetIndex(long edgeIndex)
getConcurrencyEdgeTargetIndex
in interface NormalisedIntDfg
public long getConcurrencyEdgeCardinality(long edgeIndex)
getConcurrencyEdgeCardinality
in interface NormalisedIntDfg
public long getMostOccuringConcurrencyEdgeCardinality()
getMostOccuringConcurrencyEdgeCardinality
in interface NormalisedIntDfg
public void removeStartActivity(int activityIndex)
NormalisedIntDfg
removeStartActivity
in interface NormalisedIntDfg
public int[] getStartActivityIndices()
getStartActivityIndices
in interface NormalisedIntDfg
public long getNumberOfStartActivities()
getNumberOfStartActivities
in interface NormalisedIntDfg
public void removeEndActivity(int activityIndex)
NormalisedIntDfg
removeEndActivity
in interface NormalisedIntDfg
public int[] getEndActivityIndices()
getEndActivityIndices
in interface NormalisedIntDfg
public long getNumberOfEndActivities()
getNumberOfEndActivities
in interface NormalisedIntDfg
public NormalisedIntGraph getDirectlyFollowsGraph()
getDirectlyFollowsGraph
in interface NormalisedIntDfg
public NormalisedIntGraph getConcurrencyGraph()
getConcurrencyGraph
in interface NormalisedIntDfg
public NormalisedIntDfgImpl clone()
clone
in interface NormalisedIntDfg
clone
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public void collapseParallelIntoDirectly()
NormalisedIntDfg
collapseParallelIntoDirectly
in interface NormalisedIntDfg