Package de.learnlib.oracle

Interface MembershipOracle.DFAMembershipOracle<I>

Type Parameters:

I - input symbol type

All Superinterfaces:

BatchProcessor<Query<I,Boolean>>, MembershipOracle<I,Boolean>, QueryAnswerer<I,Boolean>

All Known Subinterfaces:

SingleQueryOracle.SingleQueryOracleDFA<I>

Enclosing interface:

MembershipOracle<I,D>

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

A specialization of the MembershipOracle that binds the output domain to Booleans. Queries should be answered according to the semantics of acceptors such as DFAs. This means an input sequence of length n results in a single boolean output.

Nested Class Summary

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

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

Method Summary

Methods inherited from interface de.learnlib.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processBatch, processQueries, processQuery