Package de.learnlib.oracle.equivalence.vpda

Class Summary

Class	Description
RandomWellMatchedWordsEQOracle<I>	An equivalence oracle based on the generation of random (well-matched) words.
SimulatorEQOracle<I>	An equivalence oracle based on the computation of a separating word for a given hypothesis and a previously known target system.