public class Activity2IndexKey
extends java.lang.Object
Constructor and Description |
---|
Activity2IndexKey()
Creates an activity key.
|
Modifier and Type | Method and Description |
---|---|
int |
feed(java.lang.String activity) |
int |
feed(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
After calling a bunch of these, call reindex().
|
void |
feed(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClassifier classifier) |
void |
reIndex() |
int |
toIndex(java.lang.String activity) |
java.lang.String |
toString(int activityIndex) |
java.lang.String[] |
toTraceString(int[] indexTrace) |
public Activity2IndexKey()
public void feed(org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClassifier classifier)
public int feed(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
transition
- public int feed(java.lang.String activity)
public void reIndex()
public int toIndex(java.lang.String activity)
public java.lang.String[] toTraceString(int[] indexTrace)
public java.lang.String toString(int activityIndex)