Package de.learnlib.oracle.membership

Class SULSymbolQueryOracle<I,O>

java.lang.Object

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

Type Parameters:

I - input alphabet type

O - output alphabet type

All Implemented Interfaces:

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

Direct Known Subclasses:

StateLocalInputSULSymbolQueryOracle

public class SULSymbolQueryOracle<I,O>
extends Object
implements SymbolQueryOracle<I,O>

A wrapper that allows to use a SUL where a SymbolQueryOracle is expected.

Implementation note: The contract of SymbolQueryOracle does not make any assumptions about when its reset method is called. However, from a SUL perspective it is desirable to call its post method once querying is done. Therefore, multiple calls to this.reset() will close the underlying SUL only once, so that the SUL can be shutdown by this oracle from outside, after the learning process has finished.

This oracle is not thread-safe.

Nested Class Summary

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

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

Constructor Summary

Constructors

Constructor	Description
SULSymbolQueryOracle(SUL<I,O> sul)

Method Summary

Modifier and Type	Method	Description
O	query(I i)	Query the system under learning for a new symbol.
protected O	queryInternal(I i)
void	reset()	Reset the system under learning.

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

Methods inherited from interface de.learnlib.oracle.SymbolQueryOracle

processQueries

Constructor Detail

SULSymbolQueryOracle

public SULSymbolQueryOracle(SUL<I,O> sul)

Method Detail

query

public O query(I i)

Description copied from interface: SymbolQueryOracle

Query the system under learning for a new symbol. This is a stateful operation.

Specified by:

query in interface SymbolQueryOracle<I,O>

Parameters:

i - the symbol to query

Returns:

the observed output

reset

public void reset()

Description copied from interface: SymbolQueryOracle

Reset the system under learning.

Specified by:

reset in interface SymbolQueryOracle<I,O>

queryInternal

protected O queryInternal(I i)