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

C D F G L M P S

C

Caches - Class in de.learnlib.cache: Deprecated.
since 2014-01-24. Use methods defined in DFACaches, MealyCaches, or SULCaches, respectively.
createCache(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACaches: Creates a cache oracle for a DFA learning setup.
createCache(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup.
createCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCaches
createCacheConsistencyTest() - Method in class de.learnlib.cache.dfa.DFACacheOracle: Creates an equivalence oracle that checks an hypothesis for consistency with the contents of this cache.
createCacheConsistencyTest() - Method in class de.learnlib.cache.dfa.DFAHashCacheOracle
createCacheConsistencyTest() - Method in interface de.learnlib.cache.LearningCache: Creates a cache consistency test.
createCacheConsistencyTest() - Method in class de.learnlib.cache.mealy.MealyCacheOracle
createCacheConsistencyTest() - Method in class de.learnlib.cache.sul.SULCache
createDAGCache(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.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.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.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCache
createDAGCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCaches
createDAGCacheOracle(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACacheOracle
createDAGCacheOracle(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCacheOracle
createDAGCacheOracle(Alphabet, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCacheOracle
createDFACache(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.Caches: Deprecated.
since 2014-01-24. Use DFACaches.createCache(Alphabet, MembershipOracle)
createHashCache(MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACaches
createMealyCache(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.Caches: Deprecated.
since 2014-01-24. Use MealyCaches.createCache(Alphabet, MembershipOracle)
createSULCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.cache.Caches: Deprecated.
since 2014-01-24. Use SULCaches.createCache(Alphabet, SUL)
createTreeCache(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACaches
createTreeCache(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.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.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCache
createTreeCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCaches
createTreeCacheOracle(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACacheOracle
createTreeCacheOracle(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCacheOracle
createTreeCacheOracle(Alphabet, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCacheOracle

D

de.learnlib.cache - package de.learnlib.cache
de.learnlib.cache.dfa - package de.learnlib.cache.dfa
de.learnlib.cache.mealy - package de.learnlib.cache.mealy
de.learnlib.cache.sul - package de.learnlib.cache.sul
DFACacheConsistencyTest - Class in de.learnlib.cache.dfa: An EquivalenceOracle that tests an hypothesis for consistency with the contents of a DFACacheOracle.
DFACacheConsistencyTest(IncrementalDFABuilder, Lock) - Constructor for class de.learnlib.cache.dfa.DFACacheConsistencyTest: Constructor.
DFACacheOracle - Class in de.learnlib.cache.dfa: DFA cache.
DFACacheOracle(Alphabet, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.cache.dfa.DFACacheOracle: Deprecated.
since 2014-01-24. Use DFACaches.createCache(Alphabet, MembershipOracle)
DFACacheOracle(IncrementalDFABuilder, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.cache.dfa.DFACacheOracle
DFACaches - Class in de.learnlib.cache.dfa
DFAHashCacheOracle - Class in de.learnlib.cache.dfa
DFAHashCacheOracle(MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.cache.dfa.DFAHashCacheOracle

F

findCounterExample(DFA<?, I>, Collection<? extends I>) - Method in class de.learnlib.cache.dfa.DFACacheConsistencyTest
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.cache.mealy.MealyCacheConsistencyTest

G

getCacheSize() - Method in class de.learnlib.cache.mealy.MealyCacheOracle

L

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

M

MealyCacheConsistencyTest<I,O> - Class in de.learnlib.cache.mealy: An EquivalenceOracle that tests an hypothesis for consistency with the contents of a MealyCacheOracle.
MealyCacheConsistencyTest(IncrementalMealyBuilder<I, O>, Lock) - Constructor for class de.learnlib.cache.mealy.MealyCacheConsistencyTest: Constructor.
MealyCacheOracle<I,O> - Class in de.learnlib.cache.mealy: Mealy cache.
MealyCacheOracle(IncrementalMealyBuilder<I, O>, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.cache.mealy.MealyCacheOracle
MealyCacheOracle(IncrementalMealyBuilder<I, O>, Lock, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.cache.mealy.MealyCacheOracle
MealyCacheOracle(Alphabet, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.cache.mealy.MealyCacheOracle: Deprecated.
since 2014-01-23. Use MealyCacheOracle.createDAGCacheOracle(Alphabet, MembershipOracle) to reproduce old behavior.
MealyCacheOracle(Alphabet, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.cache.mealy.MealyCacheOracle: Deprecated.
since 2014-01-23. Use MealyCacheOracle.createDAGCacheOracle(Alphabet, Mapping, MembershipOracle) to reproduce old behavior.
MealyCaches - Class in de.learnlib.cache.mealy

P

post() - Method in class de.learnlib.cache.sul.SULCache
pre() - Method in class de.learnlib.cache.sul.SULCache
processQueries(Collection<? extends Query<I, Boolean>>) - Method in class de.learnlib.cache.dfa.DFACacheOracle
processQueries(Collection<? extends Query<I, Boolean>>) - Method in class de.learnlib.cache.dfa.DFAHashCacheOracle
processQueries(Collection<? extends Query<I, Word<O>>>) - Method in class de.learnlib.cache.mealy.MealyCacheOracle

S

step(I) - Method in class de.learnlib.cache.sul.SULCache
SULCache<I,O> - Class in de.learnlib.cache.sul: A cache to be used with a SUL.
SULCache(Alphabet, SUL<I, O>) - Constructor for class de.learnlib.cache.sul.SULCache: Deprecated.
since 2014-01-24. Use Caches.createSULCache(Alphabet, SUL)
SULCache(IncrementalMealyBuilder<I, O>, SUL<I, O>) - Constructor for class de.learnlib.cache.sul.SULCache
SULCache(IncrementalMealyBuilder<I, O>, Lock, SUL<I, O>) - Constructor for class de.learnlib.cache.sul.SULCache
SULCaches - Class in de.learnlib.cache.sul

C D F G L M P S