Uses of Class
de.learnlib.filter.cache.sul.ThreadSafeStateLocalInputSULCache

Packages that use ThreadSafeStateLocalInputSULCache

Package	Description
de.learnlib.filter.cache.sul

Uses of ThreadSafeStateLocalInputSULCache in de.learnlib.filter.cache.sul

Methods in de.learnlib.filter.cache.sul that return ThreadSafeStateLocalInputSULCache

Modifier and Type	Method	Description
static <I,O> ThreadSafeStateLocalInputSULCache<I,O>	ThreadSafeSULCaches.createStateLocalInputCache(net.automatalib.alphabet.Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)	Wraps a given StateLocalInputSUL in a thread-safe variant of a StateLocalInputSULCache that supports forking iff the given SUL supports it.
static <I,O> ThreadSafeStateLocalInputSULCache<I,O>	ThreadSafeSULCaches.createStateLocalInputTreeCache(net.automatalib.alphabet.Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)	Wraps a given StateLocalInputSUL in a thread-safe variant of a StateLocalInputSULCache that supports forking iff the given SUL supports it and uses a tree for internal cache organization.