A C D G I M R S T W

A

addAlphabetSymbol(I) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC

addGlobalSuffixes(Collection<? extends Word<I>>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC

addSuffixesUnchecked(Collection<? extends Word<I>>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC

C

create() - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

D

de.learnlib.algorithms.dhc.mealy - package de.learnlib.algorithms.dhc.mealy

G

getAlphabet() - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

getGlobalSuffixes() - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC

getHypothesisModel() - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC

getInitialSplitters() - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

getOracle() - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

getSuffixFinder() - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

I

initialSplitters() - Static method in class de.learnlib.algorithms.dhc.mealy.MealyDHC.BuilderDefaults

isAccessSequence(Word<I>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC

M

MealyDHC<I,O> - Class in de.learnlib.algorithms.dhc.mealy

MealyDHC(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithms.dhc.mealy.MealyDHC

Constructor, provided for backwards compatibility reasons.

MealyDHC(Alphabet<I>, MembershipOracle<I, Word<O>>, GlobalSuffixFinder<? super I, ? super Word<O>>, Collection<? extends Word<I>>) - Constructor for class de.learnlib.algorithms.dhc.mealy.MealyDHC

Constructor.

MealyDHC.BuilderDefaults - Class in de.learnlib.algorithms.dhc.mealy

MealyDHCBuilder<I,O> - Class in de.learnlib.algorithms.dhc.mealy

MealyDHCBuilder() - Constructor for class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

MealyDHCState<I,O> - Class in de.learnlib.algorithms.dhc.mealy

Class that contains all data that represent the internal state of the MealyDHC learner.

R

refineHypothesis(DefaultQuery<I, Word<O>>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC

resume(MealyDHCState<I, O>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC

S

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

setInitialSplitters(Collection<? extends Word<I>>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

setSuffixFinder(GlobalSuffixFinder<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

startLearning() - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC

suffixFinder() - Static method in class de.learnlib.algorithms.dhc.mealy.MealyDHC.BuilderDefaults

suspend() - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC

T

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC

W

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

withInitialSplitters(Collection<? extends Word<I>>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

withSuffixFinder(GlobalSuffixFinder<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHCBuilder

A C D G I M R S T W