A C D F G I K R S W
All Classes All Packages

A

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

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

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

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

C

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

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

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

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

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

Creates a new KearnsVaziraniDFA instance with the configured parameters.

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

Creates a new KearnsVaziraniMealy instance with the configured parameters.

D

de.learnlib.algorithm.kv - package de.learnlib.algorithm.kv

de.learnlib.algorithm.kv.dfa - package de.learnlib.algorithm.kv.dfa

de.learnlib.algorithm.kv.mealy - package de.learnlib.algorithm.kv.mealy

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

F

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

G

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

Returns the current value for the parameter alphabet.

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

Returns the current value for the parameter alphabet.

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

Returns the current value for the parameter counterexampleAnalyzer.

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

Returns the current value for the parameter counterexampleAnalyzer.

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

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

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

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

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

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

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

Returns the current value for the parameter oracle.

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

Returns the current value for the parameter oracle.

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

Returns the current value for the parameter repeatedCounterexampleEvaluation.

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

Returns the current value for the parameter repeatedCounterexampleEvaluation.

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

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

I

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

K

KearnsVaziraniDFA<I> - Class in de.learnlib.algorithm.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.algorithm.kv.dfa.KearnsVaziraniDFA

Constructor.

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

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

A builder for constructing KearnsVaziraniDFA instances.

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

Creates a new builder (and may set default values for some parameters).

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

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

KearnsVaziraniMealy<I,O> - Class in de.learnlib.algorithm.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.algorithm.kv.mealy.KearnsVaziraniMealy

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

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

A builder for constructing KearnsVaziraniMealy instances.

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

Creates a new builder (and may set default values for some parameters).

KearnsVaziraniMealyState<I,O> - Class in de.learnlib.algorithm.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.algorithm.kv.dfa.KearnsVaziraniDFA.KVAbstractCounterexample

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

R

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

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

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

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

S

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

Sets the new value for the parameter alphabet.

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

Sets the new value for the parameter alphabet.

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

Sets the new value for the parameter counterexampleAnalyzer.

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

Sets the new value for the parameter counterexampleAnalyzer.

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

Sets the new value for the parameter oracle.

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

Sets the new value for the parameter oracle.

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

Sets the new value for the parameter repeatedCounterexampleEvaluation.

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

Sets the new value for the parameter repeatedCounterexampleEvaluation.

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

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

StateInfo<I,D> - Class in de.learnlib.algorithm.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.algorithm.kv.StateInfo

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

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

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

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

W

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

Sets the new value for the parameter alphabet and returns this builder instance.

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

Sets the new value for the parameter alphabet and returns this builder instance.

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

Sets the new value for the parameter counterexampleAnalyzer and returns this builder instance.

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

Sets the new value for the parameter counterexampleAnalyzer and returns this builder instance.

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

Sets the new value for the parameter oracle and returns this builder instance.

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

Sets the new value for the parameter oracle and returns this builder instance.

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

Sets the new value for the parameter repeatedCounterexampleEvaluation and returns this builder instance.

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

Sets the new value for the parameter repeatedCounterexampleEvaluation and returns this builder instance.

A C D F G I K R S W
All Classes All Packages