Package de.learnlib.oracle.equivalence.vpa
-
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.