de.learnlib.api.oracle

Interface StateLocalInputOracle.StateLocalInputDFAOracle<I>

All Superinterfaces:

MembershipOracle<I,Boolean>, MembershipOracle.DFAMembershipOracle<I>, QueryAnswerer<I,Boolean>, StateLocalInputOracle<I,Boolean>

Enclosing interface:

StateLocalInputOracle<I,D>

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

Nested Class Summary

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

StateLocalInputOracle.StateLocalInputDFAOracle<I>, StateLocalInputOracle.StateLocalInputMealyOracle<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.StateLocalInputOracle

definedInputs

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

answerQuery, answerQuery, asOracle, processQueries, processQuery