Module de.learnlib.algorithm.ttt

Package de.learnlib.algorithm.ttt.base

package de.learnlib.algorithm.ttt.base

Class	Description
AbstractBaseDTNode<I,D>
AbstractTTTHypothesis<S extends TTTState<I,D>,I,D,T>	Hypothesis DFA for the TTT algorithm.
AbstractTTTHypothesis.TTTEdge<I,D>
AbstractTTTLearner<A,I,D>	The TTT learning algorithm for generic automata.
AbstractTTTLearner.BuilderDefaults
AbstractTTTLearner.Splitter<I,D>	Data structure for representing a splitter.
BaseTTTDiscriminationTree<I,D>	The discrimination tree data structure.
HypothesisChangedException	Exception to indicate structural changes of the hypothesis during counterexample analysis, thus possibly invalidating the counterexample.
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.