de.learnlib.algorithms.lstargeneric.dfa

Classes