C D F G I L O R S T V W
All Classes All Packages

C

CALL - de.learnlib.algorithm.ttt.vpa.Splitter.SplitType

computeHypothesisOutput(Word<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA

create() - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder

Creates a new TTTLearnerVPA instance with the configured parameters.

D

de.learnlib.algorithm.ttt.vpa - package de.learnlib.algorithm.ttt.vpa

declareFinal(DTNode<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA

determinize(State<HypLoc<I>>, Word<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA

F

finalizeAny() - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA

G

getAlphabet() - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder

Returns the current value for the parameter alphabet.

getAnalyzer() - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder

Returns the current value for the parameter analyzer.

getAnySuccessor(State<HypLoc<I>>, I) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA

getDefinitiveSuccessor(State<HypLoc<I>>, Word<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA

getDiscriminator() - Method in class de.learnlib.algorithm.ttt.vpa.Splitter

getNewDiscriminator() - Method in class de.learnlib.algorithm.ttt.vpa.Splitter

getNewDiscriminatorLength() - Method in class de.learnlib.algorithm.ttt.vpa.Splitter

getOracle() - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder

Returns the current value for the parameter oracle.

getSplitterTrans(HypLoc<I>, Splitter<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA

I

INTERNAL - de.learnlib.algorithm.ttt.vpa.Splitter.SplitType

L

location - Variable in class de.learnlib.algorithm.ttt.vpa.Splitter

O

otherSymbol - Variable in class de.learnlib.algorithm.ttt.vpa.Splitter

R

refineHypothesisSingle(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA

RETURN - de.learnlib.algorithm.ttt.vpa.Splitter.SplitType

S

setAlphabet(VPAlphabet<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder

Sets the new value for the parameter alphabet.

setAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder

Sets the new value for the parameter analyzer.

setOracle(MembershipOracle.DFAMembershipOracle<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder

Sets the new value for the parameter oracle.

Splitter<I> - Class in de.learnlib.algorithm.ttt.vpa

Data structure for representing a splitter.

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

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

Splitter.SplitType - Enum in de.learnlib.algorithm.ttt.vpa

succSeparator - Variable in class de.learnlib.algorithm.ttt.vpa.Splitter

symbol - Variable in class de.learnlib.algorithm.ttt.vpa.Splitter

T

TTTLearnerVPA<I> - Class in de.learnlib.algorithm.ttt.vpa

A SEVPA-based adoption of the "TTT" algorithm.

TTTLearnerVPA(VPAlphabet<I>, MembershipOracle.DFAMembershipOracle<I>, AcexAnalyzer) - Constructor for class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA

TTTLearnerVPABuilder<I> - Class in de.learnlib.algorithm.ttt.vpa

A builder for constructing TTTLearnerVPA instances.

TTTLearnerVPABuilder() - Constructor for class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder

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

type - Variable in class de.learnlib.algorithm.ttt.vpa.Splitter

V

valueOf(String) - Static method in enum de.learnlib.algorithm.ttt.vpa.Splitter.SplitType

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

values() - Static method in enum de.learnlib.algorithm.ttt.vpa.Splitter.SplitType

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

W

withAlphabet(VPAlphabet<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder

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

withAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder

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

withOracle(MembershipOracle.DFAMembershipOracle<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder

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

C D F G I L O R S T V W
All Classes All Packages