C D F G M P

C

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.

D

de.learnlib.cache.dfa - package de.learnlib.cache.dfa

de.learnlib.cache.mealy - package de.learnlib.cache.mealy

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

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

C D F G M P