| 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.
|
Copyright © 2018. All rights reserved.