Module de.learnlib.filter.cache

Package de.learnlib.filter.cache.sul

Class Summary

Class	Description
StateLocalInputSULCache<I,O>	A SULCache that additionally caches the currently enabled inputs of the given StateLocalInputSUL.
StateLocalInputSULCache.StateLocalInputSULCacheState<I,O>
SULCache<I,O>	A cache to be used with a SUL.
SULCaches	A factory for creating caches for SULs.
ThreadSafeStateLocalInputSULCache<I,O>	A thread-safe variant of StateLocalInputSULCache.
ThreadSafeSULCache<I,O>	A thread-safe variant of SULCache.
ThreadSafeSULCaches	A factory for creating thread-safe SUL caches.