public interface StochasticLanguage
Modifier and Type | Method and Description |
---|---|
Activity2IndexKey |
getActivityKey()
Return the key that can be used to get activity labels.
|
int[] |
getTrace(int traceIndex) |
java.lang.String[] |
getTraceString(int traceIndex) |
StochasticTraceIterator |
iterator()
The iterator must be stable.
|
int |
size() |
int size()
java.lang.String[] getTraceString(int traceIndex)
int[] getTrace(int traceIndex)
StochasticTraceIterator iterator()
Activity2IndexKey getActivityKey()