MealySimulatorEQOracle (LearnLib 0.18.0 API)

java.lang.Object
- de.learnlib.oracle.equivalence.SimulatorEQOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>
- - de.learnlib.oracle.equivalence.MealySimulatorEQOracle<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, EquivalenceOracle.MealyEquivalenceOracle<I,O>

Direct Known Subclasses:

StateLocalInputMealySimulatorEQOracle
```
public class MealySimulatorEQOracle<I,O>
extends SimulatorEQOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>
implements EquivalenceOracle.MealyEquivalenceOracle<I,O>
```
A type-specific refinement of SimulatorEQOracle.

Nested Class Summary
- Nested classes/interfaces inherited from interface de.learnlib.oracle.EquivalenceOracle
  EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>, EquivalenceOracle.MooreEquivalenceOracle<I,O>

Constructor Summary

Constructors
Constructor	Description
`MealySimulatorEQOracle(net.automatalib.automaton.transducer.MealyMachine<?,I,?,O> reference)`	Delegates to `SimulatorEQOracle(net.automatalib.automaton.UniversalDeterministicAutomaton)`.

Method Summary
- Methods inherited from class de.learnlib.oracle.equivalence.SimulatorEQOracle
  findCounterExample
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
- Methods inherited from interface de.learnlib.oracle.EquivalenceOracle
  findCounterExample

- Constructor Detail
  - MealySimulatorEQOracle
```
public MealySimulatorEQOracle(net.automatalib.automaton.transducer.MealyMachine<?,I,?,O> reference)
```
    Delegates to SimulatorEQOracle(net.automatalib.automaton.UniversalDeterministicAutomaton).
    
    Parameters:
    
    reference - maps to the reference parameter of the delegate