public abstract class AbstractLPLogAbstraction<EC> extends java.lang.Object implements LPLogAbstraction<EC>
Modifier and Type | Field and Description |
---|---|
protected gnu.trove.map.TObjectIntMap<EC> |
alphabet |
protected gnu.trove.map.TObjectIntMap<int[]> |
log |
protected gnu.trove.map.TObjectIntMap<int[]> |
prefixClosure |
protected java.util.Map<int[],java.util.Set<java.util.Set<int[]>>> |
traceMap |
Constructor and Description |
---|
AbstractLPLogAbstraction() |
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<EC> w)
Returns the cardinality of a trace
|
EC |
decode(int i)
Get back the event belonging to this index.
|
java.util.Set<EC> |
decode(java.util.Set<java.lang.Integer> is)
Get back all events belonging to the indices in the set
|
java.util.Set<EC> |
domain()
What events are present in the log?
|
int |
encode(EC eventClass)
To what integer is the given event mapped?
|
int[] |
encode(java.util.List<EC> l)
Encode this sequence to an abstraction
|
java.util.Set<java.lang.Integer> |
encode(java.util.Set<EC> events)
Given a set of objects, return the encoding characters.
|
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
|
protected final gnu.trove.map.TObjectIntMap<EC> alphabet
protected final gnu.trove.map.TObjectIntMap<int[]> log
protected final gnu.trove.map.TObjectIntMap<int[]> prefixClosure
protected final java.util.Map<int[],java.util.Set<java.util.Set<int[]>>> traceMap
public int cardinality(int[] w)
LPLogAbstraction
cardinality
in interface LPLogAbstraction<EC>
w
- integer representation of the wordpublic int cardinality(java.util.List<EC> w)
LPLogAbstraction
cardinality
in interface LPLogAbstraction<EC>
w
- wordpublic EC decode(int i)
LPLogAbstraction
decode
in interface LPLogAbstraction<EC>
i
- encoding of some eventpublic java.util.Set<EC> decode(java.util.Set<java.lang.Integer> is)
LPLogAbstraction
decode
in interface LPLogAbstraction<EC>
is
- set of indicespublic java.util.Set<EC> domain()
LPLogAbstraction
domain
in interface LPLogAbstraction<EC>
public int[] encode(java.util.List<EC> l)
LPLogAbstraction
encode
in interface LPLogAbstraction<EC>
public java.util.Set<java.lang.Integer> encode(java.util.Set<EC> events)
LPLogAbstraction
encode
in interface LPLogAbstraction<EC>
public int encode(EC eventClass)
LPLogAbstraction
encode
in interface LPLogAbstraction<EC>
public gnu.trove.map.TObjectIntMap<int[]> eventLogAbstraction()
LPLogAbstraction
eventLogAbstraction
in interface LPLogAbstraction<EC>
public java.util.Map<int[],java.util.Set<java.util.Set<int[]>>> tracePrefixMapping()
LPLogAbstraction
tracePrefixMapping
in interface LPLogAbstraction<EC>
public gnu.trove.map.TObjectIntMap<int[]> prefixClosureAbstraction()
LPLogAbstraction
prefixClosureAbstraction
in interface LPLogAbstraction<EC>
public int[] range()
LPLogAbstraction
range
in interface LPLogAbstraction<EC>