A C D G M R S T W
All Classes All Packages

A

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

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

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

C

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

D

de.learnlib.algorithm.dhc - package de.learnlib.algorithm.dhc

This package (and sub-packages) provides the implementation of the DHC learning algorithm as described in the paper Automata Learning with on-the-Fly Direct Hypothesis Construction by Maik Merten, Falk Howar, Bernhard Steffen, and Tiziana Margaria.

de.learnlib.algorithm.dhc.mealy - package de.learnlib.algorithm.dhc.mealy

G

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

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

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

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

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

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

M

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

MealyDHC(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.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.algorithm.dhc.mealy.MealyDHC

Constructor.

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

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

MealyDHCState<I,O> - Class in de.learnlib.algorithm.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.algorithm.dhc.mealy.MealyDHC

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

S

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

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

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

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

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

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

T

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

W

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

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

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

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

A C D G M R S T W
All Classes All Packages