Module de.learnlib.oracle.equivalence

Package de.learnlib.oracle.equivalence

Class DFASimulatorEQOracle<I>

java.lang.Object

de.learnlib.oracle.equivalence.SimulatorEQOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

de.learnlib.oracle.equivalence.DFASimulatorEQOracle<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

EquivalenceOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>, EquivalenceOracle.DFAEquivalenceOracle<I>

public class DFASimulatorEQOracle<I>
extends SimulatorEQOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>
implements EquivalenceOracle.DFAEquivalenceOracle<I>

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
DFASimulatorEQOracle(net.automatalib.automaton.fsa.DFA<?,I> 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

DFASimulatorEQOracle

public DFASimulatorEQOracle(net.automatalib.automaton.fsa.DFA<?,I> reference)

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

Parameters:

reference - maps to the reference parameter of the delegate