public interface DirectlyFollowsModel
Modifier and Type | Method and Description |
---|---|
void |
addActivities(java.lang.String[] activities)
Adds an array of activities.
|
int |
addActivity(java.lang.String activity)
Inserts an activity.
|
void |
addEdge(int sourceIndex,
int targetIndex)
Adds an edge.
|
void |
addEndActivity(int activity)
Has no effect if the activity was already an end activity.
|
void |
addStartActivity(int activity)
Has no effect if the activity was already a start activity.
|
DirectlyFollowsModel |
clone() |
boolean |
containsEdge(int sourceIndex,
int targetIndex)
Returns whether the graph contains an edge between source and target.
|
boolean |
equals(DirectlyFollowsModel other)
This method considers graphs equal when they are the same and the
activities were added in the same order.
|
java.lang.Iterable<java.lang.Integer> |
getActivitiesIndices() |
java.lang.String |
getActivityOfIndex(int value) |
java.lang.String[] |
getAllActivities() |
java.lang.Iterable<java.lang.Long> |
getEdges()
Gives an iterable that iterates over all edges; The edges that are
returned are indices.
|
int |
getEdgeSource(long edgeIndex)
Returns the node the edgeIndex comes from.
|
int |
getEdgeTarget(long edgeIndex)
Returns the node the edgeIndex points to.
|
gnu.trove.set.TIntSet |
getEndActivities() |
gnu.trove.set.TIntSet |
getIndexOfActivity(java.lang.String activity) |
int |
getNumberOfActivities() |
int |
getNumberOfEndActivities() |
int |
getNumberOfStartActivities() |
gnu.trove.set.TIntSet |
getStartActivities() |
boolean |
hasEndActivities() |
int |
hashCode() |
boolean |
hasStartActivities() |
boolean |
isEmptyTraces() |
void |
setEmptyTraces(boolean emptyTraces)
Set whether the model supports empty (epsilon) traces.
|
java.lang.String getActivityOfIndex(int value)
value
- int getNumberOfActivities()
java.lang.String[] getAllActivities()
java.lang.Iterable<java.lang.Integer> getActivitiesIndices()
gnu.trove.set.TIntSet getIndexOfActivity(java.lang.String activity)
activity
- int addActivity(java.lang.String activity)
activity
- void addActivities(java.lang.String[] activities)
activities
- boolean isEmptyTraces()
void setEmptyTraces(boolean emptyTraces)
emptyTraces
- void addEdge(int sourceIndex, int targetIndex)
sourceIndex
- targetIndex
- java.lang.Iterable<java.lang.Long> getEdges()
boolean containsEdge(int sourceIndex, int targetIndex)
sourceIndex
- targetIndex
- int getEdgeSource(long edgeIndex)
edgeIndex
- int getEdgeTarget(long edgeIndex)
edgeIndex
- boolean hasStartActivities()
void addStartActivity(int activity)
activity
- gnu.trove.set.TIntSet getStartActivities()
int getNumberOfStartActivities()
boolean hasEndActivities()
void addEndActivity(int activity)
activity
- gnu.trove.set.TIntSet getEndActivities()
int getNumberOfEndActivities()
boolean equals(DirectlyFollowsModel other)
other
- int hashCode()
hashCode
in class java.lang.Object
DirectlyFollowsModel clone()