Package 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>, BatchProcessor<Query<I,Word<O>>>, QueryAnswerer<I,Word<O>>

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

A wrapper around a system under learning (SUL) with state local inputs.

This membership oracle is not thread-safe.

Nested Class Summary

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

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Word<O>	answerQuery(Word<I> prefix, Word<I> suffix)
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.oracle.MembershipOracle

answerQuery, asOracle, processBatch, 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,O>

answerQuery

public Word<O> answerQuery(Word<I> prefix,
                           Word<I> suffix)

Specified by:

answerQuery in interface MembershipOracle<I,O>

Specified by:

answerQuery in interface QueryAnswerer<I,O>