de.learnlib.algorithms.lstar.dfa
Classes
ClassicLStarDFA
ExtensibleLStarDFA
LStarDFAUtil