de.learnlib.oracle.membership

Class StateLocalInputSULOracle<I,O>

java.lang.Object

de.learnlib.oracle.membership.StateLocalInputSULOracle<I,O>

All Implemented Interfaces:

MembershipOracle<I,Word<O>>, MembershipOracle.MealyMembershipOracle<I,O>, QueryAnswerer<I,Word<O>>

public class StateLocalInputSULOracle<I,O>
extends Object
implements MembershipOracle.MealyMembershipOracle<I,O>

Nested Class Summary

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

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

Constructor Summary

Constructors

Constructor and Description
StateLocalInputSULOracle(StateLocalInputSUL<I,O> sul, O undefinedOutput)

Method Summary

Modifier and Type	Method and Description
void	processQueries(Collection<? extends Query<I,Word<O>>> queries)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

answerQuery, answerQuery, asOracle, processQuery

Constructor Detail

StateLocalInputSULOracle

public StateLocalInputSULOracle(StateLocalInputSUL<I,O> sul,
                                O undefinedOutput)

Method Detail

processQueries

public void processQueries(Collection<? extends Query<I,Word<O>>> queries)

Specified by:

processQueries in interface MembershipOracle<I,Word<O>>