- Type Parameters:
I - input symbol typeD - (suffix) output domain type
- All Implemented Interfaces:
- MembershipOracle<I,D>, QueryAnswerer<I,D>
- Direct Known Subclasses:
- SimulatorOracle.DFASimulatorOracle, SimulatorOracle.MealySimulatorOracle
public class SimulatorOracle<I,D>
extends AbstractSingleQueryOracle<I,D>
A membership oracle backed by an automaton. The automaton must implement
the SuffixOutput concept, allowing to identify a suffix part in the output
(relative to a prefix/suffix subdivision in the input).
- Author:
- Malte Isberner