A C D F G L M P Q R S

A

addAlphabetSymbol(I) - Method in class de.learnlib.filter.cache.dfa.DFACacheOracle

C

createCache(Alphabet<I>, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.filter.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.filter.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.filter.cache.sul.SULCaches

createCacheConsistencyTest() - Method in class de.learnlib.filter.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.filter.cache.dfa.DFAHashCacheOracle

createCacheConsistencyTest() - Method in interface de.learnlib.filter.cache.LearningCache

Creates a cache consistency test.

createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.mealy.SymbolQueryCache

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

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

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

Creates a cache oracle for a DFA learning setup, using a DAG for internal cache organization.

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

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

createDAGPCCache(Alphabet<I>, 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.

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

Creates a prefix-closed cache oracle for a DFA learning setup, using a DAG 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(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.

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

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

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

createStateLocalInputCache(Alphabet<I>, StateLocalInputSUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.SULCaches

createStateLocalInputTreeCache(Alphabet<I>, StateLocalInputSUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.SULCaches

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

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

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

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

Creates a cache oracle for a DFA learning setup, using a tree for internal cache organization.

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

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

createTreePCCache(Alphabet<I>, 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.

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

Creates a prefix-closed cache oracle for a DFA learning setup, using a tree for internal cache organization.

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.sul - package de.learnlib.filter.cache.sul

DFACacheConsistencyTest<I> - Class in de.learnlib.filter.cache.dfa

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

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

DFA cache.

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

DFACaches - Class in de.learnlib.filter.cache.dfa

DFAHashCacheOracle<I> - Class in de.learnlib.filter.cache.dfa

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

DFAHashCacheOracle.DFAHashCacheOracleState<I> - Class in de.learnlib.filter.cache.dfa

DFAHashCacheOracleState(Map<Word<I>, Boolean>) - Constructor for class de.learnlib.filter.cache.dfa.DFAHashCacheOracle.DFAHashCacheOracleState

F

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

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

fork() - Method in class de.learnlib.filter.cache.sul.StateLocalInputSULCache

G

getCache() - Method in class de.learnlib.filter.cache.dfa.DFAHashCacheOracle.DFAHashCacheOracleState

L

LearningCache<A,I,O> - Interface in de.learnlib.filter.cache

Interface for a cache used in automata learning.

LearningCache.DFALearningCache<I> - 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.

LearningCacheOracle<A,I,D> - Interface in de.learnlib.filter.cache

A learning cache that also serves as a membership oracle.

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

M

MealyCacheConsistencyTest<I,O> - Class in de.learnlib.filter.cache.mealy

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

MealyCacheConsistencyTest(IncrementalMealyBuilder<I, O>, ReadWriteLock) - Constructor for class de.learnlib.filter.cache.mealy.MealyCacheConsistencyTest

Constructor.

MealyCacheOracle<I,O> - Class in de.learnlib.filter.cache.mealy

MealyCacheOracle.MealyCacheOracleState<I,O> - Class in de.learnlib.filter.cache.mealy

MealyCaches - Class in de.learnlib.filter.cache.mealy

P

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

Q

query(I) - Method in class de.learnlib.filter.cache.mealy.SymbolQueryCache

R

reset() - Method in class de.learnlib.filter.cache.mealy.SymbolQueryCache

resume(DFACacheOracle.DFACacheOracleState<I>) - Method in class de.learnlib.filter.cache.dfa.DFACacheOracle

resume(DFAHashCacheOracle.DFAHashCacheOracleState<I>) - Method in class de.learnlib.filter.cache.dfa.DFAHashCacheOracle

resume(MealyCacheOracle.MealyCacheOracleState<I, O>) - Method in class de.learnlib.filter.cache.mealy.MealyCacheOracle

resume(SymbolQueryCache.SymbolQueryCacheState<I, O>) - Method in class de.learnlib.filter.cache.mealy.SymbolQueryCache

resume(StateLocalInputSULCache.StateLocalInputSULCacheState<I, O>) - Method in class de.learnlib.filter.cache.sul.StateLocalInputSULCache

resume(SULCache.SULCacheState<I, O>) - Method in class de.learnlib.filter.cache.sul.SULCache

S

StateLocalInputSULCache<I,O> - Class in de.learnlib.filter.cache.sul

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.

SULCache.SULCacheState<I,O> - Class in de.learnlib.filter.cache.sul

SULCaches - Class in de.learnlib.filter.cache.sul

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.MealyCacheOracle

suspend() - Method in class de.learnlib.filter.cache.mealy.SymbolQueryCache

suspend() - Method in class de.learnlib.filter.cache.sul.StateLocalInputSULCache

suspend() - Method in class de.learnlib.filter.cache.sul.SULCache

SymbolQueryCache<I,O> - Class in de.learnlib.filter.cache.mealy

A cache for a SymbolQueryOracle.

SymbolQueryCache(SymbolQueryOracle<I, O>, Alphabet<I>) - Constructor for class de.learnlib.filter.cache.mealy.SymbolQueryCache

SymbolQueryCache.SymbolQueryCacheState<I,O> - Class in de.learnlib.filter.cache.mealy

A C D F G L M P Q R S