A B C D E F G H I L M N O P Q R S T U W

A

AbstractBaseDTNode<I,D> - Class in de.learnlib.algorithms.ttt.base

AbstractBaseDTNode() - Constructor for class de.learnlib.algorithms.ttt.base.AbstractBaseDTNode

AbstractBaseDTNode(AbstractBaseDTNode<I, D>, D) - Constructor for class de.learnlib.algorithms.ttt.base.AbstractBaseDTNode

AbstractTTTHypothesis<I,D,T> - Class in de.learnlib.algorithms.ttt.base

Hypothesis DFA for the TTT algorithm.

AbstractTTTHypothesis(Alphabet<I>) - Constructor for class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

Constructor.

AbstractTTTHypothesis.GraphView - Class in de.learnlib.algorithms.ttt.base

AbstractTTTHypothesis.TTTEdge<I,D> - Class in de.learnlib.algorithms.ttt.base

AbstractTTTLearner<A,I,D> - Class in de.learnlib.algorithms.ttt.base

The TTT learning algorithm for DFA.

AbstractTTTLearner(Alphabet<I>, MembershipOracle<I, D>, AbstractTTTHypothesis<I, D, ?>, BaseTTTDiscriminationTree<I, D>, AcexAnalyzer) - Constructor for class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

AbstractTTTLearner.BuilderDefaults - Class in de.learnlib.algorithms.ttt.base

AbstractTTTLearner.Splitter<I,D> - Class in de.learnlib.algorithms.ttt.base

Data structure for representing a splitter.

addAlphabetSymbol(I) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

addAlphabetSymbol(I) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

addUnlabeled(PrefixTTTLearnerDFA.ExtDTNode<I>) - Method in class de.learnlib.algorithms.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode

allNodesFinal() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

alphabet - Variable in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

alphabet - Variable in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

analyzer - Variable in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

analyzer() - Static method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner.BuilderDefaults

anyChild() - Method in class de.learnlib.algorithms.ttt.base.AbstractBaseDTNode

anySubtreeState() - Method in class de.learnlib.algorithms.ttt.base.AbstractBaseDTNode

B

BaseTTTDiscriminationTree<I,D> - Class in de.learnlib.algorithms.ttt.base

The discrimination tree data structure.

BaseTTTDiscriminationTree(MembershipOracle<I, D>, Supplier<? extends AbstractBaseDTNode<I, D>>) - Constructor for class de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree

BaseTTTDiscriminationTree(MembershipOracle<I, D>, AbstractBaseDTNode<I, D>) - Constructor for class de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree

blockList - Variable in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

The blocks during a split operation.

BlockList<I,D> - Class in de.learnlib.algorithms.ttt.base

A list for storing blocks (identified by their root AbstractBaseDTNodes).

BlockList() - Constructor for class de.learnlib.algorithms.ttt.base.BlockList

buildQuery(AbstractBaseDTNode<I, D>, Word<I>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree

C

closeTransitions() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

computeHypothesisOutput(TTTState<I, D>, Word<I>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

computeHypothesisOutput(TTTState<I, Boolean>, Word<I>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA

computeHypothesisOutput(TTTState<I, Word<O>>, Word<I>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy

create() - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFABuilder

create() - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealyBuilder

createChild(Boolean, TTTState<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode

createChild(Boolean, TTTState<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTDTNodeDFA

createChild(D, TTTState<I, D>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTDTNodeMealy

createChildMap() - Method in class de.learnlib.algorithms.ttt.dfa.TTTDTNodeDFA

createChildMap() - Method in class de.learnlib.algorithms.ttt.mealy.TTTDTNodeMealy

createMap() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

createNewNode(AbstractBaseDTNode<I, D>, D) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

createNewNode(AbstractBaseDTNode<I, Boolean>, Boolean) - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA

createNewNode(AbstractBaseDTNode<I, Word<O>>, Word<O>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy

createState(TTTTransition<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

createTransition(TTTState<I, D>, I) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

createTransition(TTTState<I, Word<O>>, I) - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy

D

de.learnlib.algorithms.ttt.base - package de.learnlib.algorithms.ttt.base

de.learnlib.algorithms.ttt.dfa - package de.learnlib.algorithms.ttt.dfa

de.learnlib.algorithms.ttt.mealy - package de.learnlib.algorithms.ttt.mealy

declareFinal(AbstractBaseDTNode<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

deriveAcex(OutputInconsistency<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

deriveAcex(OutputInconsistency<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA

deriveAcex(OutputInconsistency<I, Word<O>>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy

dtree - Variable in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

E

ensureInputCapacity(int) - Method in class de.learnlib.algorithms.ttt.base.TTTState

See ResizingArrayStorage.ensureCapacity(int).

ExtDTNode() - Constructor for class de.learnlib.algorithms.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode

ExtDTNode(PrefixTTTLearnerDFA.ExtDTNode<I>, Boolean) - Constructor for class de.learnlib.algorithms.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode

F

finalizeAny() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

Chooses a block root, and finalizes the corresponding discriminator.

findOutputInconsistency() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

findOutputInconsistency() - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy

fullIntAbstraction(Alphabet<I>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

fullIntAbstraction(Alphabet<I>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA

fullIntAbstraction(Alphabet<I>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTHypothesisMealy

G

getAccessSequence() - Method in class de.learnlib.algorithms.ttt.base.TTTState

getAccessSequence() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition

getAlphabet() - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFABuilder

getAlphabet() - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealyBuilder

getAnalyzer() - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFABuilder

getAnalyzer() - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealyBuilder

getAnySuccessor(TTTState<I, D>, I) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

getAnySuccessor(TTTState<I, D>, Iterable<? extends I>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

getAnyTarget(TTTTransition<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

Retrieves the target state of a given transition.

getDeterministicState(TTTState<I, D>, Word<I>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

getDiscriminationTree() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

Returns the discrimination tree.

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

getDiscriminatorLength() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner.Splitter

getDTLeaf() - Method in class de.learnlib.algorithms.ttt.base.TTTState

Retrieves the discrimination tree leaf associated with this state.

getDTTarget() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition

getHypothesisDS() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

getHypothesisDS() - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA

getHypothesisModel() - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA

getHypothesisModel() - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy

getIncoming() - Method in class de.learnlib.algorithms.ttt.base.AbstractBaseDTNode

getInitialState() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

getInput() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition

getInputAlphabet() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

getInternalTransition(TTTState<I, D>, I) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

Retrieves the internal transition (i.e., the TTTTransition object) for a given state and input.

getInternalTransition(TTTState<I, D>, int) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

getIntInitialState() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

getIntSuccessor(T) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

getNodes() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis.GraphView

getNondetSuccessors(Collection<? extends TTTState<I, D>>, I) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

getNonTreeTarget() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition

getOracle() - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFABuilder

getOracle() - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealyBuilder

getOutgoingEdges(TTTState<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis.GraphView

getOutput() - Method in class de.learnlib.algorithms.ttt.mealy.TTTTransitionMealy

getParentTransition() - Method in class de.learnlib.algorithms.ttt.base.TTTState

getProperty() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition

getProperty() - Method in class de.learnlib.algorithms.ttt.mealy.TTTTransitionMealy

getSource() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition

getStateProperty(int) - Method in class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA

getStateProperty(int) - Method in class de.learnlib.algorithms.ttt.mealy.TTTHypothesisMealy

getStates() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

getStateTransition(TTTState<I, D>, I) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

getSuccessor(TTTState<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA

getSuccessor(TTTTransitionMealy<I, O>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTHypothesisMealy

getTarget(AbstractTTTHypothesis.TTTEdge<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis.GraphView

getTarget() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition

getTransition(int, int) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

getTransition(TTTState<I, D>, I) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

getTransition(int) - Method in class de.learnlib.algorithms.ttt.base.TTTState

getTransitionOutput(TTTTransitionMealy<I, O>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTHypothesisMealy

getTransitionProperty(TTTState<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA

getTransitionProperty(TTTTransitionMealy<I, O>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTHypothesisMealy

getTransitions() - Method in class de.learnlib.algorithms.ttt.base.TTTState

getTreeTarget() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition

getVisualizationHelper() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis.GraphView

getVisualizationHelper() - Method in class de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree

graphView() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

GraphView() - Constructor for class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis.GraphView

H

hasUnlabeled() - Method in class de.learnlib.algorithms.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode

hypothesis - Variable in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

HypothesisChangedException - Exception in de.learnlib.algorithms.ttt.base

Exception to indicate structural changes of the hypothesis during counterexample analysis, thus possibly invalidating the counterexample.

HypothesisChangedException() - Constructor for exception de.learnlib.algorithms.ttt.base.HypothesisChangedException

I

IncomingList<I,D> - Class in de.learnlib.algorithms.ttt.base

The head of the intrusive linked list for storing incoming transitions of a DT node.

IncomingList() - Constructor for class de.learnlib.algorithms.ttt.base.IncomingList

initialize() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

Initializes the automaton, adding an initial state.

initializeState(TTTState<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

Initializes a state.

initializeState(TTTState<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA

insertAllIncoming(IncomingList<I, D>) - Method in class de.learnlib.algorithms.ttt.base.IncomingList

insertAllIncoming(TTTTransition<I, D>) - Method in class de.learnlib.algorithms.ttt.base.IncomingList

insertBlock(AbstractBaseDTNode<I, D>) - Method in class de.learnlib.algorithms.ttt.base.BlockList

Inserts a block into the list.

insertIncoming(TTTTransition<I, D>) - Method in class de.learnlib.algorithms.ttt.base.IncomingList

isAccepting(TTTState<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA

isAccepting() - Method in class de.learnlib.algorithms.ttt.dfa.TTTStateDFA

isInitialized() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

Checks whether this automaton was initialized (i.e., AbstractTTTHypothesis.initialize() has been called).

isRoot() - Method in class de.learnlib.algorithms.ttt.base.TTTState

Checks whether this state is the initial state (i.e., the root of the spanning tree).

isTree() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition

L

link(AbstractBaseDTNode<I, D>, TTTState<I, D>) - Static method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

Establish the connection between a node in the discrimination tree and a state of the hypothesis.

M

makeTree(TTTTransition<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

makeTree(TTTTransition<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.PrefixTTTLearnerDFA

mapTransition(TTTTransition<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

mapTransition(TTTTransition<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA

mapTransition(TTTTransition<I, Word<O>>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTHypothesisMealy

N

newState(int, TTTTransition<I, D>, int) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

newState(int, TTTTransition<I, Boolean>, int) - Method in class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA

numInputs() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

O

openTransitions - Variable in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

Open transitions, i.e., transitions that possibly point to a non-leaf node in the discrimination tree.

oracle - Variable in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

OutputInconsistency<I,D> - Class in de.learnlib.algorithms.ttt.base

Class for representing output inconsistencies within the TTT algorithm.

OutputInconsistency(TTTState<I, D>, Word<I>, D) - Constructor for class de.learnlib.algorithms.ttt.base.OutputInconsistency

P

poll() - Method in class de.learnlib.algorithms.ttt.base.IncomingList

predictSuccOutcome(TTTTransition<I, D>, AbstractBaseDTNode<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

predictSuccOutcome(TTTTransition<I, Boolean>, AbstractBaseDTNode<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA

predictSuccOutcome(TTTTransition<I, Word<O>>, AbstractBaseDTNode<I, Word<O>>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy

PrefixTTTLearnerDFA<I> - Class in de.learnlib.algorithms.ttt.dfa

PrefixTTTLearnerDFA(Alphabet<I>, MembershipOracle<I, Boolean>, AcexAnalyzer) - Constructor for class de.learnlib.algorithms.ttt.dfa.PrefixTTTLearnerDFA

PrefixTTTLearnerDFA.ExtDTNode<I> - Class in de.learnlib.algorithms.ttt.dfa

prevIncoming - Variable in class de.learnlib.algorithms.ttt.base.TTTTransition

Q

query(Word<I>, Word<I>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

Performs a membership query.

query(AccessSequenceProvider<I>, Word<I>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

Performs a membership query, using an access sequence as its prefix.

R

refineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

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

refineHypothesisSingle(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

Performs a single refinement of the hypothesis, i.e., without repeated counterexample evaluation.

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

refineHypothesisSingle(DefaultQuery<I, Word<O>>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy

removeFromUnlabeledList() - Method in class de.learnlib.algorithms.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode

resume(TTTLearnerState<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

S

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

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

setAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFABuilder

setAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealyBuilder

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

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

setTransition(int, TTTTransition<I, D>) - Method in class de.learnlib.algorithms.ttt.base.TTTState

sift(Word<I>, boolean) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree

Sifts an access sequence provided by an object into the tree, starting at the root.

sift(AbstractBaseDTNode<I, D>, Word<I>, boolean) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree

sift(List<AbstractBaseDTNode<I, D>>, List<Word<I>>, boolean) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree

sift(AbstractBaseDTNode<I, D>, Word<I>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree

sift(List<AbstractBaseDTNode<I, D>>, List<Word<I>>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree

size() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

split(AbstractBaseDTNode<I, D>, Word<I>, D, D) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

Splitter(int) - Constructor for class de.learnlib.algorithms.ttt.base.AbstractTTTLearner.Splitter

Splitter(int, AbstractBaseDTNode<I, D>) - Constructor for class de.learnlib.algorithms.ttt.base.AbstractTTTLearner.Splitter

srcState - Variable in class de.learnlib.algorithms.ttt.base.OutputInconsistency

startLearning() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

states - Variable in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis

subtreeNodesIterator() - Method in class de.learnlib.algorithms.ttt.base.AbstractBaseDTNode

subtreeStates() - Method in class de.learnlib.algorithms.ttt.base.AbstractBaseDTNode

subtreeStatesIterator() - Method in class de.learnlib.algorithms.ttt.base.AbstractBaseDTNode

succEffect(D) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

succEffect(Boolean) - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA

succEffect(Word<O>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy

succSeparator - Variable in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner.Splitter

suffix - Variable in class de.learnlib.algorithms.ttt.base.OutputInconsistency

suspend() - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner

symbolIdx - Variable in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner.Splitter

T

target - Variable in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis.TTTEdge

targetOut - Variable in class de.learnlib.algorithms.ttt.base.OutputInconsistency

toString() - Method in class de.learnlib.algorithms.ttt.base.TTTState

transition - Variable in class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis.TTTEdge

TTTDTNodeDFA<I> - Class in de.learnlib.algorithms.ttt.dfa

Binary discrimination tree node specialization.

TTTDTNodeDFA() - Constructor for class de.learnlib.algorithms.ttt.dfa.TTTDTNodeDFA

TTTDTNodeDFA(AbstractBaseDTNode<I, Boolean>, Boolean) - Constructor for class de.learnlib.algorithms.ttt.dfa.TTTDTNodeDFA

TTTDTNodeMealy<I,D> - Class in de.learnlib.algorithms.ttt.mealy

Generic n-ary discrimination tree node specialization.

TTTDTNodeMealy() - Constructor for class de.learnlib.algorithms.ttt.mealy.TTTDTNodeMealy

TTTDTNodeMealy(AbstractBaseDTNode<I, D>, D) - Constructor for class de.learnlib.algorithms.ttt.mealy.TTTDTNodeMealy

TTTEdge(TTTTransition<I, D>, TTTState<I, D>) - Constructor for class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis.TTTEdge

TTTHypothesisDFA<I> - Class in de.learnlib.algorithms.ttt.dfa

TTTHypothesisDFA(Alphabet<I>) - Constructor for class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA

TTTHypothesisMealy<I,O> - Class in de.learnlib.algorithms.ttt.mealy

TTTHypothesisMealy(Alphabet<I>) - Constructor for class de.learnlib.algorithms.ttt.mealy.TTTHypothesisMealy

TTTLearnerDFA<I> - Class in de.learnlib.algorithms.ttt.dfa

TTTLearnerDFA(Alphabet<I>, MembershipOracle<I, Boolean>, AcexAnalyzer) - Constructor for class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA

TTTLearnerDFA(Alphabet<I>, MembershipOracle<I, Boolean>, AcexAnalyzer, Supplier<? extends AbstractBaseDTNode<I, Boolean>>) - Constructor for class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA

TTTLearnerDFABuilder<I> - Class in de.learnlib.algorithms.ttt.dfa

TTTLearnerDFABuilder() - Constructor for class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFABuilder

TTTLearnerMealy<I,O> - Class in de.learnlib.algorithms.ttt.mealy

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

TTTLearnerMealyBuilder<I,O> - Class in de.learnlib.algorithms.ttt.mealy

TTTLearnerMealyBuilder() - Constructor for class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealyBuilder

TTTLearnerState<I,D> - Class in de.learnlib.algorithms.ttt.base

Class that contains all data that represent the internal state of the AbstractTTTLearner learner and its DFA and Mealy implementations.

TTTState<I,D> - Class in de.learnlib.algorithms.ttt.base

A state in a AbstractTTTHypothesis.

TTTState(int, TTTTransition<I, D>, int) - Constructor for class de.learnlib.algorithms.ttt.base.TTTState

TTTStateDFA<I> - Class in de.learnlib.algorithms.ttt.dfa

TTTStateDFA(int, TTTTransition<I, Boolean>, int) - Constructor for class de.learnlib.algorithms.ttt.dfa.TTTStateDFA

TTTTransition<I,D> - Class in de.learnlib.algorithms.ttt.base

A transition in a AbstractTTTHypothesis.

TTTTransition(TTTState<I, D>, I) - Constructor for class de.learnlib.algorithms.ttt.base.TTTTransition

TTTTransitionMealy<I,O> - Class in de.learnlib.algorithms.ttt.mealy

TTTTransitionMealy(TTTState<I, Word<O>>, I) - Constructor for class de.learnlib.algorithms.ttt.mealy.TTTTransitionMealy

U

unlabeled() - Method in class de.learnlib.algorithms.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode

unlabeledIterator() - Method in class de.learnlib.algorithms.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode

W

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

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

withAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFABuilder

withAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealyBuilder

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

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

A B C D E F G H I L M N O P Q R S T U W