Index (LearnLib :: Filters :: Cache 0.18.0 API)

A C D F G I L M P R S T
All Classes All Packages

A

AdaptiveQueryCache<I,O> - Class in de.learnlib.filter.cache.mealy: A cache for an AdaptiveMembershipOracle.
AdaptiveQueryCache(AdaptiveMembershipOracle<I, O>, Alphabet) - Constructor for class de.learnlib.filter.cache.mealy.AdaptiveQueryCache
AdaptiveQueryCache.AdaptiveQueryCacheState<I,O> - Class in de.learnlib.filter.cache.mealy
addAlphabetSymbol(I) - Method in class de.learnlib.filter.cache.dfa.DFACacheOracle
addAlphabetSymbol(I) - Method in class de.learnlib.filter.cache.mealy.AdaptiveQueryCache
addAlphabetSymbol(I) - Method in class de.learnlib.filter.cache.mealy.MealyCacheOracle
addAlphabetSymbol(I) - Method in class de.learnlib.filter.cache.moore.MooreCacheOracle

C

compare(Query<I, ?>, Query<I, ?>) - Method in class de.learnlib.filter.cache.ReverseLexCmp
compare(I, I) - Method in class de.learnlib.filter.cache.DynamicSymbolComparator
createAdaptiveQueryCache(Alphabet, AdaptiveMembershipOracle<I, O>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches: Creates a cache oracle for an adaptive Mealy machine learning setup, using a tree for internal cache organization.
createCache(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.filter.cache.dfa.DFACaches: Creates a cache oracle for a DFA learning setup.
createCache(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup.
createCache(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.moore.MooreCaches: Creates a cache oracle for a Moore machine learning setup.
createCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.SULCaches: Creates a SULCache for a given SUL.
createCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches: Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it.
createCache(Alphabet, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches: Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup.
createCache(Alphabet, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches: Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup.
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.dfa.DFACacheOracle
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.dfa.DFAHashCacheOracle
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACacheOracle
createCacheConsistencyTest() - Method in interface de.learnlib.filter.cache.LearningCache: Creates a cache consistency test.
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.mealy.AdaptiveQueryCache
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.mealy.MealyCacheOracle
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCacheOracle
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.moore.MooreCacheOracle
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCacheOracle
createDAGCache(Alphabet, Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches: Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches: Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches: Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches: Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.filter.cache.dfa.DFACaches: Creates a cache oracle for a DFA learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.moore.MooreCaches: Creates a cache oracle for a Moore machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.SULCaches: Creates a SULCache for a given SUL, using a DAG for internal cache organization.
createDAGCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches: Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it and uses a DAG for internal cache organization.
createDAGCache(Alphabet, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches: Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches: Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches: Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches: Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches: Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches: Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.moore.MooreCaches: Creates a cache oracle for a Moore machine learning setup, using a DAG for internal cache organization.
createDAGPCCache(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.filter.cache.dfa.DFACaches: Creates a prefix-closed cache oracle for a DFA learning setup, using a DAG for internal cache organization.
createDAGPCCache(Alphabet, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches: The prefix-closed version of ThreadSafeDFACaches.createDAGCache(Alphabet, Collection).
createDAGPCCache(Alphabet, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches: The prefix-closed version of ThreadSafeDFACaches.createDAGCache(Alphabet, Supplier).
createDynamicTreeCache(Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches: Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.
createDynamicTreeCache(Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches: Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.
createDynamicTreeCache(MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup with a dynamic alphabet storage, using a tree for internal cache organization.
createDynamicTreeCache(Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches: Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.
createDynamicTreeCache(Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches: Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.
createDynamicTreeCache(Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup with a dynamic alphabet storage, using a tree for internal cache organization.
createHashCache(MembershipOracle<I, Boolean>) - Static method in class de.learnlib.filter.cache.dfa.DFACaches: Creates a cache oracle for a DFA learning setup, using a Map for internal cache organization.
createStateLocalInputCache(Alphabet, StateLocalInputSUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.SULCaches: Creates a StateLocalInputSULCache for a given StateLocalInputSUL.
createStateLocalInputCache(Alphabet, StateLocalInputSUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches: Wraps a given StateLocalInputSUL in a thread-safe variant of a StateLocalInputSULCache that supports forking iff the given SUL supports it.
createStateLocalInputTreeCache(Alphabet, StateLocalInputSUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.SULCaches: Creates a StateLocalInputSULCache for a given StateLocalInputSUL, using a tree for internal cache organization.
createStateLocalInputTreeCache(Alphabet, StateLocalInputSUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches: 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.
createTreeCache(Alphabet, Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches: Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches: Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches: Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches: Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.filter.cache.dfa.DFACaches: Creates a cache oracle for a DFA learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.moore.MooreCaches: Creates a cache oracle for a Moore machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.SULCaches: Creates a SULCache for a given SUL, using a tree for internal cache organization.
createTreeCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches: Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it and uses a tree for internal cache organization.
createTreeCache(Alphabet, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches: Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches: Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches: Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches: Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches: Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches: Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.moore.MooreCaches: Creates a cache oracle for a Moore machine learning setup, using a tree for internal cache organization.
createTreePCCache(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.filter.cache.dfa.DFACaches: Creates a prefix-closed cache oracle for a DFA learning setup, using a tree for internal cache organization.
createTreePCCache(Alphabet, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches: Prefix-closed version of ThreadSafeDFACaches.createTreeCache(Alphabet, Collection).
createTreePCCache(Alphabet, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches: Prefix-closed version of ThreadSafeDFACaches.createTreeCache(Alphabet, Supplier).
currentlyEnabledInputs() - Method in class de.learnlib.filter.cache.sul.StateLocalInputSULCache

D

de.learnlib.filter.cache - package de.learnlib.filter.cache
de.learnlib.filter.cache.dfa - package de.learnlib.filter.cache.dfa
de.learnlib.filter.cache.mealy - package de.learnlib.filter.cache.mealy
de.learnlib.filter.cache.moore - package de.learnlib.filter.cache.moore
de.learnlib.filter.cache.sul - package de.learnlib.filter.cache.sul
DFACacheOracle - Class in de.learnlib.filter.cache.dfa: DFA cache.
DFACacheOracle.DFACacheOracleState - Class in de.learnlib.filter.cache.dfa
DFACaches - Class in de.learnlib.filter.cache.dfa: A factory for creating caches for DFA-based MembershipOracles.
DFAHashCacheOracle - Class in de.learnlib.filter.cache.dfa: A LearningCacheOracle.DFALearningCacheOracle that uses a Map for internal cache organization.
DFAHashCacheOracle.DFAHashCacheOracleState - Class in de.learnlib.filter.cache.dfa
DFAHashCacheOracleState(Map<Word, Boolean>) - Constructor for class de.learnlib.filter.cache.dfa.DFAHashCacheOracle.DFAHashCacheOracleState
DynamicSymbolComparator - Class in de.learnlib.filter.cache
DynamicSymbolComparator() - Constructor for class de.learnlib.filter.cache.DynamicSymbolComparator

F

findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.filter.cache.mealy.MealyCacheConsistencyTest
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCacheConsistencyTest
findCounterExample(MooreMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.filter.cache.moore.MooreCacheConsistencyTest
findCounterExample(MooreMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCacheConsistencyTest
fork() - Method in class de.learnlib.filter.cache.sul.StateLocalInputSULCache

G

getCache() - Method in class de.learnlib.filter.cache.dfa.DFAHashCacheOracle.DFAHashCacheOracleState
getCache() - Method in class de.learnlib.filter.cache.mealy.AdaptiveQueryCache: Returns a (structural) view of the cache in form of a MealyMachine.
getInit() - Method in class de.learnlib.filter.cache.mealy.AdaptiveQueryCache: Returns the initial state of the structural view of the cache.

I

insert(Integer, Word, Word<O>) - Method in class de.learnlib.filter.cache.mealy.AdaptiveQueryCache: Inserts the given trace of input symbols at the given cache state and associates the trace of given output symbols with it.
insert(Word, Word<O>) - Method in class de.learnlib.filter.cache.mealy.AdaptiveQueryCache: Inserts the given trace of input symbols and associates the trace of given output symbols with it.
InterningMealyMembershipOracle<I,O> - Class in de.learnlib.filter.cache.mealy: A type-specific refinement of InterningMembershipOracle.
InterningMealyMembershipOracle(MembershipOracle.MealyMembershipOracle<I, O>) - Constructor for class de.learnlib.filter.cache.mealy.InterningMealyMembershipOracle: Delegates to InterningMembershipOracle(MembershipOracle).
InterningMembershipOracle<I,D> - Class in de.learnlib.filter.cache: A MembershipOracle that interns query outputs.
InterningMembershipOracle(MembershipOracle<I, D>) - Constructor for class de.learnlib.filter.cache.InterningMembershipOracle
InterningMooreMembershipOracle<I,O> - Class in de.learnlib.filter.cache.moore: A type-specific refinement of InterningMembershipOracle.
InterningMooreMembershipOracle(MembershipOracle.MooreMembershipOracle<I, O>) - Constructor for class de.learnlib.filter.cache.moore.InterningMooreMembershipOracle: Delegates to InterningMembershipOracle(MembershipOracle).

L

LearningCache<A,I,O> - Interface in de.learnlib.filter.cache: Interface for a cache used in automata learning.
LearningCache.DFALearningCache - Interface in de.learnlib.filter.cache: Specialization of the LearningCache interface for DFA learning.
LearningCache.MealyLearningCache<I,O> - Interface in de.learnlib.filter.cache: Specialization of the LearningCache interface for Mealy machine learning.
LearningCache.MooreLearningCache<I,O> - Interface in de.learnlib.filter.cache: Specialization of the LearningCache interface for Moore machine learning.
LearningCacheOracle<A,I,D> - Interface in de.learnlib.filter.cache: A learning cache that also serves as a membership oracle.
LearningCacheOracle.DFALearningCacheOracle - Interface in de.learnlib.filter.cache: Specialization of the LearningCacheOracle interface for DFA learning.
LearningCacheOracle.MealyLearningCacheOracle<I,O> - Interface in de.learnlib.filter.cache: Specialization of the LearningCacheOracle interface for Mealy machine learning.
LearningCacheOracle.MooreLearningCacheOracle<I,O> - Interface in de.learnlib.filter.cache: Specialization of the LearningCacheOracle interface for Moore machine learning.

M

MealyCacheConsistencyTest<I,O> - Class in de.learnlib.filter.cache.mealy: An EquivalenceOracle that tests a hypothesis for consistency with the contents of a MealyCacheOracle.
MealyCacheConsistencyTest(IncrementalMealyBuilder<I, O>) - Constructor for class de.learnlib.filter.cache.mealy.MealyCacheConsistencyTest: Constructor.
MealyCacheOracle<I,O> - Class in de.learnlib.filter.cache.mealy: Mealy cache.
MealyCacheOracle.MealyCacheOracleState<I,O> - Class in de.learnlib.filter.cache.mealy
MealyCaches - Class in de.learnlib.filter.cache.mealy: A factory for creating caches for mealy-based MembershipOracles.
MooreCacheConsistencyTest<I,O> - Class in de.learnlib.filter.cache.moore: An EquivalenceOracle that tests a hypothesis for consistency with the contents of a MooreCacheOracle.
MooreCacheConsistencyTest(IncrementalMooreBuilder<I, O>) - Constructor for class de.learnlib.filter.cache.moore.MooreCacheConsistencyTest: Constructor.
MooreCacheOracle<I,O> - Class in de.learnlib.filter.cache.moore: Moore cache.
MooreCacheOracle.MooreCacheOracleState<I,O> - Class in de.learnlib.filter.cache.moore
MooreCaches - Class in de.learnlib.filter.cache.moore: A factory for creating caches for Moore-based MembershipOracles.

P

processQueries(Collection<? extends AdaptiveQuery<I, O>>) - Method in class de.learnlib.filter.cache.mealy.AdaptiveQueryCache
processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.filter.cache.InterningMembershipOracle
processQueries(Collection<? extends Query<I, Boolean>>) - Method in class de.learnlib.filter.cache.dfa.DFACacheOracle
processQueries(Collection<? extends Query<I, Boolean>>) - Method in class de.learnlib.filter.cache.dfa.DFAHashCacheOracle
processQueries(Collection<? extends Query<I, Word<O>>>) - Method in class de.learnlib.filter.cache.mealy.MealyCacheOracle
processQueries(Collection<? extends Query<I, Word<O>>>) - Method in class de.learnlib.filter.cache.moore.MooreCacheOracle

R

resume(DFACacheOracle.DFACacheOracleState) - Method in class de.learnlib.filter.cache.dfa.DFACacheOracle
resume(DFAHashCacheOracle.DFAHashCacheOracleState) - Method in class de.learnlib.filter.cache.dfa.DFAHashCacheOracle
resume(AdaptiveQueryCache.AdaptiveQueryCacheState<I, O>) - Method in class de.learnlib.filter.cache.mealy.AdaptiveQueryCache
resume(MealyCacheOracle.MealyCacheOracleState<I, O>) - Method in class de.learnlib.filter.cache.mealy.MealyCacheOracle
resume(MooreCacheOracle.MooreCacheOracleState<I, O>) - Method in class de.learnlib.filter.cache.moore.MooreCacheOracle
ReverseLexCmp - Class in de.learnlib.filter.cache
ReverseLexCmp(Comparator) - Constructor for class de.learnlib.filter.cache.ReverseLexCmp

S

StateLocalInputSULCache<I,O> - Class in de.learnlib.filter.cache.sul: A SULCache that additionally caches the currently enabled inputs of the given StateLocalInputSUL.
StateLocalInputSULCache.StateLocalInputSULCacheState<I,O> - Class in de.learnlib.filter.cache.sul
SULCache<I,O> - Class in de.learnlib.filter.cache.sul: A cache to be used with a SUL.
SULCaches - Class in de.learnlib.filter.cache.sul: A factory for creating caches for SULs.
suspend() - Method in class de.learnlib.filter.cache.dfa.DFACacheOracle
suspend() - Method in class de.learnlib.filter.cache.dfa.DFAHashCacheOracle
suspend() - Method in class de.learnlib.filter.cache.mealy.AdaptiveQueryCache
suspend() - Method in class de.learnlib.filter.cache.mealy.MealyCacheOracle
suspend() - Method in class de.learnlib.filter.cache.moore.MooreCacheOracle

T

ThreadSafeDFACacheOracle - Class in de.learnlib.filter.cache.dfa: A thread-safe variant of DFACacheOracle.
ThreadSafeDFACaches - Class in de.learnlib.filter.cache.dfa: A factory for creating thread-safe caches for DFA-based MembershipOracles.
ThreadSafeMealyCacheConsistencyTest<I,O> - Class in de.learnlib.filter.cache.mealy: A thread-safe variant of EquivalenceOracle.MealyEquivalenceOracle.
ThreadSafeMealyCacheConsistencyTest(EquivalenceOracle.MealyEquivalenceOracle<I, O>, ReadWriteLock) - Constructor for class de.learnlib.filter.cache.mealy.ThreadSafeMealyCacheConsistencyTest
ThreadSafeMealyCacheOracle<I,O> - Class in de.learnlib.filter.cache.mealy: A thread-safe variant of MealyCacheOracle.
ThreadSafeMealyCaches - Class in de.learnlib.filter.cache.mealy: A factory for creating thread-safe caches for MealyMachine-based MembershipOracles.
ThreadSafeMooreCacheConsistencyTest<I,O> - Class in de.learnlib.filter.cache.moore: A thread-safe variant of EquivalenceOracle.MooreEquivalenceOracle.
ThreadSafeMooreCacheConsistencyTest(EquivalenceOracle.MooreEquivalenceOracle<I, O>, ReadWriteLock) - Constructor for class de.learnlib.filter.cache.moore.ThreadSafeMooreCacheConsistencyTest
ThreadSafeMooreCacheOracle<I,O> - Class in de.learnlib.filter.cache.moore: A thread-safe variant of MealyCacheOracle.
ThreadSafeMooreCaches - Class in de.learnlib.filter.cache.moore: A factory for creating thread-safe caches for MooreMachine-based MembershipOracles.
ThreadSafeStateLocalInputSULCache<I,O> - Class in de.learnlib.filter.cache.sul: A thread-safe variant of StateLocalInputSULCache.
ThreadSafeSULCache<I,O> - Class in de.learnlib.filter.cache.sul: A thread-safe variant of SULCache.
ThreadSafeSULCaches - Class in de.learnlib.filter.cache.sul: A factory for creating thread-safe SUL caches.

A C D F G I L M P R S T
All Classes All Packages