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<I>, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACaches

Creates a cache oracle for a DFA learning setup.

createCache(Alphabet<I>, 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<I>, 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<I>, 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<I>, 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<I>, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCache

createDAGCache(Alphabet<I>, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCaches

createDAGCacheOracle(Alphabet<I>, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACacheOracle

createDAGCacheOracle(Alphabet<I>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCacheOracle

createDAGCacheOracle(Alphabet<I>, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCacheOracle

createDFACache(Alphabet<I>, 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<I>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.Caches

Deprecated.

since 2014-01-24. Use MealyCaches.createCache(Alphabet, MembershipOracle)

createSULCache(Alphabet<I>, SUL<I, O>) - Static method in class de.learnlib.cache.Caches

Deprecated.

since 2014-01-24. Use SULCaches.createCache(Alphabet, SUL)

createTreeCache(Alphabet<I>, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACaches

createTreeCache(Alphabet<I>, 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<I>, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCache

createTreeCache(Alphabet<I>, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCaches

createTreeCacheOracle(Alphabet<I>, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACacheOracle

createTreeCacheOracle(Alphabet<I>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCacheOracle

createTreeCacheOracle(Alphabet<I>, 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<I> - Class in de.learnlib.cache.dfa

An EquivalenceOracle that tests an hypothesis for consistency with the contents of a DFACacheOracle.

DFACacheConsistencyTest(IncrementalDFABuilder<I>, Lock) - Constructor for class de.learnlib.cache.dfa.DFACacheConsistencyTest

Constructor.

DFACacheOracle<I> - Class in de.learnlib.cache.dfa

DFA cache.

DFACacheOracle(Alphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.cache.dfa.DFACacheOracle

Deprecated.

since 2014-01-24. Use DFACaches.createCache(Alphabet, MembershipOracle)

DFACaches - Class in de.learnlib.cache.dfa

DFAHashCacheOracle<I> - 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<I> - 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,O> - Interface in de.learnlib.cache

A learning cache that also serves as a membership oracle.

LearningCacheOracle.DFALearningCacheOracle<I> - 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<I>, 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<I>, 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<I>, 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