C D F G L O R S T V W

C

computeHypothesisOutput(Word<I>) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDA

create() - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDABuilder

D

de.learnlib.algorithms.ttt.vpda - package de.learnlib.algorithms.ttt.vpda

declareFinal(DTNode<I>) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDA

deriveAcex(OutputInconsistency<I>) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDA

determinize(State<HypLoc<I>>, Word<I>) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDA

F

finalizeAny() - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDA

G

getAlphabet() - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDABuilder

getAnalyzer() - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDABuilder

getAnySuccessor(State<HypLoc<I>>, I) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDA

getDefinitiveSuccessor(State<HypLoc<I>>, Word<I>) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDA

getDiscriminator() - Method in class de.learnlib.algorithms.ttt.vpda.Splitter

getNewDiscriminator() - Method in class de.learnlib.algorithms.ttt.vpda.Splitter

getNewDiscriminatorLength() - Method in class de.learnlib.algorithms.ttt.vpda.Splitter

getOracle() - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDABuilder

getSplitterTrans(HypLoc<I>, Splitter<I>) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDA

L

location - Variable in class de.learnlib.algorithms.ttt.vpda.Splitter

O

otherSymbol - Variable in class de.learnlib.algorithms.ttt.vpda.Splitter

R

refineHypothesisSingle(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDA

S

setAlphabet(VPDAlphabet<I>) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDABuilder

setAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDABuilder

setOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDABuilder

Splitter<I> - Class in de.learnlib.algorithms.ttt.vpda

Data structure for representing a splitter.

Splitter(I, DTNode<I>) - Constructor for class de.learnlib.algorithms.ttt.vpda.Splitter

Splitter(I, HypLoc<I>, I, boolean, DTNode<I>) - Constructor for class de.learnlib.algorithms.ttt.vpda.Splitter

Splitter.SplitType - Enum in de.learnlib.algorithms.ttt.vpda

succSeparator - Variable in class de.learnlib.algorithms.ttt.vpda.Splitter

symbol - Variable in class de.learnlib.algorithms.ttt.vpda.Splitter

T

TTTLearnerVPDA<I> - Class in de.learnlib.algorithms.ttt.vpda

TTTLearnerVPDA(VPDAlphabet<I>, MembershipOracle<I, Boolean>, AcexAnalyzer) - Constructor for class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDA

TTTLearnerVPDABuilder<I> - Class in de.learnlib.algorithms.ttt.vpda

TTTLearnerVPDABuilder() - Constructor for class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDABuilder

type - Variable in class de.learnlib.algorithms.ttt.vpda.Splitter

V

valueOf(String) - Static method in enum de.learnlib.algorithms.ttt.vpda.Splitter.SplitType

Returns the enum constant of this type with the specified name.

values() - Static method in enum de.learnlib.algorithms.ttt.vpda.Splitter.SplitType

Returns an array containing the constants of this enum type, in the order they are declared.

W

withAlphabet(VPDAlphabet<I>) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDABuilder

withAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDABuilder

withOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDABuilder

C D F G L O R S T V W