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

A

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

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

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

Creates a SULCache for a given SUL.

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

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

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

createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.moore.MooreCacheOracle

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

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.

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

Creates a StateLocalInputSULCache for a given StateLocalInputSUL.

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

createSymbolQueryCache(Alphabet<I>, SymbolQueryOracle<I, O>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches

Creates a cache oracle for a symbol-based Mealy machine learning setup, using a tree for internal cache organization.

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

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

A factory for creating caches for DFA-based MembershipOracles.

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

A LearningCacheOracle.DFALearningCacheOracle that uses a Map for internal cache organization.

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

DynamicSymbolComparator<I> - 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(MooreMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.filter.cache.moore.MooreCacheConsistencyTest

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.

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

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

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(MooreCacheOracle.MooreCacheOracleState<I, O>) - Method in class de.learnlib.filter.cache.moore.MooreCacheOracle

ReverseLexCmp<I> - Class in de.learnlib.filter.cache

ReverseLexCmp(Comparator<I>) - 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.MealyCacheOracle

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

suspend() - Method in class de.learnlib.filter.cache.moore.MooreCacheOracle

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

A cache for a SymbolQueryOracle.

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

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