| Modifier and Type | Class and Description |
|---|---|
static class |
SimulatorOracle.DFASimulatorOracle<I> |
static class |
SimulatorOracle.MealySimulatorOracle<I,O> |
| Constructor and Description |
|---|
SimulatorOmegaOracle(A automaton,
SimulatorOracle<I,D> simulatorOracle)
Constructs a new
SimulatorOmegaOracle. |
Copyright © 2020. All rights reserved.