Module de.learnlib.oracle.equivalence

Package de.learnlib.oracle.equivalence

Class MooreSimulatorEQOracle<I,O>

java.lang.Object

de.learnlib.oracle.equivalence.SimulatorEQOracle<net.automatalib.automaton.transducer.MooreMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>

de.learnlib.oracle.equivalence.MooreSimulatorEQOracle<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

EquivalenceOracle<net.automatalib.automaton.transducer.MooreMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, EquivalenceOracle.MooreEquivalenceOracle<I,O>

public class MooreSimulatorEQOracle<I,O>
extends SimulatorEQOracle<net.automatalib.automaton.transducer.MooreMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>
implements EquivalenceOracle.MooreEquivalenceOracle<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
MooreSimulatorEQOracle(net.automatalib.automaton.transducer.MooreMachine<?,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

MooreSimulatorEQOracle

public MooreSimulatorEQOracle(net.automatalib.automaton.transducer.MooreMachine<?,I,?,O> reference)

Delegates to SimulatorEQOracle(net.automatalib.automaton.UniversalDeterministicAutomaton).

Parameters:

reference - maps to the reference parameter of the delegate