de.learnlib.api.oracle

Interface SingleQueryOracle.SingleQueryOracleDFA<I>

All Superinterfaces:

BatchProcessor<Query<I,Boolean>>, MembershipOracle<I,Boolean>, MembershipOracle.DFAMembershipOracle<I>, QueryAnswerer<I,Boolean>, SingleQueryOracle<I,Boolean>

All Known Implementing Classes:

SimulatorOracle.DFASimulatorOracle

Enclosing interface:

SingleQueryOracle<I,D>

public static interface SingleQueryOracle.SingleQueryOracleDFA<I>
extends SingleQueryOracle<I,Boolean>, MembershipOracle.DFAMembershipOracle<I>

Nested Class Summary

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

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

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

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

Method Summary

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

answerQuery, processQueries, processQuery

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

answerQuery, asOracle, processBatch