de.learnlib.api.oracle

Interface EquivalenceOracle.MealyEquivalenceOracle<I,O>

Type Parameters:

I - input symbol class

O - output symbol class

All Superinterfaces:

EquivalenceOracle<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

All Known Implementing Classes:

CompleteExplorationEQOracle.MealyCompleteExplorationEQOracle, EQOracleChain.MealyEQOracleChain, IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle, MealyCacheConsistencyTest, RandomWalkEQOracle, RandomWMethodEQOracle.MealyRandomWMethodEQOracle, RandomWordsEQOracle.MealyRandomWordsEQOracle, RandomWpMethodEQOracle.MealyRandomWpMethodEQOracle, SimulatorEQOracle.MealySimulatorEQOracle, WMethodEQOracle.MealyWMethodEQOracle

Enclosing interface:

EquivalenceOracle<A,I,D>

public static interface EquivalenceOracle.MealyEquivalenceOracle<I,O>
extends EquivalenceOracle<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

A specialization of the EquivalenceOracle interface for a Mealy learning scenario.

Author:

Malte Isberner

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.api.oracle.EquivalenceOracle

EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>

Method Summary

Methods inherited from interface de.learnlib.api.oracle.EquivalenceOracle

findCounterExample