Package de.learnlib.algorithms.ttt.dfa

Class Summary

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