C D F G M P S

C

Caches - Class in de.learnlib.cache

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

Creates an equivalence oracle that checks an hypothesis for consistency with the contents of this cache.

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

createDFACache(Alphabet<I>, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.Caches

createMealyCache(Alphabet<I>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.Caches

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

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(AbstractIncrementalDFABuilder<I>) - 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

Constructor.

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

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

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>) - Constructor for class de.learnlib.cache.mealy.MealyCacheConsistencyTest

Constructor.

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

Mealy cache.

MealyCacheOracle(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.cache.mealy.MealyCacheOracle

Constructor.

MealyCacheOracle(Alphabet<I>, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.cache.mealy.MealyCacheOracle

Constructor.

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

SULCache(Alphabet<I>, SUL<I, O>) - Constructor for class de.learnlib.cache.sul.SULCache

C D F G M P S