Package de.learnlib.algorithm.ttt.dfa

Class Summary

Class	Description
PrefixTTTLearnerDFA<I>
PrefixTTTLearnerDFA.ExtDTNode<I>
TTTDTNodeDFA<I>	Binary discrimination tree node specialization.
TTTHypothesisDFA<I>
TTTLearnerDFA<I>
TTTLearnerDFABuilder<I>
TTTStateDFA<I>