de.learnlib.api.oracle

Interface StateLocalInputOracle<I,D>

Type Parameters:

I - input symbol type

D - domain symbol type

All Superinterfaces:

MembershipOracle<I,D>, QueryAnswerer<I,D>

All Known Subinterfaces:

StateLocalInputOracle.StateLocalInputDFAOracle<I>, StateLocalInputOracle.StateLocalInputMealyOracle<I,O>

public interface StateLocalInputOracle<I,D>
extends MembershipOracle<I,D>

A specialization of the MembershipOracle that adds the possibility to query for what continuations of a word the membership function is still defined. That is, the membership function is undefined for any word, that continues the queried input sequence with a symbol that is not contained in the returned set.

Author:

Maren Geske, frohme

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	StateLocalInputOracle.StateLocalInputDFAOracle<I>
static interface	StateLocalInputOracle.StateLocalInputMealyOracle<I,O>

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

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

Method Summary

Modifier and Type	Method and Description
Set<I>	definedInputs(Word<? extends I> input)

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

answerQuery, answerQuery, asOracle, processQueries, processQuery

Method Detail

definedInputs

Set<I> definedInputs(Word<? extends I> input)