Package de.learnlib.algorithms.ttt.base

Class Summary

Class	Description
AbstractBaseDTNode<I,D>
AbstractTTTHypothesis<I,D,T>	Hypothesis DFA for the TTT algorithm.
AbstractTTTHypothesis.TTTEdge<I,D>
AbstractTTTLearner<A,I,D>	The TTT learning algorithm for DFA.
AbstractTTTLearner.BuilderDefaults
AbstractTTTLearner.Splitter<I,D>	Data structure for representing a splitter.
BaseTTTDiscriminationTree<I,D>	The discrimination tree data structure.
BlockList<I,D>	A list for storing blocks (identified by their root AbstractBaseDTNodes).
IncomingList<I,D>	The head of the intrusive linked list for storing incoming transitions of a DT node.
OutputInconsistency<I,D>	Class for representing output inconsistencies within the TTT algorithm.
TTTLearnerState<I,D>	Class that contains all data that represent the internal state of the AbstractTTTLearner learner and its DFA and Mealy implementations.
TTTState<I,D>	A state in a AbstractTTTHypothesis.
TTTTransition<I,D>	A transition in a AbstractTTTHypothesis.

Exception Summary

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