Uses of Class
de.learnlib.filter.cache.sul.StateLocalInputSULCache
-
Packages that use StateLocalInputSULCache Package Description de.learnlib.filter.cache.sul -
-
Uses of StateLocalInputSULCache in de.learnlib.filter.cache.sul
Subclasses of StateLocalInputSULCache in de.learnlib.filter.cache.sul Modifier and Type Class Description class
ThreadSafeStateLocalInputSULCache<I,O>
A thread-safe variant ofStateLocalInputSULCache
.Methods in de.learnlib.filter.cache.sul that return StateLocalInputSULCache Modifier and Type Method Description static <I,O>
StateLocalInputSULCache<I,O>SULCaches. createStateLocalInputCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)
Creates aStateLocalInputSULCache
for a givenStateLocalInputSUL
.static <I,O>
StateLocalInputSULCache<I,O>SULCaches. createStateLocalInputTreeCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)
Creates aStateLocalInputSULCache
for a givenStateLocalInputSUL
, using a tree for internal cache organization.
-