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

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
 
addEventListener(TTTEventListener<I, D>) - 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
 
BuilderDefaults() - Constructor for class de.learnlib.algorithms.ttt.base.AbstractTTTLearner.BuilderDefaults
 

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
 
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

ensureConsistency(TTTState<I, D>, AbstractBaseDTNode<I, D>, D) - Method in interface de.learnlib.algorithms.ttt.base.TTTEventListener
 
ensureInputCapacity(int) - Method in class de.learnlib.algorithms.ttt.base.TTTState
See ResizingObjectArray.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
 
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
 
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
 
postFinalizeDiscriminator(AbstractBaseDTNode<I, D>, AbstractTTTLearner.Splitter<I, D>) - Method in interface de.learnlib.algorithms.ttt.base.TTTEventListener
 
postSplit(TTTTransition<I, D>, Word<I>) - Method in interface de.learnlib.algorithms.ttt.base.TTTEventListener
 
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
 
preFinalizeDiscriminator(AbstractBaseDTNode<I, D>, AbstractTTTLearner.Splitter<I, D>) - Method in interface de.learnlib.algorithms.ttt.base.TTTEventListener
 
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
 
preSplit(TTTTransition<I, D>, Word<I>) - Method in interface de.learnlib.algorithms.ttt.base.TTTEventListener
 
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
 
removeEventListener(TTTEventListener<I, D>) - Method in class de.learnlib.algorithms.ttt.base.AbstractTTTLearner
 
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

setTransition(int, TTTTransition<I, D>) - Method in class de.learnlib.algorithms.ttt.base.TTTState
 
sift(AccessSequenceProvider<I>) - 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(AccessSequenceProvider<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(Word<I>, boolean) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree
 
sift(AbstractBaseDTNode<I, D>, Word<I>, boolean) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree
 
sift(AbstractBaseDTNode<I, D>, AccessSequenceProvider<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
 
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
 
TTTEventListener<I,D> - Interface in de.learnlib.algorithms.ttt.base
 
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
 
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
 
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
 
A B C D E F G H I L M N O P Q R S T U 
Skip navigation links

Copyright © 2018. All rights reserved.