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(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)
Wraps a givenStateLocalInputSUL
in a thread-safe variant of aStateLocalInputSULCache
that supportsforking
iff the givenSUL
supports it.static <I,O>
ThreadSafeStateLocalInputSULCache<I,O>ThreadSafeSULCaches. createStateLocalInputTreeCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)
Wraps a givenStateLocalInputSUL
in a thread-safe variant of aStateLocalInputSULCache
that supportsforking
iff the givenSUL
supports it and uses a tree for internal cache organization.
-