A C D F G I K R S W

A

accessSequence - Variable in class de.learnlib.algorithms.kv.StateInfo

addAlphabetSymbol(I) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA

addAlphabetSymbol(I) - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy

addIncoming(int, int) - Method in class de.learnlib.algorithms.kv.StateInfo

C

checkEffects(Boolean, Boolean) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA.KVAbstractCounterexample

checkEffects(Boolean, Boolean) - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy.KVAbstractCounterexample

computeEffect(int) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA.KVAbstractCounterexample

computeEffect(int) - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy.KVAbstractCounterexample

counterexampleAnalyzer() - Static method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA.BuilderDefaults

counterexampleAnalyzer() - Static method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy.BuilderDefaults

create() - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

create() - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealyBuilder

D

de.learnlib.algorithms.kv - package de.learnlib.algorithms.kv

de.learnlib.algorithms.kv.dfa - package de.learnlib.algorithms.kv.dfa

de.learnlib.algorithms.kv.mealy - package de.learnlib.algorithms.kv.mealy

discriminationTree - Variable in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA

discriminationTree - Variable in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy

dtNode - Variable in class de.learnlib.algorithms.kv.StateInfo

F

fetchIncoming() - Method in class de.learnlib.algorithms.kv.StateInfo

G

getAlphabet() - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

getAlphabet() - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealyBuilder

getCounterexampleAnalyzer() - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

getCounterexampleAnalyzer() - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealyBuilder

getDiscriminationTree() - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA

getDiscriminationTree() - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy

getHypothesisModel() - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA

getHypothesisModel() - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy

getLCA(int) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA.KVAbstractCounterexample

getLCA(int) - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy.KVAbstractCounterexample

getOracle() - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

getOracle() - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealyBuilder

getRepeatedCounterexampleEvaluation() - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

getRepeatedCounterexampleEvaluation() - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealyBuilder

getStateInfo(int) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA.KVAbstractCounterexample

getStateInfo(int) - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy.KVAbstractCounterexample

I

id - Variable in class de.learnlib.algorithms.kv.StateInfo

K

KearnsVaziraniDFA<I> - Class in de.learnlib.algorithms.kv.dfa

The Kearns/Vazirani algorithm for learning DFA, as described in the book "An Introduction to Computational Learning Theory" by Michael Kearns and Umesh Vazirani.

KearnsVaziraniDFA(Alphabet<I>, MembershipOracle<I, Boolean>, boolean, AcexAnalyzer) - Constructor for class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA

Constructor.

KearnsVaziraniDFA.BuilderDefaults - Class in de.learnlib.algorithms.kv.dfa

KearnsVaziraniDFA.KVAbstractCounterexample - Class in de.learnlib.algorithms.kv.dfa

KearnsVaziraniDFABuilder<I> - Class in de.learnlib.algorithms.kv.dfa

KearnsVaziraniDFABuilder() - Constructor for class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

KearnsVaziraniDFAState<I> - Class in de.learnlib.algorithms.kv.dfa

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

KearnsVaziraniMealy<I,O> - Class in de.learnlib.algorithms.kv.mealy

An adaption of the Kearns/Vazirani algorithm for Mealy machines.

KearnsVaziraniMealy(Alphabet<I>, MembershipOracle<I, Word<O>>, boolean, AcexAnalyzer) - Constructor for class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy

KearnsVaziraniMealy.BuilderDefaults - Class in de.learnlib.algorithms.kv.mealy

KearnsVaziraniMealy.KVAbstractCounterexample - Class in de.learnlib.algorithms.kv.mealy

KearnsVaziraniMealyBuilder<I,O> - Class in de.learnlib.algorithms.kv.mealy

KearnsVaziraniMealyBuilder() - Constructor for class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealyBuilder

KearnsVaziraniMealyState<I,O> - Class in de.learnlib.algorithms.kv.mealy

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

KVAbstractCounterexample(Word<I>, boolean, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA.KVAbstractCounterexample

KVAbstractCounterexample(Word<I>, Word<O>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy.KVAbstractCounterexample

R

refineHypothesis(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA

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

repeatedCounterexampleEvaluation() - Static method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA.BuilderDefaults

repeatedCounterexampleEvaluation() - Static method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy.BuilderDefaults

resume(KearnsVaziraniDFAState<I>) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA

resume(KearnsVaziraniMealyState<I, O>) - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy

S

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

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

setCounterexampleAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

setCounterexampleAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealyBuilder

setOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

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

setRepeatedCounterexampleEvaluation(boolean) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

setRepeatedCounterexampleEvaluation(boolean) - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealyBuilder

startLearning() - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA

startLearning() - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy

StateInfo<I,D> - Class in de.learnlib.algorithms.kv

The information associated with a state: it's access sequence (or access string), and the list of incoming transitions.

StateInfo(int, Word<I>) - Constructor for class de.learnlib.algorithms.kv.StateInfo

stateInfos - Variable in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA

stateInfos - Variable in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy

suspend() - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA

suspend() - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy

W

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

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

withCounterexampleAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

withCounterexampleAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealyBuilder

withOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

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

withRepeatedCounterexampleEvaluation(boolean) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFABuilder

withRepeatedCounterexampleEvaluation(boolean) - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealyBuilder

A C D F G I K R S W