Package de.learnlib.oracle.membership

Class StateLocalInputSULSymbolQueryOracle<I,O>

java.lang.Object

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

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

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

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

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

A SymbolQueryOracle wrapper for StateLocalInputSULs. See SULSymbolQueryOracle.

This oracle is not thread-safe.

See Also:

SULSymbolQueryOracle

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
StateLocalInputSULSymbolQueryOracle(StateLocalInputSUL<I,O> sul, O undefinedOutput)

Method Summary

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

Methods inherited from class de.learnlib.oracle.membership.SULSymbolQueryOracle

query

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, query

Constructor Detail

StateLocalInputSULSymbolQueryOracle

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

Method Detail

reset

public void reset()

Specified by:

reset in interface SymbolQueryOracle<I,O>

Overrides:

reset in class SULSymbolQueryOracle<I,O>

queryInternal

protected O queryInternal(I i)

Overrides:

queryInternal in class SULSymbolQueryOracle<I,O>