Package org.processmining.models.semantics.petrinet.impl

Class NormalizedMarkingCache

java.lang.Object

org.processmining.models.semantics.petrinet.impl.NormalizedMarkingCache

public class NormalizedMarkingCache
extends java.lang.Object

Method Summary

Modifier and Type	Method	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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getInstance

public static NormalizedMarkingCache getInstance()

getMarking

public java.util.List<java.lang.Integer>[] getMarking(java.lang.String key)

clearCache

public void clearCache()

getKey

public java.lang.String getKey(java.util.List<java.lang.Integer>[] marking)