de.learnlib.algorithms.adt.automaton

Classes