Package de.learnlib.oracle.membership
Class SULAdaptiveOracle<I,O>
- java.lang.Object
-
- de.learnlib.oracle.membership.SULAdaptiveOracle<I,O>
-
- Type Parameters:
I
- input alphabet typeO
- output alphabet type
- All Implemented Interfaces:
AdaptiveMembershipOracle<I,O>
,BatchProcessor<AdaptiveQuery<I,O>>
,SingleAdaptiveMembershipOracle<I,O>
- Direct Known Subclasses:
StateLocalInputSULAdaptiveOracle
public class SULAdaptiveOracle<I,O> extends Object implements SingleAdaptiveMembershipOracle<I,O>
A wrapper that allows to use aSUL
where aAdaptiveMembershipOracle
is expected.This oracle is not thread-safe.
-
-
Constructor Summary
Constructors Constructor Description SULAdaptiveOracle(SUL<I,O> sul)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
processQuery(AdaptiveQuery<I,O> query)
Processes a single 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.AdaptiveMembershipOracle
processBatch
-
Methods inherited from interface de.learnlib.oracle.SingleAdaptiveMembershipOracle
processQueries
-
-
-
-
Method Detail
-
processQuery
public void processQuery(AdaptiveQuery<I,O> query)
Description copied from interface:AdaptiveMembershipOracle
Processes a single query. When this method returns, the provided inputs of theAdaptiveQuery.getInput()
method will have been evaluated on the system under learning and its responses will have been forwarded to theAdaptiveQuery.processOutput(Object)
method until the method has returnedAdaptiveQuery.Response.FINISHED
.The default implementation of this method will simply wrap the provided
AdaptiveQuery
in a singletonCollection
usingCollections.singleton(Object)
. Implementations in subclasses should override this method to circumvent the Collection object creation, if possible.- Specified by:
processQuery
in interfaceAdaptiveMembershipOracle<I,O>
- Specified by:
processQuery
in interfaceSingleAdaptiveMembershipOracle<I,O>
- Parameters:
query
- the query to process
-
-