de.learnlib.oracle.membership

Class SULOracle<I,O>

java.lang.Object

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

All Implemented Interfaces:

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

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

A wrapper around a system under learning (SUL).

This membership oracle is not thread-safe.

Author:

Falk Howar, Malte Isberner

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
SULOracle(SUL<I,O> sul)

Method Summary

Modifier and Type	Method and Description
Word<O>	answerQuery(Word<I> prefix, Word<I> suffix)
void	processQueries(Collection<? extends Query<I,Word<O>>> queries) Processes the specified collection of 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, asOracle, processBatch, processQuery

Constructor Detail

SULOracle

public SULOracle(SUL<I,O> sul)

Method Detail

processQueries

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

Description copied from interface: MembershipOracle

Processes the specified collection of queries. When this method returns, each of the contained queries Query.answer(Object) method should have been called with an argument reflecting the SUL response to the respective query.

Specified by:

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

Parameters:

queries - the queries to process

See Also:

Query.answer(Object)

answerQuery

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

Specified by:

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

Specified by:

answerQuery in interface QueryAnswerer<I,Word<O>>