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.