de.learnlib.cache.dfa
de.learnlib.cache.mealy
