A C D F G L M P Q R S

A

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

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

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

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

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

createStateLocalInputCacheConsistencyTest() - Method in class de.learnlib.filter.cache.mealy.StateLocalInputMealyCacheOracle

createStateLocalInputTreeCache(Collection<I>, MembershipOracle<I, Word<OutputAndLocalInputs<I, O>>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches

Creates a cache oracle for a Mealy machine learning setup with observable state local inputs for every state of the system under learning.

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

Creates a cache oracle for a Mealy machine learning setup with observable state local inputs for every state of the system under learning.

createStateLocalInputTreeCache(Collection<I>, StateLocalInputOracle<I, Word<OutputAndLocalInputs<I, O>>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches

A variation of MealyCaches.createStateLocalInputTreeCache(Collection, MembershipOracle) that returns a StateLocalInputMealyCacheOracle.

createStateLocalInputTreeCache(Collection<I>, Mapping<? super OutputAndLocalInputs<I, O>, ? extends OutputAndLocalInputs<I, O>>, StateLocalInputOracle<I, Word<OutputAndLocalInputs<I, O>>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches

A variation of MealyCaches.createStateLocalInputTreeCache(Collection, MembershipOracle) that returns a StateLocalInputMealyCacheOracle.

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

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

createStateLocalInputTreeCacheOracle(Collection<I>, StateLocalInputOracle<I, Word<OutputAndLocalInputs<I, O>>>) - Static method in class de.learnlib.filter.cache.mealy.StateLocalInputMealyCacheOracle

createStateLocalInputTreeCacheOracle(Collection<I>, Mapping<? super OutputAndLocalInputs<I, O>, ? extends OutputAndLocalInputs<I, O>>, StateLocalInputOracle<I, Word<OutputAndLocalInputs<I, O>>>) - Static method in class de.learnlib.filter.cache.mealy.StateLocalInputMealyCacheOracle

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

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

definedInputs(Word<? extends I>) - Method in class de.learnlib.filter.cache.mealy.StateLocalInputMealyCacheOracle

DFACacheConsistencyTest<I> - Class in de.learnlib.filter.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.filter.cache.dfa.DFACacheConsistencyTest

Constructor.

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

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

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>, Lock) - 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

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

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

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.sul.SULCache

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(StateLocalInputMealyCacheOracle.StateLocalInputMealyCacheOracleState<I, O>) - Method in class de.learnlib.filter.cache.mealy.StateLocalInputMealyCacheOracle

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

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

S

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

StateLocalInputCacheConsistencyTest(IncrementalMealyBuilder<I, OutputAndLocalInputs<I, O>>, Lock) - Constructor for class de.learnlib.filter.cache.mealy.StateLocalInputCacheConsistencyTest

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

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

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

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

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

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