public class NormalizedMarkingCache
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
void |
clearCache() |
static NormalizedMarkingCache |
getInstance() |
java.lang.String |
getKey(java.util.List<java.lang.Integer>[] marking) |
java.util.List<java.lang.Integer>[] |
getMarking(java.lang.String key) |
public static NormalizedMarkingCache getInstance()
public java.util.List<java.lang.Integer>[] getMarking(java.lang.String key)
public void clearCache()
public java.lang.String getKey(java.util.List<java.lang.Integer>[] marking)