Package de.learnlib.algorithm.procedural.adapter.dfa