T
- Generic indicator for the type used to identify an activity, e.g.
XEventClasspublic interface LPLogAbstraction<T>
Modifier and Type | Method and Description |
---|---|
int |
cardinality(int[] w)
Returns the cardinality of a word, where the word is given as its integer
representation.
|
int |
cardinality(java.util.List<T> w)
Returns the cardinality of a trace
|
T |
decode(int i)
Get back the event belonging to this index.
|
java.util.Set<T> |
decode(java.util.Set<java.lang.Integer> is)
Get back all events belonging to the indices in the set
|
java.util.Set<T> |
domain()
What events are present in the log?
|
int[] |
encode(java.util.List<T> l)
Encode this sequence to an abstraction
|
java.util.Set<java.lang.Integer> |
encode(java.util.Set<T> ts)
Given a set of objects, return the encoding characters.
|
int |
encode(T t)
To what integer is the given event mapped?
|
gnu.trove.map.TObjectIntMap<int[]> |
eventLogAbstraction()
Get the abstraction of the event log
|
gnu.trove.map.TObjectIntMap<int[]> |
prefixClosureAbstraction()
Get the abstraction of the prefix-closure of the event log
|
int[] |
range()
Encoding of all events in internal representation.
|
java.util.Map<int[],java.util.Set<java.util.Set<int[]>>> |
tracePrefixMapping()
Get all full traces mapping to their corresponding abstractions
|
int cardinality(int[] w)
w
- integer representation of the wordint cardinality(java.util.List<T> w)
w
- wordT decode(int i)
i
- encoding of some eventjava.util.Set<T> decode(java.util.Set<java.lang.Integer> is)
is
- set of indicesjava.util.Set<T> domain()
int[] encode(java.util.List<T> l)
l
- java.util.Set<java.lang.Integer> encode(java.util.Set<T> ts)
ts
- int encode(T t)
event
- input for querygnu.trove.map.TObjectIntMap<int[]> eventLogAbstraction()
java.util.Map<int[],java.util.Set<java.util.Set<int[]>>> tracePrefixMapping()
gnu.trove.map.TObjectIntMap<int[]> prefixClosureAbstraction()
int[] range()