All Classes

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 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).
HypothesisChangedException	Exception to indicate structural changes of the hypothesis during counterexample analysis, thus possibly invalidating the counterexample.
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.
PrefixTTTLearnerDFA<I>
PrefixTTTLearnerDFA.ExtDTNode<I>
TTTDTNodeDFA<I>	Binary discrimination tree node specialization.
TTTDTNodeMealy<I,D>	Generic n-ary discrimination tree node specialization.
TTTDTNodeMoore<I,D>	A MooreMachine-based specialization of the DT node.
TTTHypothesisDFA<I>
TTTHypothesisMealy<I,O>
TTTHypothesisMoore<I,O>	A MooreMachine-based specialization of the TTT hypothesis.
TTTLearnerDFA<I>
TTTLearnerDFABuilder<I>
TTTLearnerMealy<I,O>
TTTLearnerMealyBuilder<I,O>
TTTLearnerMoore<I,O>	A MooreMachine-based specialization of the TTT learner.
TTTLearnerMooreBuilder<I,O>
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.
TTTStateDFA<I>
TTTStateMoore<I,O>	A MooreMachine-specific state of the TTTHypothesisMoore class.
TTTTransition<I,D>	A transition in a AbstractTTTHypothesis.
TTTTransitionMealy<I,O>