Package de.learnlib.oracle

Interface SingleQueryOracle.SingleQueryOracleMealy<I,O>

All Superinterfaces:

BatchProcessor<Query<I,Word<O>>>, MembershipOracle<I,Word<O>>, MembershipOracle.MealyMembershipOracle<I,O>, QueryAnswerer<I,Word<O>>, SingleQueryOracle<I,Word<O>>

All Known Implementing Classes:

MealySimulatorOracle, ReuseOracle, SPMMSimulatorOracle

Enclosing interface:

SingleQueryOracle<I,D>

public static interface SingleQueryOracle.SingleQueryOracleMealy<I,O>
extends SingleQueryOracle<I,Word<O>>, MembershipOracle.MealyMembershipOracle<I,O>

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.oracle.MembershipOracle

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>

Nested classes/interfaces inherited from interface de.learnlib.oracle.SingleQueryOracle

SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>, SingleQueryOracle.SingleQueryOracleMoore<I,O>

Method Summary

Methods inherited from interface de.learnlib.oracle.MembershipOracle

answerQuery, asOracle, processBatch

Methods inherited from interface de.learnlib.oracle.SingleQueryOracle

answerQuery, processQueries, processQuery