Module de.learnlib.testsupport.it

Package de.learnlib.testsupport.it.util

Class MooreLockableOracle<I,O>

java.lang.Object

de.learnlib.testsupport.it.util.LockableOracle<I,Word<O>>

de.learnlib.testsupport.it.util.MooreLockableOracle<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

BatchProcessor<Query<I,Word<O>>>, MembershipOracle<I,Word<O>>, MembershipOracle.MooreMembershipOracle<I,O>, QueryAnswerer<I,Word<O>>, SingleQueryOracle<I,Word<O>>, SingleQueryOracle.SingleQueryOracleMoore<I,O>

public class MooreLockableOracle<I,O>
extends LockableOracle<I,Word<O>>
implements SingleQueryOracle.SingleQueryOracleMoore<I,O>

A type-specific refinement of LockableOracle.

Nested Class Summary

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

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

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

SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>, SingleQueryOracle.SingleQueryOracleMMLT<I,O>, SingleQueryOracle.SingleQueryOracleMoore<I,O>

Constructor Summary

Constructors

Constructor	Description
MooreLockableOracle(MembershipOracle<I,Word<O>> delegate)	Delegates to LockableOracle(MembershipOracle).

Method Summary

Methods inherited from class de.learnlib.testsupport.it.util.LockableOracle

answerQuery, answerQuery, asOracle, lock, processBatch, processQueries, processQuery, requireLock, unlock

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

Methods inherited from interface de.learnlib.oracle.SingleQueryOracle

answerQuery, processQueries, processQuery

Constructor Details

MooreLockableOracle

public MooreLockableOracle(MembershipOracle<I,Word<O>> delegate)

Delegates to LockableOracle(MembershipOracle).

Parameters:

delegate - maps to the delegate parameter of the delegate