Package de.learnlib.oracle.equivalence.mealy

Class Summary

Class	Description
RandomWalkEQOracle<I,O>	Performs a random walk over the hypothesis.
StateLocalInputMealySimulatorEQOracle<I,O>
SymbolEQOracleWrapper<A extends DetSuffixOutputAutomaton<?,I,?,Word<O>>,I,O>