de.learnlib.oracle.equivalence
de.learnlib.oracle.equivalence.mealy
de.learnlib.oracle.equivalence.vpda
