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>, QueryAnswerer<I,Word<O>>, SymbolQueryOracle<I,O>

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

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

Author:

frohme

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

Method Summary

Modifier and Type	Method and Description
O	query(I i)
void	reset()

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.SymbolQueryOracle

processQueries

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

answerQuery, answerQuery, asOracle, processQuery

Constructor Detail

SULSymbolQueryOracle

public SULSymbolQueryOracle(SUL<I,O> sul)

Method Detail

query

public O query(I i)

Specified by:

query in interface SymbolQueryOracle<I,O>

reset

public void reset()

Specified by:

reset in interface SymbolQueryOracle<I,O>