de.learnlib.algorithms.adt.automaton
Classes
ADTHypothesis
ADTState
ADTTransition