Package de.learnlib.algorithms.ttt.base

Interface Summary

Interface	Description
AccessSequenceProvider<I>	Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a TTTHypothesis).
TTTEventListener<I,D>

Class Summary

Class	Description
BaseTTTLearner<A,I,D>	The TTT learning algorithm for DFA.
BaseTTTLearner.BuilderDefaults
BaseTTTLearner.Splitter<I,D>	Data structure for representing a splitter.
BlockList<I,D>	A list for storing blocks (identified by their root DTNodes).
BlockListElem<I,D>	Abstract base class for objects that may occur in a BlockList, either as a value element or the head of the list (which represents the list itself, but does not carry any value).
DiscriminationTree<I,D>	The discrimination tree data structure.
DTNode<I,D>
IncomingList<I,D>	The head of the intrusive linked list for storing incoming transitions of a DT node.
IncomingListElem<I,D>	An element in an IncomingList.
SplitData<I,D>	Data associated with a DTNode while an enclosing subtree is being split.
TTTHypothesis<I,D,T>	Hypothesis DFA for the TTT algorithm.
TTTHypothesis.TTTEdge<I,D>
TTTState<I,D>	A state in a TTTHypothesis.
TTTTransition<I,D>	A transition in a TTTHypothesis.