Module de.learnlib.api
Package de.learnlib.oracle

Interface EquivalenceOracle.MMLTEquivalenceOracle<I,O>

Type Parameters:
I - input symbol type (of non-delaying inputs)
O - output symbol type
All Superinterfaces:
EquivalenceOracle<MMLT<?,I,?,O>,TimedInput<I>,Word<TimedOutput<O>>>
All Known Implementing Classes:
MMLTCacheConsistencyTest, MMLTEQOracleChain, RandomWpMethodEQOracle, ResetSearchEQOracle, SimulatorEQOracle
Enclosing interface:
EquivalenceOracle<A,I,D>
Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public static interface EquivalenceOracle.MMLTEquivalenceOracle<I,O> extends EquivalenceOracle<MMLT<?,I,?,O>,TimedInput<I>,Word<TimedOutput<O>>>
A specialization of the EquivalenceOracle interface for an MMLT learning scenario.