de.learnlib.api

Interface MembershipOracle.DFAMembershipOracle<I>

All Superinterfaces:

MembershipOracle<I,Boolean>

All Known Implementing Classes:

CounterOracle.DFACounterOracle, DFACacheOracle, SimulatorOracle.DFASimulatorOracle

Enclosing interface:

MembershipOracle<I,O>

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

Nested Class Summary

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

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

Method Summary

Methods inherited from interface de.learnlib.api.MembershipOracle

processQueries