Package de.learnlib.oracle

Interface SingleQueryOracle.SingleQueryOracleDFA<I>

All Superinterfaces:

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

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.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