de.learnlib.algorithms.lstargeneric.dfa
Classes
ExtensibleLStarDFA
LStarDFAUtil